分享到:

语义Web服务系统中互操作问题的研究

以往的互操作机制没有确切地规定业务处理任务的行为,既使业务处理难以准确地进行任务指派,又难以满足Web上异构和分布的应用程序间语义互操作的需求。为此,提出了一套有效的  (本文共6页) 阅读全文>>

《中国科学院研究生院学报》2002年03期
中国科学院研究生院学报

运用ASM描述安全协议

介绍了抽象状态机(ASM),建立了基于这种形式化方法的协议描述于验证的环境,并建立了一般...  (本文共8页) 阅读全文>>

《Journal of Southeast University(English Edition)》2006年03期
Journal of Southeast University(English Edition)

语义web服务系统中互操作问题的研究(英文)

为了真正实现web上异构、分布的应用程序间的语义互操作,提出了一套有效的互操作机制.该机制用抽象状态机模型化的服务交互接口和服务聚集接口来抽象化描述被调用的we...  (本文共5页) 阅读全文>>

《北京邮电大学学报》2004年01期
北京邮电大学学报

一种用基本ASM定义SDL静态语义的方法

提出直接用基本AbstractStateMachine定义SpecificationandDescript...  (本文共5页) 阅读全文>>