The Semantics of UML State Machines

@inproceedings{Lilius1999TheSO,
  title={The Semantics of UML State Machines},
  author={Johan Lilius and Ivan Porres},
  year={1999}
}

Topics from this paper.

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 12 CITATIONS

Translating UML Statechart Diagrams to X-Nets

  • 2009 First International Conference on Information Science and Engineering
  • 2009
VIEW 1 EXCERPT
CITES BACKGROUND

Retrieval by Construction: a Traceability Technique to Support Verification and Validation of Uml Formalizations

  • International Journal of Software Engineering and Knowledge Engineering
  • 2005
VIEW 1 EXCERPT
CITES BACKGROUND

Formalization of UML state machines using temporal logic

  • Software & Systems Modeling
  • 2003
VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND

A formal testing framework for UML statechart diagrams behaviours: from theory to automatic verification

  • Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking
  • 2001