Formal Specification of RESTful Choreography Properties

  • Adriatik NikajEmail author
  • Mathias Weske
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9671)


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.


Teaching Team State Transition Diagram Massive Open Online Course Massive Open Online Rest Information 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



We thank Cesare Pautasso for the valuable discussions on the BPM-REST relation, especially on the resource lifecycles.


  1. 1.
    Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis (2000)Google Scholar
  2. 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. 3.
    OMG: Business Process Model and Notation (BPMN), Version 2.0, January 2011.
  4. 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. 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. 6.
    Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) 1.1. W3c note, WWW Consortium, March 2001Google Scholar
  7. 7.
    World Wide Web Consortium: Simple Object Access Protocol (SOAP) 1.2 (2003)Google Scholar
  8. 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. 9.
    OMG: Unified Modeling Language (UML), Version 2.0, July 2005.
  10. 10.
    Pautasso, C., Ivanchikj, A., Schreier, S.: Modeling RESTful conversations with extended BPMN choreography diagrams. In: Weyns, D., et al. (eds.) ECSA 2015. LNCS, vol. 9278, pp. 87–94. Springer, Heidelberg (2015). doi: 10.1007/978-3-319-23727-5_7 CrossRefGoogle Scholar
  11. 11.
    Weske, M.: Business Process Management - Concepts, Languages, Architectures, 2nd edn. Springer, Berlin (2012)Google Scholar
  12. 12.
    Pautasso, C., Wilde, E.: Push-enabling RESTful business processes. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) Service Oriented Computing. LNCS, vol. 7084, pp. 32–46. Springer, Heidelberg (2011)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Hasso Plattner InstituteUniversity of PotsdamPotsdamGermany

Personalised recommendations