-
题名基于UML扩展机制的MDA协议建模语言研究
被引量：3
- 1
-
-
作者
宋瑾钰
蒋国明
高会聪
-
机构
浙江理工大学信息电子学院
燕山大学计算机软件中心
-
出处
《计算机工程与设计》
CSCD
北大核心
2009年第5期1113-1114,1291,共3页
-
基金
浙江省教育厅科研基金项目(20060621)。
-
文摘
由于UML缺少精确的形式化语义,从标准的UML记法产生一个有效的协议实现是比较困难的。为了满足协议工程的要求,通过UML的Profile扩展机制,提出了一种基于模型驱动构架的协议建模语言——交互抽象状态机描述语言IASMsDL,并说明了如何使用该语言描述通信协议,填补UML这方面的缺陷。
-
关键词
形式化语义
协议工程
UML扩展机制
模型驱动构架
交互抽象状态机描述语言
-
Keywords
formal semantics
protocol engineering
UML profile mechanism
model driven architecture （MDA）
interactive abstract state machines description language
-
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向语义服务结构中的服务接口问题研究
- 2
-
-
作者
向剑伟
-
机构
湖南工业大学计算机系
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第5期82-85,共4页
-
文摘
以往的服务接口模型没有规定业务伙伴任务的内部行为,这使业务处理难以准确地进行任务指派,也难以实现服务的按需组合以及业务处理模式的高度重用。为了克服上述问题并有效构建沟通服务提供者和需求者的桥梁,提出了面向语义服务结构的接口模型,该模型用抽象状态机抽象化描述和Web服务调用实例相关的服务行为,将服务交互的抽象和实现区分开,这既有效解决了服务双方的通讯和协作问题,便于交互模型的重用,而且为Web服务的自动发现、按需组合和智能推理提供了坚实的技术基础。
-
关键词
面向语义服务的结构
抽象状态机
服务交互接口
服务聚集接口
调解
-
Keywords
Semantie Serviees-Oriented Arehiteeture
Abstraet State Maehine
serviee interaetive interfaee
serviee aggregative interface
mediation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
