UML Statecharts Compositional Semantics in LOTOS.

Rafal Mrowka Tomasz Szmuc

Published in: ISPDC (2008)

Keyphrases

compositional semantics
class diagrams
sequence diagrams
uml class diagrams
conceptual modeling
object oriented
uml models
natural language
class diagram
formal methods
petri net
discourse structure
semantic parser
relational databases
software development
co occurrence
software engineering