eContractual choreography-language properties towards cross-organizational business collaboration

Journal of Internet Services and Applications

Volumn 6, Issue 1, 2015, Pages 1-23

  Norta, Alex ^a   Ma, Lixin ^a,c   Duan, Yucong ^b   Rull, Addi ^a   Kõlvart, Merit ^a   Taveter, Kuldar ^a  

^a TALLINN UNIVERSITY OF TECHNOLOGY   (Estonia)

^b HAINAN UNIVERSITY   (China)

^c UNIVERSITY OF SHANGHAI FOR SCIENCE AND TECHNOLOGY   (China)

Author keywords

B2B; Business process; Choreography; Cross organizational; Decentralized autonomous organizations; eSourcing; Expressiveness; Smart contracting; Sociotechnical; Suitability

Indexed keywords

MARKUP LANGUAGES; SOCIETIES AND INSTITUTIONS;

B2B; BUSINESS PROCESS; CHOREOGRAPHY; CROSS-ORGANIZATIONAL; E-SOURCING; EXPRESSIVENESS; SMART CONTRACTING; SOCIOTECHNICAL; SUITABILITY;

COMPUTATIONAL LINGUISTICS;

EID: 84928948890     PISSN: 18674828     EISSN: 18690238     Source Type: Journal    
DOI: 10.1186/s13174-015-0023-7     Document Type: Article

References (75)

