Add to ORKGIn this paper we describe a methodology to translate BON (architectural) designs to Alloy specifications. The main virtue of this process is that it can be implemented by means of software tools. The utilization of this methodology during the software development allows designers to validate different kinds of properties over their BON models. Allowing, in this way, the finding of critical bugs in earlier steps of system construction. Finally, we present a software which implements this translation from BON to Alloy.Facultad de Informátic
Formal modeling and automatic analysis are essential to achieve a trustworthy software design prior ...
peer reviewedModel transformations play a key role in model driven software engineering approaches. ...
International audienceAlloy is both a formal language and a tool for software mod-eling. The languag...
In this paper we describe a methodology to translate BON (architectural) designs to Alloy specificat...
In this paper we describe a methodology to trans-late BON (architectural) designs to Alloy specifi-c...
The emergence of lightweight formal methods tools such as Alloy improves the software design process...
peer reviewedThe formal language Alloy was developed to provide fully automatic analysis of software...
AbstractThis paper proposes modeling laws for Alloy, a formal object-oriented modeling language. The...
Models of software systems, e.g., designs, play an important role in the development of reliable and...
Model-driven engineering (MDE) is a software engineering approach based on model transformations at ...
Model-driven engineering (MDE) is a software engineering approach based on model transformations at ...
A domain specific language (DSL) focuses on a particular problem domain, facilitating the specificat...
Domain Specific Modeling Languages (DSMLs) tend to play a central role in modern design processes a...
Proceedings of the 9th International Conference on Software Engineering and Formal MethodsModel-Driv...
AbstractIn the development of critical systems, standards dictate that it is necessary to first desi...
Formal modeling and automatic analysis are essential to achieve a trustworthy software design prior ...
peer reviewedModel transformations play a key role in model driven software engineering approaches. ...
International audienceAlloy is both a formal language and a tool for software mod-eling. The languag...
In this paper we describe a methodology to translate BON (architectural) designs to Alloy specificat...
In this paper we describe a methodology to trans-late BON (architectural) designs to Alloy specifi-c...
The emergence of lightweight formal methods tools such as Alloy improves the software design process...
peer reviewedThe formal language Alloy was developed to provide fully automatic analysis of software...
AbstractThis paper proposes modeling laws for Alloy, a formal object-oriented modeling language. The...
Models of software systems, e.g., designs, play an important role in the development of reliable and...
Model-driven engineering (MDE) is a software engineering approach based on model transformations at ...
Model-driven engineering (MDE) is a software engineering approach based on model transformations at ...
A domain specific language (DSL) focuses on a particular problem domain, facilitating the specificat...
Domain Specific Modeling Languages (DSMLs) tend to play a central role in modern design processes a...
Proceedings of the 9th International Conference on Software Engineering and Formal MethodsModel-Driv...
AbstractIn the development of critical systems, standards dictate that it is necessary to first desi...
Formal modeling and automatic analysis are essential to achieve a trustworthy software design prior ...
peer reviewedModel transformations play a key role in model driven software engineering approaches. ...
International audienceAlloy is both a formal language and a tool for software mod-eling. The languag...