Login / Signup

On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models.

Elhillali KerkoucheAllaoua ChaouiEl-Bay BourennaneOuassila Labbani
Published in: J. Softw. (2010)
Keyphrases
  • dynamic behavior
  • graph transformation
  • uml models
  • sequence diagrams
  • model checking
  • dynamic networks
  • speed control
  • databases
  • low level
  • object oriented
  • biological systems
  • colored petri nets