1. Allen P, Higgins S, McRae P, Schlamann, H (eds.): (2006) Service Orientation: Winning Strategies and Best Practices. Cambridge University Press.
2. Antonopoulos N, Gillam L (2010) Cloud Computing: Principles, Systems and Applications. Springer.
3. Alonso G, Casati F, Kuno H, Machiraju V (2004) Web Services: Concepts, Architectures and Applications. Springer-Verlag, Berlin Heidelberg.
4. Eshuis R, Norta A, Kopp O, Pitkanen E (2013) Service outsourcing with process views. IEEE Trans Serv Comput 99(PrePrints): 1. doi:10.1109/TSC.2013.51.
5. Jung JY, Kim H, Kang SH (2006) Standards-based approaches to b2b workflow integration. Comput Ind Eng 51(2): 321–334. doi:10.1016/j.cie.2006.02.011.
6. Khalaf R (2007) From rosettanet pips to bpel processes: A three level approach for business protocols. Data Knowl Eng 61(1): 23–38. doi:10.1016/j.datak.2006.04.006.
7. Norta A, Eshuis R (2010) Specification and verification of harmonized business-process collaborations. Inform Syst Front 12: 457–479. doi:10.1007/s10796-009-9164-1.
8. Butterin V (2014) A next-generation smart contract and decentralized application platform. White Paper.
9. 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.
10. Nakamoto S (2008) Bitcoin: A peer-to-peer electronic cash system. Consulted 1(2012): 28.
11. Patron TThe Bitcoin Revolution: An Internet of Money. Travis Patron.
12. Swan M (2015) Blockchain Thinking: The Brain as a DAC Decentralized Autonomous Organization. Texas Bitcoin Conference.
13. Panikkar BS, Nair S, Brody P, Pureswaran V (2014) ADEPT: An IoT Practitioner Perspective. IBM.
14. Lohmann N, Kleine J (2008) Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes In: Modellierung, vol. 12, 14. Gesellschaft für Informatik E.V., Berlin, Germany.
15. 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–303. IEEE.
16. Jordan D, Evdemon J, Alves A, Arkin A (2014) Web Services Choreography Description Language 1.0. http://www.w3.org/TR/ws-cdl-10/.
17. Decker G, Barros A (2008) Interaction modeling using bpmn In: BPM’07: Proceedings of the 2007 International Conference on Business Process Management, 208–219. Springer, Berlin, Heidelberg.
18. Model BP (2011) Notation (bpmn) version 2.0. Object Management Group specification. http://www.bpmn.org.
19. Zaha JM, Barros A, Dumas M, ter Hofstede AHM (2006) Let’s dance: A language for service behavior modeling. In: Meersman R Tari Z (eds)On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science, vol. 4276, 145–162. LNCS Springer, Montpellier, France.
20. Eisenberg B, Nickull D (2001) ebXML Technical Architecture Specification, Technical report, Organization for the Advancement of Structured Information Standards (OASIS).
21. Motal T, Zapletal M, Werthner H (2009) The Business Choreography Language (BCL) - A Domain-Specific Language for Global Choreographies In: SERVICES-2 ’09: Proceedings of the 2009 World Conference on Services - II, 150–159. IEEE Computer Society, Washington, DC, USA. doi:10.1109/SERVICES-2.2009.25.
22. Norta A (2015) eSourcing.owl ontology. Tallinn University of Technology. http://tinyurl.com/nogogon.
23. Knublauch H, Fergerson RW, Noy NF, Musen MA (2004) The protégé owl plugin: An open development environment for semantic web applications In: The Semantic Web–ISWC 2004, 229–243. Springer.
24. Horrocks I, Motik B, Wang Z (2012) The hermit owl reasoner In: OWL Reasoner Evaluation Workshop (ORE 2012). CEUR Workshop Proceedings, CEUR-WS.org.
25. Norta A (2007) Exploring Dynamic Inter-Organizational Business Process Collaboration. PhD thesis, Technology University Eindhoven, Department of Information Systems.
26. Nimmer RT (2007) The legal landscape of e-commerce: Redefining contract law in an information era. J Contract Law 23(1): 10–31.
27. Gaillard E (1995) Thirty years of lex mercatoria: Towards the selective application of transnational rules. ICSID Rev 10(2): 208–231.
28. Hevner AR, Ram S, March ST, Park J (2004) Design science in information system research. MIS Q 28(1): 75–105.
29. March ST, Storey VC (2008) Design science in the information systems discipline: an introduction to the special issue on design science research. Manag Inform Syst Q 32(4): 6.
30. Grefen P, Eshuis R, Mehandjiev N, Kouvas G, Weichhart G (2009) Internet-based support for process-oriented instant virtual enterprises. IEEE Internet Comput 13(6): 65–73.
31. Mehandjiev N, Grefen P (2010) Dynamic Business Process Formation for Instant Virtual Enterprises. Springer.
32. Norta A, Grefen P (2007) Discovering Patterns for Inter-Organizational Business Collaboration. Int J Cooperative Inform Syst (IJCIS) 16: 507–544. doi:10.1142/S0218843007001664.
33. Norta A, Grefen P, Narendra NC (2014) A reference architecture for managing dynamic inter-organizational business processes. Data Knowl Eng 91(0): 52–89.
34. 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–139, Sydney, Australia.
35. Hoffner Y, Ludwig H, Gülcü C, Grefen P (2005) Architecture for Cross-Organizational Business Processes In: Procs. 2 nd Int. Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems, 2–11, Milpitas, CA, USA.
36. Lazcano A, Schuldt H, Alonso G, Schek HJ (2001) Wise: Process based e-commerce. IEEE Data Eng Bull 24(1): 46–51.
37. Kutvonen L, Ruokolainen T, Metso J (2007) Interoperability middleware for federated business services in web-Pilarcos. Int J Enterprise Inform Syst Spec Issue Interoperability Enterprise Syst Appl 3(1): 1–21.
38. 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–40. IEEE.
39. SAP (2015) Sourcing & Procurement Solutions. SAP.com. http://www.sap.com/solution/lob/procurement/software/sourcing/index.html.
40. ORACLE (2015) ORACLE Sourcing. ORACLE.com. http://www.oracle.com/us/products/applications/ebusiness/procurement/053985.html.
41. Ruokolainen T, Ruohomaa S, Kutvonen L (2011) Solving service ecosystem governance In: Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2011 15th IEEE International, 18–25. IEEE.
42. Norta A, Kutvonen L (2012) A cloud hub for brokering business processes as a service: A “rendezvous” platform that supports semi-automated background checked partner discovery for cross-enterprise collaboration In: SRII Global Conference (SRII), 2012 Annual, 293–302.
43. 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.
44. Angelov S (2006) Foundations of B2B Electronic Contracting. Dissertation, Technology University Eindhoven, Faculty of Technology Management, Information Systems Department.
45. Reinecke JA (1984) Introduction to Business: A Contemporary View. Allyn & Bacon.
46. 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–810. IEEE.
47. Sterling L, Taveter K (2009) The Art of Agent-oriented Modeling. MIT Press.
48. (1998) Lectures on Petri Nets I: Basic Models(Reisig W, Rozenberg G, eds.), Vol. 1491. Springer, Heidelberg, Germany.
49. Lectures on Petri Nets II: Applications (1998)(Reisig W, Rozenberg G, eds.), Vol. 1492. Springer, Heidelberg, Germany.
50. Ellis C, Nutt G (1993) Modelling and Enactment of Workflow Systems. In: Marsan M. A. (ed)Application and Theory of Petri Nets 1993, vol. 691, 1–16. Springer, Heidelberg, Germany.
51. Aalst W (1998) The Application of Petri Nets to Workflow Management. J Circuits Syst Comput 8(1): 21–66.
52. Kindler E, Aalst W (1999) Liveness, Fairness, and Recurrence. Inform Process Lett 70(6): 269–274.
53. Verbeek H, Basten T, Aalst W (2001) Diagnosing Workflow Processes using Woflan. Comput J 44(4): 246–279.
54. Angelov S, Grefen P (2003) The 4W framework for B2B e-contracting. Int J Netw Virtual Organizations 2(1): 78–97.
55. Aalst W (2000) Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?. BETA Working Paper Series, WP 46, Eindhoven University of Technology, Eindhoven.
56. 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–232. Springer.
57. Russell N, Ter Hofstede AH, Edmond D, van der Aalst WM (2005) Workflow data patterns: Identification, representation and tool support In: Conceptual Modeling–ER 2005, 353–368. Springer.
58. Norta A, Hendrix M, Grefen P (2006) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, and ODBASE. In: Meersman R Tari Z. (eds)Lecture Notes in Computer Science, vol. 4277, 834–843. LNCS Springer, Montpellier, France.
59. Aalst W, Kumar A (2003) XML Based Schema Definition for Support of Inter-organizational Workflow. Inform Syst Res 14(1): 23–47.
60. Workflow Patterns Home Page. http://workflowpatterns.com/.
61. 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–29.
62. 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.
63. Kiepuszewski B, Hofstede A, Aalst W (2003) Fundamentals of Control Flow in Workflows. Acta Informatica 39(3): 143–209.
64. 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–45. Informs, Linthicum, MD.
65. Aalst W (1997) Verification of Workflow Nets. In: Azéma P Balbo G (eds)Application and Theory of Petri Nets 1997, 407–426. Springer, Heidelberg, Germany.
66. Billington J, Christense S, Van Hee K, Kindler E, Kummer O, Petrucci L, Post R (2003) The Petri Net Markup Language: Concepts, Technology, and Tools. In: Aalst W Best E (eds)Proc. of the 24th International Conference, ICATPN 2003, Lecture Notes in Computer Science, 483–505. Springer, Eindhoven, The Netherlands.
67. LIP, 6 (2015) Welcome to PNML.org. http://www.pnml.org/.
68. 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.
69. Norta A (2004) Web supported enactment of petri-net based workflows with XRL/Flower. In: Cortadella J Reisig W (eds)Proc. of the 25th International Conference on the Application and Theory of Petri Nets 2004. Lecture Notes in Computer Science, 494–503. Springer, Bologna, Italy.
70. Verbeek H, Basten T, Aalst W (2001) Diagnosing Workflow Processes Using Woflan. Comput J Br Comput Soc 44(4): 246–279.
71. 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–222. Springer. doi:10.1007/978-3-540-75698-9_14. http://dx.doi.org/10.1007/978-3-540-75698-9_14.
72. 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–50. Springer. doi:10.1007/978-3-540-77351-1_4. http://dx.doi.org/10.1007/978-3-540-77351-1_4.
73. Roman D, Kifer M (2008) Semantic web service choreography: Contracting and enactment In: The Semantic Web-ISWC 2008, 550–566. Springer.
74. 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–54. Springer. doi:10.1007/978-3-642-01364-5_3. http://dx.doi.org/10.1007/978-3-642-01364-5_3.
75. Ossowski S (2013) Agreement Technologies:Law, Governance and Technology. Springer.