Abstract Operational Semantics for Use Case Maps.

Jameleddine Hassine Juergen Rilling Rachida Dssouli

Published in: FORTE (2005)

Keyphrases

operational semantics
activity diagrams
formal semantics
data model
mental states
declarative semantics
model theoretic
databases
cooperative
sequence diagrams
database
high level
expert systems
information extraction
first order logic