Consistency Checking of Statechart Diagrams of a Class Hierarchy.

Vitus S. W. Lam Julian A. Padget

Published in: ECOOP (2005)

Keyphrases

consistency checking
class hierarchy
query answering
temporal constraints
temporal reasoning
test cases
path consistency
software evolution
data sets
data model
temporal information
arc consistency
binary relations