Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/15293
Título: | Translating alloy apecifications to UML class diagrams annotated with OCL |
Autor(es): | Garis, Ana Cunha, Alcino Riesco, Daniel |
Palavras-chave: | MDE Alloy UML OCL |
Data: | 2011 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | 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 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 between Alloy and UML Class Diagrams annotated with OCL. The proposed transformation enables current UML-based tools to also be applied to Alloy specifications, thus unleashing its potential for MDE. |
Tipo: | Artigo em ata de conferência |
Descrição: | Proceedings of the 9th International Conference on Software Engineering and Formal Methods |
URI: | https://hdl.handle.net/1822/15293 |
ISSN: | 0302-9743 |
Versão da editora: | http://dx.doi.org/10.1007/978-3-642-24690-6_16 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
sefm11.pdf | 304,49 kB | Adobe PDF | Ver/Abrir |