Web服务系统需求模型到运行时模型的转换

摘要：

Web服务系统的需求模型从需求分析角度高层抽象表达了系统必须满足的特性约束,便于共享、交流;运行时模型则定义了系统运行时的行为特性要求,与系统的具体实现密切相关。本文研究并实现了一种从基于扩展OWL-S描述的Web服务系统需求模型到运行时模型的自动转换方法,为实现Web服务系统需求特性的运行时自动验证提供了支持。

关键词： Web服务系统 需求模型 运行时模型 OWL-S MOP 运行时验证

作者: 罗求忠 黄宁 余莹

作者单位: 北京航空航天大学计算机学院 北京 100083

会议类型: 国内会议

会议名称: 2007全国软件及其应用学术会议

会议地点: 西安

会议语种:中文

页码: 128-134

在线出版日期: 2007-09-20（万方平台首次上网日期，不代表论文的发表时间）