A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory.
Amine AchouriLeila Jemni Ben AyedPublished in: CoRR (2016)
Keyphrases
- formal methods
- uml activity diagrams
- formal model
- class diagrams
- object oriented
- class diagram
- uml diagrams
- theoretical framework
- software engineering
- mathematical theory
- semantic annotation
- unified modeling language
- uml class diagrams
- mathematical foundations
- database design
- higher education
- software systems
- semantic web
- case study
- human activities
- formal specification
- model checking
- general theory
- formal models
- semantic information
- software development
- domain specific
- natural language