An ASM Operational Semantics for Use Case Maps.

Jameleddine Hassine Juergen Rilling Rachida Dssouli

Published in: RE (2005)

Keyphrases

operational semantics
activity diagrams
formal semantics
mental states
active shape model
data model
model theoretic
declarative semantics
denotational semantics
object oriented
software engineering
intelligent agents
shape model
databases
relational databases
agent programming
artificial intelligence