AbstractThis 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
Alloy is a language for modeling systems using first order logic and relational al-gebra. In this pa...
peer reviewedTo define the formal semantics of a modeling language, one normally starts from the abs...
A feature model (FM) defines the valid combinations of features, whose combinations correspond to a ...
AbstractThis paper proposes modeling laws for Alloy, a formal object-oriented modeling language. The...
AbstractRefactorings are usually proposed in an ad hoc way because it is difficult to prove that the...
Both model and program refactorings are usually proposed in an ad hoc way because it is difficult to...
Abstract. Refactorings are usually proposed in an ad hoc way because it is difficult to prove that t...
AbstractRefactorings are systematic changes made to programs, models or specifications in order to i...
Alloy is a lightweight, precise and tractable notation for object modelling. It attempts to combine ...
The emergence of lightweight formal methods tools such as Alloy improves the software design process...
Object-oriented programming laws have been proposed in the context of languages that are not com-bin...
Abstract. Assessing the quality of conceptual models is key to ensure that conceptual models can be ...
Object-oriented programming laws have been proposed in the context of languages that are not combine...
Software Product Line evolution can be performed by refactorings, which involve not only program ref...
Object-Z offers an object-oriented means for structuring formal specifications. We investigate the a...
Alloy is a language for modeling systems using first order logic and relational al-gebra. In this pa...
peer reviewedTo define the formal semantics of a modeling language, one normally starts from the abs...
A feature model (FM) defines the valid combinations of features, whose combinations correspond to a ...
AbstractThis paper proposes modeling laws for Alloy, a formal object-oriented modeling language. The...
AbstractRefactorings are usually proposed in an ad hoc way because it is difficult to prove that the...
Both model and program refactorings are usually proposed in an ad hoc way because it is difficult to...
Abstract. Refactorings are usually proposed in an ad hoc way because it is difficult to prove that t...
AbstractRefactorings are systematic changes made to programs, models or specifications in order to i...
Alloy is a lightweight, precise and tractable notation for object modelling. It attempts to combine ...
The emergence of lightweight formal methods tools such as Alloy improves the software design process...
Object-oriented programming laws have been proposed in the context of languages that are not com-bin...
Abstract. Assessing the quality of conceptual models is key to ensure that conceptual models can be ...
Object-oriented programming laws have been proposed in the context of languages that are not combine...
Software Product Line evolution can be performed by refactorings, which involve not only program ref...
Object-Z offers an object-oriented means for structuring formal specifications. We investigate the a...
Alloy is a language for modeling systems using first order logic and relational al-gebra. In this pa...
peer reviewedTo define the formal semantics of a modeling language, one normally starts from the abs...
A feature model (FM) defines the valid combinations of features, whose combinations correspond to a ...
DOI
Add to ORKG