ReUML: a UML Profile for Modeling and Verification of Reactive Systems.

Fatemeh Alavizadeh Alireza Hashemi Nekoo Marjan Sirjani

Published in: ICSEA (2007)

Keyphrases

uml profile
reactive systems
model checking
formal methods
modeling language
temporal logic
metamodel
database
artificial intelligence
petri net
information flow
control flow
knowledge representation
formal specification