欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
在2002年的2月,IBM 与 Globus 共同发表了 OGSA(Open Grid Services Architecture),勾勒了Globus Toolkit 3.0 的蓝图。OGSA 主要是将 Web Services、数据库存取、J2EE 等技术规范纳入网格计算。
IBM 的 WebSphere 电子商务基础设施软件将为 OGSA (开放网格服务结构)网格服务标准提供一个可靠的实施方案参考。