欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
EOS Server提供了各种构件的运行环境,在Server中构件按预定规则运行,它们操纵XML数据总线中的数据,完成一定的业务功能,同时Server提供了对EOS架构底层操作API接口,便于用户在封装自开发构件中调用,另外Server也提供了广泛使用的业务构件模块,减少了用户的开发工作量。EOS Server作为一个完整的构件运行平台,提供了对Server本身与构件运行状况进行管理监控功能,EOS Sever有着良好的可管理性,通过控制台可以对Server作方便、全面的管理。
EOS Server 总体结构图