A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams.
Chafika DjaouiElhillali KerkoucheAllaoua ChaouiKhaled KhalfaouiPublished in: IRI (2018)
Keyphrases
- graph transformation
- class diagram
- formal specification
- class diagrams
- uml class diagrams
- uml diagrams
- unified modeling language
- specification language
- sequence diagrams
- object oriented
- formal methods
- human computer interaction
- user interaction
- database design
- automatically generate
- software design
- uml models
- software engineering
- metamodel
- state machine
- written in natural language
- conceptual modeling
- finite state machines
- modeling language
- reverse engineering
- delay insensitive
- software development
- programming language
- functional requirements
- high level