Tracing Properties of UML and OCL Models with Maude
The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by OCL pre- and postconditions. The aim of our approach is to assist the developer in learning about the consequences of th...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Open Publishing Association
2011-06-01
|
| Series: | Electronic Proceedings in Theoretical Computer Science |
| Online Access: | http://arxiv.org/pdf/1107.0068v1 |
| _version_ | 1818471747990585344 |
|---|---|
| author | Francisco Durán Martin Gogolla Manuel Roldán |
| author_facet | Francisco Durán Martin Gogolla Manuel Roldán |
| author_sort | Francisco Durán |
| collection | DOAJ |
| description | The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by OCL pre- and postconditions. The aim of our approach is to assist the developer in learning about the consequences of the described system states and transitions and about the formal implications of the properties that are explicitly given. We propose to draw conclusions about the stated constraints by translating the UML and OCL model into the algebraic specification language and system Maude, which is based on rewrite logic. We will concentrate in this paper on employing Maude's capabilities for state search. Maude's state search offers the possibility to describe a start configuration of the system and then explore all configurations reachable by rewriting. The search can be adjusted by formulating requirements for the allowed states and the allowed transitions. |
| first_indexed | 2024-04-14T03:55:45Z |
| format | Article |
| id | doaj.art-c7bf7e60983347b19078ae8a08ce9806 |
| institution | Directory Open Access Journal |
| issn | 2075-2180 |
| language | English |
| last_indexed | 2024-04-14T03:55:45Z |
| publishDate | 2011-06-01 |
| publisher | Open Publishing Association |
| record_format | Article |
| series | Electronic Proceedings in Theoretical Computer Science |
| spelling | doaj.art-c7bf7e60983347b19078ae8a08ce98062022-12-22T02:13:49ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-06-0156Proc. AMMSE 2011819710.4204/EPTCS.56.6Tracing Properties of UML and OCL Models with MaudeFrancisco DuránMartin GogollaManuel RoldánThe starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by OCL pre- and postconditions. The aim of our approach is to assist the developer in learning about the consequences of the described system states and transitions and about the formal implications of the properties that are explicitly given. We propose to draw conclusions about the stated constraints by translating the UML and OCL model into the algebraic specification language and system Maude, which is based on rewrite logic. We will concentrate in this paper on employing Maude's capabilities for state search. Maude's state search offers the possibility to describe a start configuration of the system and then explore all configurations reachable by rewriting. The search can be adjusted by formulating requirements for the allowed states and the allowed transitions.http://arxiv.org/pdf/1107.0068v1 |
| spellingShingle | Francisco Durán Martin Gogolla Manuel Roldán Tracing Properties of UML and OCL Models with Maude Electronic Proceedings in Theoretical Computer Science |
| title | Tracing Properties of UML and OCL Models with Maude |
| title_full | Tracing Properties of UML and OCL Models with Maude |
| title_fullStr | Tracing Properties of UML and OCL Models with Maude |
| title_full_unstemmed | Tracing Properties of UML and OCL Models with Maude |
| title_short | Tracing Properties of UML and OCL Models with Maude |
| title_sort | tracing properties of uml and ocl models with maude |
| url | http://arxiv.org/pdf/1107.0068v1 |
| work_keys_str_mv | AT franciscodurx00e1n tracingpropertiesofumlandoclmodelswithmaude AT martingogolla tracingpropertiesofumlandoclmodelswithmaude AT manuelroldx00e1n tracingpropertiesofumlandoclmodelswithmaude |