From UML Statecharts to LOTOS Expressions Using Graph Transformation.
Salim DjaaboubElhillali KerkoucheAllaoua ChaouiPublished in: ICIST (2015)
Keyphrases
- graph transformation
- class diagrams
- sequence diagrams
- conceptual modeling
- formal methods
- uml class diagrams
- uml models
- formal specification language
- object oriented
- class diagram
- facial expressions
- regression testing
- reverse engineering
- activity diagrams
- object oriented systems
- software systems
- database design
- software engineering
- metamodel
- petri net
- agent oriented
- software architecture
- natural language
- modeling language
- unified modeling language
- data model
- database systems
- information systems