Loading...
Please wait, while we are loading the content...
Similar Documents
Applying model checking to concurrent uml models.
| Content Provider | CiteSeerX |
|---|---|
| Author | Gagnon, Patrice Mokhati, Farid Badri, Mourad |
| Abstract | We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurrent object-oriented systems. We focus on UML class, state and communication diagrams. The formal and object-oriented language Maude, based on rewriting logic, supports formal specification and programming of concurrent systems, as well as model checking. The major motivations of this work are: (1) translating concurrent UML diagrams into a Maude formal specification and (2) applying model checking to the generated specifications. The approach is illustrated using a concrete case study. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Major Motivation Maude Language Dynamic Feature Concurrent Object-oriented System Generated Specification Communication Diagram Concurrent Uml Model Object-oriented Language Maude Concurrent System Formal Specification Model Checking Concurrent Uml Diagram Formal Verification Concrete Case Study Maude Formal Specification Uml Class |
| Content Type | Text |