Login / Signup

A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.

Soon-Kyeong KimDavid A. Carrington
Published in: ICFEM (2002)
Keyphrases
  • state machine
  • state machines
  • fault tolerant
  • finite state machines
  • d objects
  • metamodel
  • object model
  • formal methods
  • relational databases