Formal Specification of RESTful Choreography Properties
BPM community has developed a rich set of languages for modeling interactions. In previous work, we argue that business process choreographies are suited for modeling REST-based interactions. To this end, RESTful choreographies have been introduced as an extension of business process choreographies. However, RESTful choreographies do not provide information about the validity of interactions. In this paper, we introduce formal completeness properties. These properties support developers to verify REST-based interactions. The approach is motivated by an example of an examination procedure in the context of a massive open online course.
KeywordsTeaching Team State Transition Diagram Massive Open Online Course Massive Open Online Rest Information
We thank Cesare Pautasso for the valuable discussions on the BPM-REST relation, especially on the resource lifecycles.
- 1.Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis (2000)Google Scholar
- 2.Nikaj, A., Mandal, S., Pautasso, C., Weske, M.: From choreography diagrams to restful interactions. In: WESOA 2015, Co-located with ICSOC 2015. Springer, Berlin (2015)Google Scholar
- 3.OMG: Business Process Model and Notation (BPMN), Version 2.0, January 2011. http://www.omg.org/spec/BPMN/2.0/
- 4.Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: extending BPEL for modeling choreographies. In: IEEE International Conference on Web Services (2007)Google Scholar
- 5.Jordan, D., Evdemon, J., Alves, A., Arkin, A., Askary, S., Barreto, C., Bloch, B., Curbera, F., Ford, M., Goland, Y., et al.: Web services business process execution language version 2.0. OASIS Stand. 11, 1–10 (2007)Google Scholar
- 6.Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) 1.1. W3c note, WWW Consortium, March 2001Google Scholar
- 7.World Wide Web Consortium: Simple Object Access Protocol (SOAP) 1.2 (2003)Google Scholar
- 8.Haupt, F., Leymann, F., Pautasso, C.: A conversation based approach for modeling REST APIs. In: Proceedings of the 12th Working IEEE/IFIP Conference on Software Architecture (WICSA 2015), Montreal, Canada, May 2015Google Scholar
- 9.OMG: Unified Modeling Language (UML), Version 2.0, July 2005. http://www.omg.org/spec/UML/2.0/
- 11.Weske, M.: Business Process Management - Concepts, Languages, Architectures, 2nd edn. Springer, Berlin (2012)Google Scholar