Login / Signup

On pi-Calculus Semantics as a Formal Basis for UML Activity Diagrams.

Vitus S. W. Lam
Published in: Int. J. Softw. Eng. Knowl. Eng. (2008)
Keyphrases
  • uml activity diagrams
  • formal language
  • business process models
  • graphical representation
  • artificial intelligence
  • operational semantics