Modeling behavioral RESTful web service interfaces in UML
Proceedings of the 2011 ACM Symposium on Applied Computing
Towards behaviorally enriched semantic RESTful interfaces using OWL2
ICWE'11 Proceedings of the 11th international conference on Web engineering
Designing level 3 behavioral RESTful web service interfaces
ACM SIGAPP Applied Computing Review
OCL-based runtime monitoring of applications with protocol state machines
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
A UML protocol state machine describes a behavioral interface for a class as a number of states and transitions between states triggered by method calls. In this paper, we present an approach to generate behavioral class interfaces in the form of class contracts from UML protocol state machines. The generated contracts can be used for documentation, test case generation, test case oracle, and as run-time assertions and thus help to test and validate the implementation of a class against its interface. We formalize protocol state machines with its structure and semantics for generating class contracts. The state invariants of the source and target states are considered along with the pre- and post-conditions of the transitions. Different types of transitions like simple, join, fork, high-level, and self transitions are supported, as well as non-deterministic behavior. The approach is supported by a tool to generate automatically the contracts from UML models.