欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
事件驱动的体系结构(Event-Driven Architecture,EDA)
应用程序检测某个事件并发出通知;其他应用程序具有能够接收通知并通过调用服务来作出反应的处理程序。通过这种方式,检测应用程序不必知道它应该调用来响应某个事件的所有服务;它只需通告该事件,而让其他应用程序决定要调用哪些服务来作出响应。