A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation.

Nicolas Guelfi Amel Mammar

Published in: APSEC (2005)

Keyphrases

formal semantics
activity diagrams
operational semantics
conceptual database design
petri net
sequence diagrams
logical language
modeling language
modelling language
first order logic
requirements engineering
open source
speech acts
database
artificial intelligence
class diagrams