面向服务的体系结构(Service-Oriented Architecture, SOA)是分布式计算和软件开发的最新发展方向。SOA的目的是以Web服务为基础，有......

在开放和动态环境下,系统或环境的不安全的运行时变化可能为整个系统的正确执行埋下隐患,可能最终导致软件失效.基于监控器的软件......

为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序......

在基于场景的软件工程中，时态逻辑被广泛地用来推理并发系统的正确性．模型检验技术允许自动检验系统模型和给定的属性之间的一致性，这......

介绍在线医疗服务组合设计方法,描述在线医疗助理的属性序列图,提出一种基于模型检验的在线医疗服务组合验证方法并进行实验评估,......