重写逻辑相关论文
Web 服务的主要目标是在各种异构平台的基础上构建一个通用的与平台无关、与语言无关的技术层，各种不同的应用依靠这个平台实施彼此......
MDA是国际对象管理组织(OMG)为应对业务和技术的快速变化提出的一种开放、中立的系统开发方法和一组建模语言标准的集合。MDA以模......
随着计算机科学与其他学科之间的相互渗透和影响,科学家们根据不同原理提出了不同的计算模型。细胞膜计算是一种基于生物细胞膜结......
根据电子机构的基本概念、结构，提出了电子机构基于角色的访问控制模型，并与传统的基于角色的访问控制模型进行比较。采用重写逻辑Ma......
规则式的模型转换技术在模型驱动构槊的模型转换实施中占有重要地位，但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面......
运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前......
Web服务的事务处理研究越来越活跃,对于Web服务中的长、短事务进行形式化描述与验证是很重要的,但目前还没有成熟的方法.该文提出......
IEEE802.16m标准在MAC安全子层定义了密钥管理PKMv3协议,用于认证和授权信息的传输以及密钥的交换。由于宽带无线网络具有易遭受攻......
在模型驱动开发的场景下，保证UML模型的一致性具有重要意义，但目前大多数UML／MDA工具仪提供了有限支持。该文提出了一种基于代数重写......
信息物理融合系统的网络化、系统化和信息化等特性使得软件系统的复杂程度不断增加。为此，引入实时系统的规范语言STeC，用于刻画具有......
为了对大规模或复杂结构的系统进行规格,人们在经典的库所/迁移Petri网基础上加入层次、时间等来扩展它。为此,提出使用重写逻辑表......
为了在软件实现前评估其可靠性,针对基于面向服务架构(SOA)设计的软件提出了一种可靠性评价方法:用OWL-S描述软件的需求和设计信息......
基于重写逻辑理论，利用Maude语言对活性细胞膜计算模型进行可执行性描述，实现了借助于计算机自动验证计算模型的正确性、完整性，以及......
OWL-S模型在基于服务的软件设计中具有重要作用,但由于其非完全形式化的模型,不能直接对其进行形式化分析与验证。基于OWL-S模型的......
