Translating Alloy Specifications to UML Class Diagrams Annotated with OCL
Autor: | Ana Gabriela Garis, Daniel Eduardo Riesco, Alcino Cunha |
---|---|
Přispěvatelé: | Universidade do Minho |
Rok vydání: | 2011 |
Předmět: |
UML tool
MDE business.industry Programming language Computer science Model transformation Applications of UML 020207 software engineering 02 engineering and technology OCL computer.software_genre UML Software Unified Modeling Language Software_SOFTWAREENGINEERING Formal specification Alloy 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing Class diagram business computer computer.programming_language Object Constraint Language |
Zdroj: | Software Engineering and Formal Methods ISBN: 9783642246890 SEFM |
DOI: | 10.1007/978-3-642-24690-6_16 |
Popis: | Model-driven engineering (MDE) is a software engineering approach based on model transformations at different abstraction levels. It prescribes the development of software by successively transforming the models from abstract (specifications) to more concrete ones (code). Alloy is an increasingly popular lightweight formal specification language that supports automatic verification. Unfortunately, its widespread industrial adoption is hampered by the lack of an ecosystem of MDE tools, namely code generators. This paper presents a model transformation from Alloy to UML class diagrams annotated with OCL (UML+OCL) and shows how an existing transformation from UML+OCL to Alloy can be improved to handle dynamic issues. The proposed bidirectional transformation enables a smooth integration of Alloy in the current MDE contexts, by allowing UML+OCL specifications to be transformed to Alloy for validation and verification, to correct and possibly refine them inside Alloy, and to translate them back to UML+OCL for sharing with stakeholders or to reuse current model-driven architecture tools to refine them toward code. (undefined) |
Databáze: | OpenAIRE |
Externí odkaz: |