【摘 要】
：
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言（UML）,提出了基于模型驱动架构（MDA）的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用
【机 构】
：
西安交通大学计算机系,西安邮电学院计算系
论文部分内容阅读
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言（UML）,提出了基于模型驱动架构（MDA）的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性.
其他文献
本文根据高职教育的培养目标及特点,对本专业人才培养教学体系的改革,通过几年的实践证明教学体系的改革是可行的。
提出了一种基于分布式控制方式的动态指令调度算法，该算法能够有效提高指令发射效率，降低指令分派单元逻辑复杂度，提高系统主频．该指令发射算法在自主设计的“龙腾R3”RISC“三发
自二战后起,人们开始了对第一语言与第二语言的关系进行研究,认为母语对外语的学习有正负迁移的作用,并对学习者产生的错误不断地提出各种分析假设,观念不断地在发生变化。笔
通过分析文化交流的重要性，作者阐述了文化交流与英语教学之间的关系，并以此为依据，就如何在英语教学中实现文化交流的方法及需要注意的问题进行了详细的探讨。
日前天津市常务副市长杨栋梁在全市发展改革工作会议上强调:节能减排压力与经济增长压力一样大,甚至还要大、还要难。杨栋梁常务副市长指出:全国看,我们人均能源、资源拥有量
在分析几种常规防范DDoS方法特点和不足的基础上,结合数据包流量检测技术和改进的TCP Cookie技术,在IPv6环境下建立了一种数据包检测---智能过滤PDIF（Packet Detection and In
在现代社会的竞争中,最根本的是有创造性人才的竞争,因此要大力开展创造教育。文章分析了美学教育对创新型人才培养的益处,论述了创造教育与美学教育的关系。阐明了把创造教
民族文化是一个民族懒以生存的根基,民族音乐是民族文化的重要分支。中国民族音乐是世界音乐文化的重要组成部分,它在中国小学音乐教育中也起着极其重要的作用。然而在民族音
地理学具有显著的区域性,从而可以利用学校所在区域的进行研究,这些研究的素材和成果就成了课程资源,这样我们才能将当前的地理新课程理念得以更好的体现,完成国家规定的课程