{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,11]],"date-time":"2025-11-11T13:10:14Z","timestamp":1762866614139,"version":"3.37.3"},"reference-count":75,"publisher":"Sociedade Brasileira de Computacao - SB","issue":"1","license":[{"start":{"date-parts":[[2015,4,24]],"date-time":"2015-04-24T00:00:00Z","timestamp":1429833600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Internet Serv Appl"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1186\/s13174-015-0023-7","type":"journal-article","created":{"date-parts":[[2015,4,23]],"date-time":"2015-04-23T19:27:52Z","timestamp":1429817272000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["eContractual choreography-language properties towards cross-organizational business collaboration"],"prefix":"10.5753","volume":"6","author":[{"given":"Alex","family":"Norta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lixin","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yucong","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Addi","family":"Rull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Merit","family":"K\u00f5lvart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kuldar","family":"Taveter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3742","published-online":{"date-parts":[[2015,4,24]]},"reference":[{"volume-title":"Service Orientation: Winning Strategies and Best Practices","year":"2006","key":"23_CR1","unstructured":"Allen P, Higgins S, McRae P, Schlamann, H (eds.): (2006) Service Orientation: Winning Strategies and Best Practices. Cambridge University Press"},{"key":"23_CR2","series-title":"Systems and Applications.","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84996-241-4","volume-title":"Cloud Computing: Principles","author":"N Antonopoulos","year":"2010","unstructured":"Antonopoulos N, Gillam L (2010) Cloud Computing: Principles, Systems and Applications. Springer."},{"key":"23_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-10876-5","volume-title":"Web Services: Concepts, Architectures and Applications","author":"G Alonso","year":"2004","unstructured":"Alonso G, Casati F, Kuno H, Machiraju V: Web Services: Concepts, Architectures and Applications. Springer-Verlag, Berlin Heidelberg; 2004."},{"issue":"PrePrints","key":"23_CR4","first-page":"1","volume":"99","author":"R Eshuis","year":"2013","unstructured":"Eshuis R, Norta A, Kopp O, Pitkanen E: Service outsourcing with process views. IEEE Trans Serv Comput 2013, 99(PrePrints):1.","journal-title":"IEEE Trans Serv Comput"},{"issue":"2","key":"23_CR5","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/j.cie.2006.02.011","volume":"51","author":"JY Jung","year":"2006","unstructured":"Jung JY, Kim H, Kang SH: Standards-based approaches to b2b workflow integration. Comput Ind Eng 2006, 51(2):321\u2013334.","journal-title":"Comput Ind Eng"},{"issue":"1","key":"23_CR6","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/j.datak.2006.04.006","volume":"61","author":"R Khalaf","year":"2007","unstructured":"Khalaf R: From rosettanet pips to bpel processes: A three level approach for business protocols. Data Knowl Eng 2007, 61(1):23\u201338.","journal-title":"Data Knowl Eng"},{"key":"23_CR7","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1007\/s10796-009-9164-1","volume":"12","author":"A Norta","year":"2010","unstructured":"Norta A, Eshuis R: Specification and verification of harmonized business-process collaborations. Inform Syst Front 2010, 12: 457\u2013479.","journal-title":"Inform Syst Front"},{"key":"23_CR8","volume-title":"A next-generation smart contract and decentralized application platform","author":"V Butterin","year":"2014","unstructured":"Butterin V (2014) A next-generation smart contract and decentralized application platform. White Paper."},{"key":"23_CR9","volume-title":"Formalizing and securing relationships on public networks","author":"N Szabo","year":"1997","unstructured":"Szabo N (1997) Formalizing and securing relationships on public networks. First Monday 2(9). . http:\/\/firstmonday.org\/ojs\/index.php\/fm\/article\/view\/548\/469 ."},{"issue":"2012","key":"23_CR10","first-page":"28","volume":"1","author":"S Nakamoto","year":"2008","unstructured":"Nakamoto S: Bitcoin: A peer-to-peer electronic cash system. Consulted 2008, 1(2012):28.","journal-title":"Consulted"},{"key":"23_CR11","unstructured":"Patron TThe Bitcoin Revolution: An Internet of Money. Travis Patron. Patron TThe Bitcoin Revolution: An Internet of Money. Travis Patron."},{"key":"23_CR12","volume-title":"Blockchain Thinking: The Brain as a DAC (Decentralized Autonomous Organization","author":"M Swan","year":"2015","unstructured":"Swan M (2015) Blockchain Thinking: The Brain as a DAC (Decentralized Autonomous Organization. Texas Bitcoin Conference."},{"key":"23_CR13","volume-title":"ADEPT: An IoT Practitioner Perspective","author":"BS Panikkar","year":"2014","unstructured":"Panikkar BS, Nair S, Brody P, Pureswaran V (2014) ADEPT: An IoT Practitioner Perspective. IBM."},{"key":"23_CR14","first-page":"14","volume-title":"Modellierung, vol. 12","author":"N Lohmann","year":"2008","unstructured":"Lohmann N, Kleine J: Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. In Modellierung, vol. 12. Gesellschaft f\u00fcr Informatik E.V., Berlin, Germany; 2008:14\u201314."},{"key":"23_CR15","first-page":"296","volume-title":"Web Services, 2007. ICWS 2007. IEEE International Conference On","author":"G Decker","year":"2007","unstructured":"Decker G, Kopp O, Leymann F, Weske M (2007) Bpel4chor: Extending bpel for modeling choreographies In: Web Services, 2007. ICWS 2007. IEEE International Conference On, 296\u2013303.. IEEE."},{"key":"23_CR16","volume-title":"Web Services Choreography Description Language 1.0.","author":"D Jordan","year":"2014","unstructured":"Jordan D, Evdemon J, Alves A, Arkin A (2014) Web Services Choreography Description Language 1.0. . http:\/\/www.w3.org\/TR\/ws-cdl-10\/ ."},{"key":"23_CR17","first-page":"208","volume-title":"BPM\u201907: Proceedings of the 2007 International Conference on Business Process Management","author":"G Decker","year":"2008","unstructured":"Decker G, Barros A: Interaction modeling using bpmn. In BPM\u201907: Proceedings of the 2007 International Conference on Business Process Management. Springer, Berlin, Heidelberg; 2008:208\u2013219."},{"key":"23_CR18","volume-title":"Notation (bpmn) version 2.0. Object Management Group specification","author":"BP Model","year":"2011","unstructured":"Model BP (2011) Notation (bpmn) version 2.0. Object Management Group specification. . http:\/\/www.bpmn.org ."},{"key":"23_CR19","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/11914853_10","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science, vol. 4276","author":"JM Zaha","year":"2006","unstructured":"Zaha JM, Barros A, Dumas M, ter Hofstede AHM: Let\u2019s dance: A language for service behavior modeling. In On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science, vol. 4276. Edited by: Meersman R, Tari Z. LNCS Springer, Montpellier, France; 2006:145\u2013162."},{"key":"23_CR20","volume-title":"ebXML Technical Architecture Specification, Technical report, Organization for the Advancement of Structured Information Standards (OASIS).","author":"B Eisenberg","year":"2001","unstructured":"Eisenberg B, Nickull D (2001) ebXML Technical Architecture Specification, Technical report, Organization for the Advancement of Structured Information Standards (OASIS)."},{"key":"23_CR21","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1109\/SERVICES-2.2009.25","volume-title":"SERVICES-2 \u201909: Proceedings of the 2009 World Conference on Services - II","author":"T Motal","year":"2009","unstructured":"Motal T, Zapletal M, Werthner H: The Business Choreography Language (BCL) - A Domain-Specific Language for Global Choreographies. In SERVICES-2 \u201909: Proceedings of the 2009 World Conference on Services - II. IEEE Computer Society, Washington, DC, USA; 2009:150\u2013159. doi:10.1109\/SERVICES-2.2009.25 doi:10.1109\/SERVICES-2.2009.25 10.1109\/SERVICES-2.2009.25"},{"key":"23_CR22","volume-title":"eSourcing.owl ontology.. Tallinn University of Technology","author":"A Norta","year":"2015","unstructured":"Norta A (2015) eSourcing.owl ontology.. Tallinn University of Technology. . http:\/\/tinyurl.com\/nogogon ."},{"key":"23_CR23","volume-title":"The Semantic Web\u2013ISWC 2004, 229\u2013243","author":"H Knublauch","year":"2004","unstructured":"Knublauch H, Fergerson RW, Noy NF, Musen MA (2004) The prot\u00e9g\u00e9 owl plugin: An open development environment for semantic web applications In: The Semantic Web\u2013ISWC 2004, 229\u2013243.. Springer."},{"key":"23_CR24","volume-title":"OWL Reasoner Evaluation Workshop (ORE 2012)","author":"I Horrocks","year":"2012","unstructured":"Horrocks I, Motik B, Wang Z: The hermit owl reasoner. In OWL Reasoner Evaluation Workshop (ORE 2012). CEUR Workshop Proceedings, CEUR-WS.org; 2012."},{"key":"23_CR25","volume-title":"Exploring Dynamic Inter-Organizational Business Process Collaboration","author":"A Norta","year":"2007","unstructured":"Norta A (2007) Exploring Dynamic Inter-Organizational Business Process Collaboration. PhD thesis, Technology University Eindhoven, Department of Information Systems."},{"issue":"1","key":"23_CR26","first-page":"10","volume":"23","author":"RT Nimmer","year":"2007","unstructured":"Nimmer RT: The legal landscape of e-commerce: Redefining contract law in an information era. J Contract Law 2007, 23(1):10\u201331.","journal-title":"J Contract Law"},{"issue":"2","key":"23_CR27","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1093\/icsidreview\/10.2.208","volume":"10","author":"E Gaillard","year":"1995","unstructured":"Gaillard E: Thirty years of lex mercatoria: Towards the selective application of transnational rules. ICSID Rev 1995, 10(2):208\u2013231. 10.1093\/icsidreview\/10.2.208","journal-title":"ICSID Rev"},{"issue":"1","key":"23_CR28","doi-asserted-by":"crossref","first-page":"75","DOI":"10.2307\/25148625","volume":"28","author":"AR Hevner","year":"2004","unstructured":"Hevner AR, Ram S, March ST, Park J: Design science in information system research. MIS Q 2004, 28(1):75\u2013105.","journal-title":"MIS Q"},{"issue":"4","key":"23_CR29","first-page":"6","volume":"32","author":"ST March","year":"2008","unstructured":"March ST, Storey VC: Design science in the information systems discipline: an introduction to the special issue on design science research. Manag Inform Syst Q 2008, 32(4):6.","journal-title":"Manag Inform Syst Q"},{"issue":"6","key":"23_CR30","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/MIC.2009.96","volume":"13","author":"P Grefen","year":"2009","unstructured":"Grefen P, Eshuis R, Mehandjiev N, Kouvas G, Weichhart G: Internet-based support for process-oriented instant virtual enterprises. IEEE Internet Comput 2009, 13(6):65\u201373. 10.1109\/MIC.2009.96","journal-title":"IEEE Internet Comput"},{"key":"23_CR31","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84882-691-5","volume-title":"Dynamic Business Process Formation for Instant Virtual Enterprises","author":"N Mehandjiev","year":"2010","unstructured":"Mehandjiev N, Grefen P (2010) Dynamic Business Process Formation for Instant Virtual Enterprises. Springer"},{"key":"23_CR32","doi-asserted-by":"crossref","first-page":"507","DOI":"10.1142\/S0218843007001664","volume":"16","author":"A Norta","year":"2007","unstructured":"Norta A, Grefen P: Discovering Patterns for Inter-Organizational Business Collaboration. Int J Cooperative Inform Syst (IJCIS) 2007, 16: 507\u2013544.","journal-title":"Int J Cooperative Inform Syst (IJCIS)"},{"issue":"0","key":"23_CR33","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1016\/j.datak.2014.04.001","volume":"91","author":"A Norta","year":"2014","unstructured":"Norta A, Grefen P, Narendra NC: A reference architecture for managing dynamic inter-organizational business processes. Data Knowl Eng 2014, 91(0):52\u201389. 10.1016\/j.datak.2014.04.001","journal-title":"Data Knowl Eng"},{"key":"23_CR34","series-title":"Proc. of the 9th International Workshop on Research Issues on Data Engineering","first-page":"132","volume-title":"WISE: business to business e-commerce","author":"G Alonso","year":"1999","unstructured":"Alonso G, Fiedler S, Hagen C, Lazcano A, Schuldt H, Weiler N (1999) WISE: business to business e-commerce In: Proc. of the 9th International Workshop on Research Issues on Data Engineering, 132\u2013139, Sydney, Australia"},{"key":"23_CR35","series-title":"Procs. 2nd Int. Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems","first-page":"2","volume-title":"Architecture for Cross-Organizational Business Processes","author":"Y Hoffner","year":"2005","unstructured":"Hoffner Y, Ludwig H, G\u00fclc\u00fc C, Grefen P (2005) Architecture for Cross-Organizational Business Processes In: Procs. 2nd Int. Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems, 2\u201311, Milpitas, CA, USA."},{"issue":"1","key":"23_CR36","first-page":"46","volume":"24","author":"A Lazcano","year":"2001","unstructured":"Lazcano A, Schuldt H, Alonso G, Schek HJ: Wise: Process based e-commerce. IEEE Data Eng Bull 2001, 24(1):46\u201351.","journal-title":"IEEE Data Eng Bull"},{"issue":"1","key":"23_CR37","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jeis.2007010101","volume":"3","author":"L Kutvonen","year":"2007","unstructured":"Kutvonen L, Ruokolainen T, Metso J: Interoperability middleware for federated business services in web-Pilarcos. Int J Enterprise Inform Syst Spec Issue Interoperability Enterprise Syst Appl 2007, 3(1):1\u201321. 10.4018\/jeis.2007010101","journal-title":"Int J Enterprise Inform Syst Spec Issue Interoperability Enterprise Syst Appl"},{"key":"23_CR38","series-title":"Enterprise Distributed Object Computing Conference (EDOC), 2012 IEEE 16th International","first-page":"31","volume-title":"Inter-enterprise business transaction management in open service ecosystems","author":"L Kutvonen","year":"2012","unstructured":"Kutvonen L, Norta A, Ruohomaa S (2012) Inter-enterprise business transaction management in open service ecosystems In: Enterprise Distributed Object Computing Conference (EDOC), 2012 IEEE 16th International, 31\u201340.. IEEE."},{"key":"23_CR39","volume-title":"Sourcing & Procurement Solutions..","author":"SAP","year":"2015","unstructured":"SAP (2015) Sourcing & Procurement Solutions.. SAP.com. . http:\/\/www.sap.com\/solution\/lob\/procurement\/software\/sourcing\/index.html ."},{"key":"23_CR40","unstructured":"ORACLE (2015) ORACLE Sourcing.. ORACLE.com. . http:\/\/www.oracle.com\/us\/products\/applications\/ebusiness\/procurement\/053985.html ."},{"key":"23_CR41","series-title":"Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2011 15th IEEE International","first-page":"18","volume-title":"Solving service ecosystem governance","author":"T Ruokolainen","year":"2011","unstructured":"Ruokolainen T, Ruohomaa S, Kutvonen L (2011) Solving service ecosystem governance In: Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2011 15th IEEE International, 18\u201325.. IEEE."},{"key":"23_CR42","first-page":"293","volume-title":"A cloud hub for brokering business processes as a service: A \u201crendezvous\u201d platform that supports semi-automated background checked partner discovery for cross-enterprise collaboration","author":"A Norta","year":"2012","unstructured":"Norta A, Kutvonen L (2012) A cloud hub for brokering business processes as a service: A \u201crendezvous\u201d platform that supports semi-automated background checked partner discovery for cross-enterprise collaboration In: SRII Global Conference (SRII), 2012 Annual, 293\u2013302."},{"key":"23_CR43","volume-title":"Hermit: A highly-efficient owl reasoner","author":"R Shearer","year":"2008","unstructured":"Shearer R, Motik B, Horrocks I (2008) Hermit: A highly-efficient owl reasoner In: CEUR Workshop Proceedings, Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, vol. 432."},{"key":"23_CR44","volume-title":"Foundations of B2B Electronic Contracting. Dissertation","author":"S Angelov","year":"2006","unstructured":"Angelov S (2006) Foundations of B2B Electronic Contracting. Dissertation, Technology University Eindhoven, Faculty of Technology Management, Information Systems Department."},{"key":"23_CR45","volume-title":"Introduction to Business: A Contemporary View","author":"JA Reinecke","year":"1984","unstructured":"Reinecke JA (1984) Introduction to Business: A Contemporary View. Allyn & Bacon"},{"key":"23_CR46","first-page":"805","volume-title":"A survey on service contract","author":"Y Duan","year":"2012","unstructured":"Duan Y (2012) A survey on service contract In: Software Engineering, Artificial Intelligence, Networking and Parallel & Distributed Computing (SNPD), 2012 13th ACIS International Conference On, 805\u2013810.. IEEE."},{"key":"23_CR47","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7682.001.0001","volume-title":"The Art of Agent-oriented Modeling","author":"L Sterling","year":"2009","unstructured":"Sterling L, Taveter K (2009) The Art of Agent-oriented Modeling. MIT Press."},{"volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","key":"23_CR48","unstructured":"(1998) Lectures on Petri Nets I: Basic Models(Reisig W, Rozenberg G, eds.), Vol. 1491. Springer, Heidelberg, Germany."},{"volume-title":"Lectures on Petri Nets II: Applications","year":"1998","key":"23_CR49","unstructured":"Lectures on Petri Nets II: Applications (1998)(Reisig W, Rozenberg G, eds.), Vol. 1492. Springer, Heidelberg, Germany."},{"key":"23_CR50","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-56863-8_36","volume-title":"Application and Theory of Petri Nets 1993, vol. 691","author":"C Ellis","year":"1993","unstructured":"Ellis C, Nutt G: Modelling and Enactment of Workflow Systems. In Application and Theory of Petri Nets 1993, vol. 691. Edited by: Marsan M. A.. Springer, Heidelberg, Germany; 1993:1\u201316. 10.1007\/3-540-56863-8_36"},{"issue":"1","key":"23_CR51","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W Aalst","year":"1998","unstructured":"Aalst W: The Application of Petri Nets to Workflow Management. J Circuits Syst Comput 1998, 8(1):21\u201366. 10.1142\/S0218126698000043","journal-title":"J Circuits Syst Comput"},{"issue":"6","key":"23_CR52","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/S0020-0190(99)00074-5","volume":"70","author":"E Kindler","year":"1999","unstructured":"Kindler E, Aalst W: Liveness, Fairness, and Recurrence. Inform Process Lett 1999, 70(6):269\u2013274. 10.1016\/S0020-0190(99)00074-5","journal-title":"Inform Process Lett"},{"issue":"4","key":"23_CR53","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H Verbeek","year":"2001","unstructured":"Verbeek H, Basten T, Aalst W: Diagnosing Workflow Processes using Woflan. Comput J 2001, 44(4):246\u2013279. 10.1093\/comjnl\/44.4.246","journal-title":"Comput J"},{"issue":"1","key":"23_CR54","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1504\/IJNVO.2003.003517","volume":"2","author":"S Angelov","year":"2003","unstructured":"Angelov S, Grefen P: The 4W framework for B2B e-contracting. Int J Netw Virtual Organizations 2003, 2(1):78\u201397. 10.1504\/IJNVO.2003.003517","journal-title":"Int J Netw Virtual Organizations"},{"key":"23_CR55","volume-title":"Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?","author":"W Aalst","year":"2000","unstructured":"Aalst W: Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?. BETA Working Paper Series, WP 46, Eindhoven University of Technology, Eindhoven; 2000."},{"key":"23_CR56","volume-title":"Workflow resource patterns: Identification, representation and tool support In: Advanced Information Systems Engineering, 216\u2013232","author":"N Russell","year":"2005","unstructured":"Russell N, van der Aalst WM, ter Hofstede AH, Edmond D (2005) Workflow resource patterns: Identification, representation and tool support In: Advanced Information Systems Engineering, 216\u2013232.. Springer."},{"key":"23_CR57","series-title":"Conceptual Modeling\u2013ER 2005","first-page":"353","volume-title":"Workflow data patterns: Identification, representation and tool support","author":"N Russell","year":"2005","unstructured":"Russell N, Ter Hofstede AH, Edmond D, van der Aalst WM (2005) Workflow data patterns: Identification, representation and tool support In: Conceptual Modeling\u2013ER 2005, 353\u2013368.. Springer."},{"key":"23_CR58","first-page":"834","volume-title":"Lecture Notes in Computer Science, vol. 4277","author":"A Norta","year":"2006","unstructured":"Norta A, Hendrix M, Grefen P: On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, and ODBASE. In Lecture Notes in Computer Science, vol. 4277. Edited by: Meersman R, Tari Z.. LNCS Springer, Montpellier, France; 2006:834\u2013843."},{"issue":"1","key":"23_CR59","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1287\/isre.14.1.23.14768","volume":"14","author":"W Aalst","year":"2003","unstructured":"Aalst W, Kumar A: XML Based Schema Definition for Support of Inter-organizational Workflow. Inform Syst Res 2003, 14(1):23\u201347. 10.1287\/isre.14.1.23.14768","journal-title":"Inform Syst Res"},{"key":"23_CR60","unstructured":"Workflow Patterns Home Page. . http:\/\/workflowpatterns.com\/ Workflow Patterns Home Page. ."},{"key":"23_CR61","series-title":"Etzion O Scheuermann P (eds)7th International Conference on Cooperative Information Systems (CoopIS 2000)","first-page":"18","volume-title":"Advanced Workflow Patterns","author":"W Aalst","year":"2000","unstructured":"Aalst W, Hofstede A, Kiepuszewski B, Barros AP (2000) Advanced Workflow Patterns. In: Etzion O Scheuermann P (eds)7th International Conference on Cooperative Information Systems (CoopIS 2000), 18\u201329."},{"key":"23_CR62","volume-title":"Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows PhD thesis","author":"B Kiepuszewski","year":"2002","unstructured":"Kiepuszewski B (2002) Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows PhD thesis, Queensland University of Technology, Queensland University of Technology, Brisbane, Australia. . http:\/\/citeseer.nj.nec.com\/kiepuszewski02expressiveness.html"},{"issue":"3","key":"23_CR63","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B Kiepuszewski","year":"2003","unstructured":"Kiepuszewski B, Hofstede A, Aalst W: Fundamentals of Control Flow in Workflows. Acta Informatica 2003, 39(3):143\u2013209. 10.1007\/s00236-002-0105-4","journal-title":"Acta Informatica"},{"key":"23_CR64","first-page":"30","volume-title":"Altinkemer K Chari K. (eds)Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001)","author":"W Aalst","year":"2001","unstructured":"Aalst W, Verbeek HMW, Kumar A (2001) XRL\/Woflan: Verification of an XML\/Petri-net based language for inter-organizational workflows (Best paper award). In: Altinkemer K Chari K. (eds)Proceedings of the 6th Informs Conference on Information Systems and Technology (CIST-2001), 30\u201345.. Informs, Linthicum, MD."},{"key":"23_CR65","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W Aalst","year":"1997","unstructured":"Aalst W: Verification of Workflow Nets. In Application and Theory of Petri Nets 1997. Edited by: Az\u00e9ma P, Balbo G. Springer, Heidelberg, Germany; 1997:407\u2013426. 10.1007\/3-540-63139-9_48"},{"key":"23_CR66","first-page":"483","volume-title":"Proc. of the 24th International Conference, ICATPN 2003, Lecture Notes in Computer Science","author":"J Billington","year":"2003","unstructured":"Billington J, Christense S, Van Hee K, Kindler E, Kummer O, Petrucci L, Post R: The Petri Net Markup Language: Concepts, Technology, and Tools. In Proc. of the 24th International Conference, ICATPN 2003, Lecture Notes in Computer Science. Edited by: Aalst W, Best E. Springer, Eindhoven, The Netherlands; 2003:483\u2013505."},{"key":"23_CR67","unstructured":"LIP, 6 (2015) Welcome to PNML.org. . http:\/\/www.pnml.org\/ ."},{"key":"23_CR68","series-title":"Petri Net Technology for Communication-Based Systems Advances in Petri Nets. Lecture Notes in Computer Science","first-page":"455","volume-title":"The petri net markup language","author":"M Weber","year":"2003","unstructured":"Weber M, Kindler E (2003) The petri net markup language. In: Ehrig H, Reisig W, Rozenberg G, Weber H (eds)Petri Net Technology for Communication-Based Systems Advances in Petri Nets. Lecture Notes in Computer Science, 455.. Springer."},{"key":"23_CR69","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1007\/978-3-540-27793-4_30","volume-title":"Proc. of the 25th International Conference on the Application and Theory of Petri Nets 2004. Lecture Notes in Computer Science","author":"A Norta","year":"2004","unstructured":"Norta A: Web supported enactment of petri-net based workflows with XRL\/Flower. In Proc. of the 25th International Conference on the Application and Theory of Petri Nets 2004. Lecture Notes in Computer Science. Edited by: Cortadella J, Reisig W. Springer, Bologna, Italy; 2004:494\u2013503. 10.1007\/978-3-540-27793-4_30"},{"issue":"4","key":"23_CR70","first-page":"246","volume":"44","author":"H Verbeek","year":"2001","unstructured":"Verbeek H, Basten T, Aalst W: Diagnosing Workflow Processes Using Woflan. Comput J Br Comput Soc 2001, 44(4):246\u2013279.","journal-title":"Comput J Br Comput Soc"},{"key":"23_CR71","series-title":"International Symposium on Fundamentals of Software Engineering. Lecture Notes in Computer Science, vol. 4767, 207\u2013222..","volume-title":"Contract based multi-party service composition","author":"M Bravetti","year":"2007","unstructured":"Bravetti M, Zavattaro G (2007) Contract based multi-party service composition. In: Arbab F Sirjani M (eds)International Symposium on Fundamentals of Software Engineering. Lecture Notes in Computer Science, vol. 4767, 207\u2013222.. Springer. doi:10.1007\/978\u20133-540\u201375698\u20139_14. . http:\/\/dx.doi.org\/10.1007\/978\u20133-540\u201375698\u20139_14"},{"key":"23_CR72","series-title":"Software Composition. Lecture Notes in Computer Science, vol. 4829, 34\u201350..","volume-title":"Towards a unifying theory for choreography conformance and contract compliance.","author":"M Bravetti","year":"2007","unstructured":"Bravetti M, Zavattaro G (2007) Towards a unifying theory for choreography conformance and contract compliance. In: Lumpe M Vanderperren W (eds)Software Composition. Lecture Notes in Computer Science, vol. 4829, 34\u201350.. Springer. doi:10.1007\/978\u20133-540\u201377351\u20131_4. . http:\/\/dx.doi.org\/10.1007\/978\u20133-540\u201377351\u20131_4"},{"key":"23_CR73","volume-title":"Semantic web service choreography: Contracting and enactment In: The Semantic Web-ISWC 2008, 550\u2013566","author":"D Roman","year":"2008","unstructured":"Roman D, Kifer M (2008) Semantic web service choreography: Contracting and enactment In: The Semantic Web-ISWC 2008, 550\u2013566.. Springer."},{"key":"23_CR74","series-title":"Web Services and Formal Methods, Lecture Notes in Computer Science, vol. 5387, 37\u201354","volume-title":"Contract compliance and choreography conformance in the presence of message queues","author":"G Zavattaro","year":"2009","unstructured":"Bravetti M, Zavattaro G (2009) Contract compliance and choreography conformance in the presence of message queues. In: Bruni R Wolf K. n. (eds)Web Services and Formal Methods, Lecture Notes in Computer Science, vol. 5387, 37\u201354.. Springer. doi:10.1007\/978\u20133-642\u201301364\u20135_3. . http:\/\/dx.doi.org\/10.1007\/978\u20133-642\u201301364\u20135_3"},{"key":"23_CR75","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-5583-3","volume-title":"Agreement Technologies:Law","author":"S Ossowski","year":"2013","unstructured":"Ossowski S (2013) Agreement Technologies:Law, Governance and Technology. Springer."}],"container-title":["Journal of Internet Services and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13174-015-0023-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13174-015-0023-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13174-015-0023-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,9]],"date-time":"2022-02-09T22:14:59Z","timestamp":1644444899000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.jisajournal.com\/content\/6\/1\/8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,24]]},"references-count":75,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["23"],"URL":"https:\/\/doi.org\/10.1186\/s13174-015-0023-7","relation":{},"ISSN":["1867-4828","1869-0238"],"issn-type":[{"type":"print","value":"1867-4828"},{"type":"electronic","value":"1869-0238"}],"subject":[],"published":{"date-parts":[[2015,4,24]]},"article-number":"8"}}