Refactoring Alloy Specifications
Refactoring Alloy Specifications
复制标题
重构合金规格
DOI：
10.1016/j.entcs.2004.04.014
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Paulo Borba
中科院分区：
文献类型：
--
作者：
Rohit Gheyi;Paulo Borba
本文提出了一种面向对象的形式化建模语言Alloy的建模规则。这些定律不仅对定义Alloy的公理语义很重要，而且对指导和形式化流行的软件开发实践也很重要。特别是，这些定律可以用来正式重构规范。作为一个例子，我们正式重构Java类型的规范。
This paper proposes modeling laws for Alloy, a formal object-oriented modeling language. These laws are important not only to define the axiomatic semantics of Alloy but also to guide and formalize popular software development practices. In particular, these laws can be used to formaly refactor specifications. As an example, we formally refactor a specification for Java types.