【摘 要】
：
作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一
【机 构】
：
天津工业大学计算机科学与软件学院,北京大学信息科学技术学院软件研究所,教育部高可信软件技术重点实验室,山东科技大学信息科学与工程学院
论文部分内容阅读
作为一项新规范,MARTE有许多方面亟待完善.如何对依照MARTE设计的模型开展验证是待解决问题之一.对象管理组织提出用模型转换的方法将依照MARTE设计的模型(记为A)转换成另一种具有完备的验证方法和工具的形式化模型(记为B),然后对B进行验证和精化,以完成A的验证和精化工作.此思想面临的难题是如何保证B能够完整且准确地模拟A的行为.提出了形式化模型-TrS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析.首先给出顺序图的形式定义,把时阃变迁系统(TrS)扩充成TrS4SD,用TrS4SD描述顺序图的形式语义,最后对TrS4SD展开分析.这在一定程度上提高了设计阶段模型的正确性.通过一个实例说明从顺序图到TrS4SD的转化过程以及基于TTS4SD的验证方法.
其他文献
阐述了武江“2006·07”洪水的成因、规模、灾害以及对这场洪水的查测、资料整理和分析研究等情况,并就这些成果的价值在学术上、实际应用上作出了评价。
The causes, scale
本文对基于Skyline的服务选择方法进行了探讨。随着网络上各种web服务数量的急剧增长，如何发现满足用户功能性和非功能性需求的服务成为亟待解决的关键问题。根据用户确定
云计算的蓬勃发展为Web服务带来了新的机遇和挑战.一方面是用户日益增长的服务需求,另一方面是互联网上大量功能相似、质量各异的具体服务,如何合理利用这些服务来满足大规模
提出一个基于服务的自适应网络应用框架—iWeb.框架建立了上下文信息模型,用以描述收集上下文信息;框架收集了数以千计的服务,并对这些服务依据其功能性进行了分组.在服务质
采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互
随着网络技术和应用软件的发展,面向服务架构(SOA)在软件即服务(SaaS)中得到普遍应用.在多租户框架中,租户通过共享服务资源降低使用成本,但是,服务资源的分布式部署使系统的
随着Web服务技术的发展,它们在互联网上发布的数量正在快速增长,智能地去识别每个Web服务成为了高效运用网络的关键,而识别Web服务的第一步就是对它们进行准确地分类.于是对
提出一种基于支持向量机方法依据Web服务的功能信息进行分类的服务分类系统,以UNSPSC作为Web服务的类别体系,并利用UNSPSC中各类别的描述信息作为其父类别的样本文档.在层次
Web服务作为一种新型的分布式计算模式近年来得到迅速的发展,来自不同服务提供商的服务可被整合以提供组合服务.QoS全局最优动态Web服务选择是服务组合中的一个难题.基于粒子
近年来,基于语义的Web服务组合,尤其是Web服务的自动组合方法已成为服务计算领域的一个研究热点.实现了从一个OWL-S过程模型到流演算概念的映射,并给出了相应的转换算法.在此