欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OAGIS
来自开放百科 - 灰狐
开放式应用程序组集成规范(Open Applications Group Integration Specification,OAGIS)的作用是为信息集成提供规范的业务语言。它使用 XML 作为定义业务消息和标识业务流程(方案)(业务流程允许业务和业务应用程序进行通信)的常用字母表(common alphabet)。OAGIS 不仅是当前可用的最完整的 XML 业务消息集,而且通过与各种纵向联合的行业团体合作满足了特定行业的其它需求。
链接
分享您的观点