欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
讨论核心Web Services 规范和补充 Web Services 规范 如何为Web Services 平台的诸多设施(如:服务层通信, 服务发现, 安全, 数据处理, 事务处理, 系统管理等)提供支持.
并对实现SOA的各种技术(J2EE, CORBA, Web Services等) 进行了简要的比较.