Roles at the Basis of UML Validation
Autor: | Thouraya Bouabana-Tebibel |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2007 |
Předmět: |
UML tool
Object-oriented programming General Computer Science Computer science Programming language Applications of UML Computer Science::Software Engineering Petri net computer.software_genre Unified Modeling Language Formal specification Temporal logic State diagram computer computer.programming_language Object Constraint Language |
Zdroj: | Journal of computing and information technology Volume 15 Issue 2 |
ISSN: | 1846-3908 1330-1136 |
Popis: | Formal validation of UML models proves to be hardly realizable, due to the imprecise semantics of UML dynamic diagrams. To remedy that, we first present a technique for transforming UML statecharts into Petri nets. We develop afterwards, an approach based on the movement of the objects throughout the roles they play. This approach allows validation of the temporal logic properties translated from the OCL invariants, on the Petri nets derived from the UML models. System property validation is realized thanks to a prior initialization of the objects and exchanged messages between the communicating objects. A case study is given to illustrate the methodology. |
Databáze: | OpenAIRE |
Externí odkaz: |
Abstrakt: | Formal validation of UML models proves to be hardly realizable, due to the imprecise semantics of UML dynamic diagrams. To remedy that, we first present a technique for transforming UML statecharts into Petri nets. We develop afterwards, an approach based on the movement of the objects throughout the roles they play. This approach allows validation of the temporal logic properties translated from the OCL invariants, on the Petri nets derived from the UML models. System property validation is realized thanks to a prior initialization of the objects and exchanged messages between the communicating objects. A case study is given to illustrate the methodology. |
---|---|
ISSN: | 18463908 13301136 |