TY - CHAP
T1 - Generating class contracts from deterministic UML protocol statemachines
AU - Porres, Ivan
AU - Rauf, Irum
PY - 2010
Y1 - 2010
N2 - We present an approach to generate behavioral class interfaces in the form of class contracts from UML 2.0 protocol state machines. A generated class contract defines a pre- and post-condition for each operation that triggers a transition in the state machine. We consider the following protocol SM elements: state and state invariants, simple transitions, compound transitions, high-level transitions, complete transitions, self transitions also deal with the case of firing priorities. The generated contracts can be used as a behavioral interface, for documentation, run-time checking and test case generation.
AB - We present an approach to generate behavioral class interfaces in the form of class contracts from UML 2.0 protocol state machines. A generated class contract defines a pre- and post-condition for each operation that triggers a transition in the state machine. We consider the following protocol SM elements: state and state invariants, simple transitions, compound transitions, high-level transitions, complete transitions, self transitions also deal with the case of firing priorities. The generated contracts can be used as a behavioral interface, for documentation, run-time checking and test case generation.
UR - https://www.scopus.com/pages/publications/78650370452
U2 - 10.1007/978-3-642-12261-3_17
DO - 10.1007/978-3-642-12261-3_17
M3 - Chapter
AN - SCOPUS:78650370452
SN - 3642122604
SN - 9783642122606
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 172
EP - 185
BT - Models in Software Engineering - Workshops and Symposia at MODELS 2009, Reports and Revised Selected Papers
T2 - Workshops and Symposia on Models in Software Engineering, MODELS 2009
Y2 - 4 October 2009 through 9 October 2009
ER -