An Action Language for UML: Proposal for a Precise Execution Semantics.
Stephen J. MellorStephen R. TockeyRodolphe ArthaudPhilippe LeblancPublished in: UML (1998)
Keyphrases
- action language
- description language
- reasoning about actions
- action descriptions
- specification language
- software architecture
- answer set programming
- action theories
- concurrent actions
- uml activity diagrams
- situation calculus
- software engineering
- domain description
- logic programming
- software development
- metamodel
- formal semantics
- logic programs
- uml class diagrams
- modeling language
- multi agent
- search strategies
- software systems
- query language