Viability Checking and Requirements Completion: How Constraint Programming Helps State Machines in Performance Requirements Engineering

UML state machines are widely used for modeling software behavior. We present a proposal of constructing constraint systems out of state machines with performance requirements. Our approach takes into account hierarchical states and parallel regions, and facilitates viability checking. Also, missing requirements can be automatically deduced, which is particularly valuable in practice. Our approach thus provides a simple yet useful means for model driven engineering of requirements engineering.