Towards a Formal Semantic for UML 2.0 - Activity Diagram based on Institution Theory.
Amine AchouriLeila Jemni Ben AyedPublished in: ICSOFT (2013)
Keyphrases
- formal methods
- uml activity diagrams
- class diagram
- software development
- object oriented
- class diagrams
- uml diagrams
- semantic web
- mathematical theory
- formal model
- mathematical foundations
- database design
- general theory
- unified modeling language
- theoretical framework
- metamodel
- semantic representation
- formal models
- uml class diagrams
- requirements specification
- object oriented modeling
- semantic knowledge
- software design
- modeling language
- high level
- semantic network
- semantic similarity
- semantic annotation
- model checking
- higher education
- semantic information
- software systems
- software engineering
- query language
- natural language