Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/24675
Título: | Specifying UML protocol state machines in Alloy |
Autor(es): | Garis, Ana Paiva, Ana Cunha, Alcino Riesco, Daniel |
Palavras-chave: | UML OCL Protocol state machines Alloy |
Data: | 2012 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science |
Resumo(s): | A UML Protocol State Machine (PSM) is a behavioral diagram for the specification of the external behavior of a class, interface or component. PSMs have been used in the software development process for different purposes, such as requirements analysis and testing. However, like other UML diagrams, they are often difficult to validate and verify, specially when combined with other artifacts, such as Object Constraint Language (OCL) specifications. This drawback can be overcome by application of an off-the-shelf formal method, namely one supporting automatic validation and verification. Among those, we have the increasingly popular Alloy, based on a simple relational flavor of first-order logic. This paper presents a model transformation from PSMs, optionally complemented with OCL specifications, to Alloy. Not only it enables automatic verification and validation of PSMs, but also a smooth integration of Alloy in current software development practices. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/24675 |
ISBN: | 978-3-642-30728-7 |
DOI: | 10.1007/978-3-642-30729-4_22 |
ISSN: | 0302-9743 |
Versão da editora: | http://link.springer.com/chapter/10.1007%2F978-3-642-30729-4_22 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
ifm12-1.pdf | 402,3 kB | Adobe PDF | Ver/Abrir |