Using UML Action Semantics for Executable Modeling and Beyond.
Gerson SunyéFrançois Pennaneac'hWai-Ming HoAlain Le GuennecJean-Marc JézéquelPublished in: CAiSE (2001)
Keyphrases
- modeling language
- uml activity diagrams
- formal semantics
- specification language
- unified modeling language
- sequence diagrams
- formal specification
- database
- control flow
- dynamic aspects
- information systems
- software systems
- process algebra
- action language
- uml class diagrams
- relational databases
- formal methods
- software development
- software engineering
- web services
- model driven engineering
- communicative acts
- uml profile
- activity diagrams
- software architecture