A Formal Semantics for SysML Activity Diagrams.

Lucas Lima André Didier Márcio Cornélio

Published in: SBMF (2013)

Keyphrases

formal semantics
activity diagrams
operational semantics
modeling language
conceptual database design
metamodel
logical language
sequence diagrams
database systems
speech acts
class diagrams
artificial intelligence
expert systems
petri net
requirements engineering