TY - GEN
T1 - Generating class contracts from UML protocol statemachines
AU - Porres, Ivan
AU - Rauf, Irum
PY - 2009
Y1 - 2009
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/74949083773
U2 - 10.1145/1656485.1656493
DO - 10.1145/1656485.1656493
M3 - Conference proceeding
AN - SCOPUS:74949083773
SN - 9781605588766
T3 - ACM International Conference Proceeding Series
BT - Proceedings of the 6th International Workshop - MoDeVVa - Model-Driven Engineering, Verification and Validation
T2 - 6th International Workshop on MoDeVVa - Model-Driven Engineering, Verification and Validation
Y2 - 5 October 2009 through 5 October 2009
ER -