Integration of business process modeling and Web services: A survey

Service Oriented Computing and Applications

Volumn 8, Issue 2, 2014, Pages 105-128

  Grolinger, Katarina ^a   Capretz, Miriam A M ^a   Cunha, Americo ^b   Tazi, Said ^c,d  

^a UNIVERSITY OF WESTERN ONTARIO   (Canada)

^b SHERIDAN COLLEGE   (Canada)

^c LAAS CNRS   (France)

^d UNIVERSITY OF TOULOUSE CAPITOLE   (France)

Author keywords

Business process modeling; Model transformations; Ontology; Semantic Web services; Web based services

Indexed keywords

INDUSTRIAL ENGINEERING; NETWORK ARCHITECTURE; ONTOLOGY; SEMANTIC WEB; SYSTEMS ENGINEERING; WEB SERVICES;

BUSINESS PROCESS MODEL; BUSINESS PROCESS MODELING NOTATION (BPMN); MODEL TRANSFORMATION; REPRESENTATIONAL STATE TRANSFER; SIMPLE OBJECT ACCESS PROTOCOLS; WEB ONTOLOGY LANGUAGE FOR SERVICE; WEB SERVICE MODELING ONTOLOGIES; WEB-BASED SERVICE;

WEBSITES;

EID: 84901196940     PISSN: 18632386     EISSN: 18632394     Source Type: Journal    
DOI: 10.1007/s11761-013-0138-2     Document Type: Review

References (106)

1. Akkiraju R, Farrell J, Miller JA, Nagarajan M, Sheth A, Verma K (2006) Web service semantics WSDL-S, IBM research report. http://domino. research. ibm. com/library/cyberdig. nsf/0/ef9fe52551fb21dc8525710d005a8480?OpenDocument.
2. Alowisheq A, Millard DE, Tiropanis T (2009) EXPRESS: EXPressing REstful semantic services using domain ontologies. In: Proceedings of the 8th international semantic web conference.
3. Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (2003) Business process execution language for Web services 1. 1. http://msdn. microsoft. com/en-US/library/ee251594%28v=bts. 10%29. aspx.
4. Ankolekar A, Burstein M, Hobbs JR, Lassila O, Martin D, McDermott D, McIlraith SA (2002) DAML-S: web service description for the semantic web. In: Proceedings of the first international conference on web services, pp 348-363.
5. Archer P, Smith K, Perego A (2009) Protocol for Web description resources (POWDER): description resources, W3C recommendation. http://www. w3. org/TR/powder-dr/.
6. Arkin A (2002) BPML specification. http://www. bpmi. org/downloads/spec_down_bpml. htm.
7. Armando A, Ponta SE (2010) Model checking of security-sensitive business processes. Formal aspects in security and trust. Springer, Berlin.
8. Aslam MA, Auer S, Shen J, Herrmann M (2006) Expressing business process models as OWL-S ontologies. In: Proceedings of the business process management workshops, pp 400-415.
9. Battle R, Benson E (2008) Bridging the semantic Web and Web 2. 0 with representational state transfer (REST). Web Semant: Sci Serv Agents World Wide Web 6(1): 61-69.
10. Bentahar J, Yahyaoui H, Kova M, Maamar Z (2013) Symbolic model checking composite Web services using operational and control behaviors. Expert Syst Appl 40(2): 508-522.
11. Berners-Lee T, Fischetti M (1999) Weaving the web: the original design and ultimate destiny of the World Wide Web by its inventor. Harper, San Francisco.
12. Booth D, Liu CK (2007) Web services description language (WSDL), version 2. 0, W3C recommendation. http://www. w3. org/TR/2007/REC-wsdl20-primer-20070626/.
13. Bordbar B, Howells G, Evans M, Staikopoulos A (2007) Model transformation from OWL-S to BPEL via SiTra. In: Proceedings of the third European conference model-driven architecture: foundations and applications, pp 43-58.
14. Brogi A, Popescu R (2006) From BPEL processes to YAWL workflows. In: Proceedings of the third international workshop on web services and formal methods, pp 107-122.
15. Cabral L, Domingue J (2009) Translating semantic web service based business process models. In: Proceedings of the IEEE Asia-Pacific services computing conference, pp 1-6.
16. Cabral L, Norton B, Domingue J (2009) The business process modelling ontology. In: International workshop on semantic business process management (SBPM 2009) at European semantic web conference (ESWC 2009).
17. Chen-Burger Y, Tate A, Robertson D (2002) Enterprise modelling: a declarative approach for FBPML. In: Proceedings of the ECAI'02 workshop on knowledge management and organizational memories.
18. Cheng J, Gruninger M, Sriram RD, Law KH (2003) Process specification language for project information exchange. Int J IT Archit Eng Constr 1(4): 307-328.
19. Davies J, Studer R, Warren P (2006) Semantic web technologies: trends and research in ontology-based systems. Wiley, NJ.
20. de Bruijn J, Bussler C, Domingue J, Fensel D, Hepp M, Keller U, Kifer M (2005) Web service modeling ontology (WSMO), W3C submission. http://www. w3. org/Submission/WSMO/.
21. de Bruijn J, Fensel D, Kifer M, Kopeck J, Lara R, Lausen H, Polleres A, Roman D, Scicluna J, Toma I (2005) Relationship of WSMO to other relevant technologies, W3C submission. http://www. w3. org/Submission/WSMO-related/.
22. Decker G, Dijkman R, Dumas M, García-Bañuelos L (2008) Transforming BPMN diagrams into YAWL nets. In: Proceedings of the 6th international conference on business processes management, pp 386-389.
23. Delgado A, Ruiz F, de Guzmán IGR, Piattini M (2010) Towards an ontology for service oriented modeling supporting business processes. In: Proceedings of the fourth international conference on research challenges in information science, pp 415-424.
24. Dumas M, van der Aalst WM, ter Hofstede AH (2006) Process-aware information systems: bridging people and software through process technology. Wiley-Interscience, Hoboken.
25. Dustdar S, Schreiner W (2005) A survey on web services composition. Int J Web Grid Serv 1(1): 1-30.
26. Eindhoven University of Technology. WofYAWL tool. http://www. win. tue. nl/woflan/doku. php?id=yawl.
27. Essi, WSML Working Group (2008) The Web service modeling language WSML specification. http://www. wsmo. org/wsml/wsml-syntax.
28. Fahland D, Favre C, Koehler J, Lohmann N, Völzer H, Wolf K (2011) Analysis on demand: instantaneous soundness checking of industrial business process models. Data Knowl Eng 70(5): 448-466.
29. Farrell J, Lausen H (2007) Semantic annotations for WSDL and XML schema. http://www. w3. org/TR/sawsdl/.
30. Feier C, Roman D, Polleres A, Domingue J, Stollberg M, Fense D (2005) Towards intelligent web services: web service modeling ontology. In: Proceedings of the international conference on intelligent computing.
31. Fensel D, Facca FM, Simperl E, Toma I (2011) Semantic web services. Springer, Berlin.
32. Fielding R (2000) Architectural styles and the design of network-based software architectures, chapter 5: representational state transfer (REST). http://www. ics. uci. edu/~fielding/pubs/dissertation/rest_arch_style. htm.
33. García-Bañuelos L (2008) Pattern identification and classification in the translation from BPMN to BPEL. In: Proceedings on the move to meaningful internet systems, confederated international conferences, CoopIS, DOA, GADA, IS, and ODBASE, pp 436-444.
34. Girault C, Valk R (2003) Petri nets for systems engineering: a guide to modeling, verification, and applications. Springer, New York.
35. Gomadam K, Ranabahu A, Sheth A (2010) SA-REST: semantic annotation of Web resources, W3C submission http://www. w3. org/Submission/SA-REST/.
36. Gruninger M, Menzel C (2003) The process specification language (PSL): theory and applications. AI Mag 24(3): 63-74.
37. Gudgin M, Hadley M, Mendelsohn N, Moreau JJ, Nielsen HF, Karmarkar A, Lafon Y (2007) SOAP, version 1. 2, part 1: messaging framework, W3C recommendation. http://www. w3. org/TR/soap12-part1/#intro.
38. Guo L (2010) B2B collaboration through Web services-based multi-agent system. Serv Comput Appl 4(2): 137-153.
39. Guo L, Chen-Burger Y, Robertson D (2004) Mapping a business process model to a semantic web service model. In: Proceedings of the IEEE international conference on web services, pp 746-749.
40. Hadley M (2009) Web application description language, W3C submission. http://www. w3. org/Submission/wadl/.
41. Haller A, Gaaloul W, Marmolowski M (2008) Towards an XPDL compliant process ontology. In: Proceedings of IEEE congress on services-part I, pp 83-86.
42. Hull R, Su J (2005) Tools for composite Web services: a short overview. ACM SIGMOD Record 34(2): 86-95.
43. Khorasgani RR, Stroulia E, Zaiane OR (2011) Web service matching for RESTful Web services. In: Proceedings of the 13th IEEE international symposium on web system evolution, pp 115-124.
44. Klai K, Desel J (2012) Checking soundness of business processes compositionally using symbolic observation graphs. Formal Tech Distrib Syst 7273(Form Tech for Distrib Syst): 67-83.
45. Knuplesch D, Ly LT, Rinderle-Ma S, Pfeifer H, Dadam P (2010) On enabling data-aware compliance checking of business process models. In: Proceedings of the 29th international conference on conceptual modeling 6412, 332-346.
46. Ko RKL, Lee SSG, Lee EW (2009) Business process management (BPM) standards: a survey. Bus Process Manag J 15(5): 744-791.
47. Ko RKL (2009) A computer scientist's introductory guide to business process management (BPM). ACM Crossroads 15(4): 4-18.
48. Kopecký J, Gomadam K, Vitvar T (2008) hRESTS: an HTML microformat for describing RESTful web services. In: Proceedings of the IEEE/WIC/ACM international conference on web intelligence and intelligent agent technology.
49. Lara R, Polleres A, Lausen H, Roman D, de Bruijn J, Fensel D (2005) A conceptual comparison between WSMO and OWL-S. http://www. wsmo. org/2004/d4/d4. 1/v0. 1/20050106/d4. 1v0. 1_20050106. pdf.
50. Lee J, Kim K, Kim H, Kim C, Seo W (2011) Condition-based process patterns for modeling of human processes in knowledge-intensive business services. Expert Syst Appl 38(4): 4025-4038.
51. Le D, Ong CJD, Goh AES (2009) Converting WSMO to OWL-S system. In: Proceedings of the IEEE Asia-Pacific services computing conference, pp 7-12.
52. Lin Y, Strasunskas D, Hakkarainen S, Krogstie J, Solvberg A (2006) Semantic annotation framework to manage semantic heterogeneity of process models. Advanced information systems engineering. Springer, Berlin.
53. Lin Y, Ding H (2005) Ontology-based semantic annotation for semantic interoperability of process models. In: Proceedings of the international conference on computational intelligence for modelling, control and automation.
54. Lohmann N, Verbeek E, Dijkman R (2009) Petri net transformations for business processes-a survey. Transactions on petri nets and other models of concurrency II. pp 46-63.
55. Lomuscio A, Qu H, Solanki M (2012) Towards verifying contract regulated service composition. Auton Agents Multi-Agent Syst 24(3): 345-373.
56. Mangler J, Schikuta E, Witzany C (2009) Quo vadis interface definition languages? Towards a interface definition language for RESTful services. In: Proceedings of the IEEE international conference on service-oriented computing and applications.
57. Martin D, Burstein M, Hobbs J, Lassila O, McDermott D, McIlraith S, Narayanan S, Paolucci M, Parsia B, Payne T, Sirin E, Srinivasan N, Sycara K (2004) OWL-S: semantic markup for Web services, W3C submission. www. w3. org/Submission/OWL-S/.
58. Mayer RJ, Menzel CP, Painter MK, deWitte PS, Blinn T, Perakath B (1995) Information integration for concurrent engineering (IICE) IDEF3 process description capture method report. http://www. idef. com/pdf/Idef3_fn. pdf.
59. Meertens LO, Iacob M, Eckartz SM (2010) Feasibility of EPC to BPEL model transformations based on ontology and patterns. Lect Notes Bus Inform Process 43: 347-358.
60. Mendling J, Lassen KB, Zdun U (2008) On the transformation of control flow between block-oriented and graph-oriented process modeling languages. Int J Bus Process Integr Manag 3(2): 96-108.
61. Mendling J, Nüttgens M (2004) Transformation of ARIS markup language to EPML. In: Proceedings of the 3rd GI workshop on event-driven process chains, pp 27-38.
62. Mendling J, Nüttgens M (2008) Vorwort: XML integration and transformation for business process management (XML4BPM). In: Proceedings Multikonferenz Wirtschaftsinformatik.
63. Mendling J, Ziemann J (2005) Transformation of BPEL processes to EPCs. In: Proceedings 4th GI workshop on event-driven process chains.
64. Milner R (1999) Communicating and mobile systems: the Pi calculus. Cambridge University Press, Cambridge.
65. Morimoto S (2008) A survey of formal verification for business process modeling. Computational science. Springer, Berlin.
66. Nadarajan G, Chen-Burger Y-H (2007) Translating a typical business process modelling language to a web services ontology through lightweight mapping. IET Softw 1(1): 1-17.
67. Norton B, Cabral L, Nitzsche J (2009) Ontology-based translation of business process models. In: Proceedings of the international conference on internet and web applications and services, pp 481-486.
68. OASIS Business Process Project Team (2001) ebXML business process specification schema, version 1. 01. http://www. ebxml. org/specs/ebBPSS. pdf.
69. OASIS consortium (2007) Web services business process execution language, version 2. 0. http://docs. oasis-open. org/wsbpel/2. 0/OS/wsbpel-v2. 0-OS. html.
70. Object Management Group (OMG) (2010) Business process model and notation (BPMN). http://www. omg. org/spec/BPMN/.
71. Ouyang C, Dumas M, ter Hofstede AHM, van der Aalst WMP (2008) Pattern-based translation of BPMN process models to BPEL Web services. Int J Web Serv Res 5(1): 42-62.
72. Ouyang C, Dumas M, ter Hofstede AHM, van der Aalst WMP (2006) From BPMN process models to BPEL Web services. In: Proceedings of the fourth international conference on web services, pp 285-292.
73. Paolucci M, Srinivasan N, Sycara K, Nishimura T (2003) Toward a semantic choreography of web services: from WSDL to DAML-S. In: Proceedings of the first international conference on web services, pp 22-26.
74. Papazoglou MP, Kratz B (2007) Web services technology in support of business transactions. Serv Comput Appl 1(1): 51-63.
75. Pautasso C (2008) BPEL for REST. Springer, Berlin.
76. Pautasso C (2009) RESTful Web service composition with BPEL for REST. Data Knowl Eng 68(9): 851-866.
77. Peng Y, Ma S, Lee J (2009) REST2SOAP: a framework to integrate SOAP services and RESTful services. In: Proceedings of the IEEE international conference on service-oriented computing and applications.
78. Perego A, Konstantopoulos S, Archer P (2010) Protocol for web description resources (POWDER): POWDER-S vocabulary (WDRS). http://www. w3. org/2007/05/powder-s.
79. Rao J, Su X (2005) A survey of automated web service composition methods. Semantic web services and web process composition, Springer, Berlin.
80. Richardson L, Ruby S (2007) RESTful web services. O'Reilly Media, Portland.
81. Roman D, Keller U, Lausen H, de Bruijn J, Lara R, Stollberg M, Polleres A, Feier C, Bussler C, Fensel D (2005) Web service modeling ontology. Appl Ontol 15(1): 77-106.
82. Schlenoff C, Gruninger M, Ciocoiu M, Lee J (1999) The essence of the process specification language. Trans Soc Comput Simul Int 16(4): 204-216.
83. Schlenoff C, Ciocoiu M, Libes D, Gruninger M (1999) Process specification language (PSL): results of the first pilot implementation. In: Proceedings international mechanical engineering congress & exposition.
84. Scicluna J, Lara R, Polleres A, Lausen H (2004) Formal mapping and tool to OWL-S. WSMO Working Group Report.
85. Shen J, Yang Y, Lalwani B (2004) Mapping web services specifications to process ontology: opportunities and limitations. In: Proceedings of the 10th IEEE international workshop on future trends of distributed computing systems, pp 235-235.
86. Shen J, Yang Y, Zhu C, Wan C (2005) From BPEL4WS to OWL-S: integrating e-business process descriptions. In: Proceedings of IEEE international conference on service computing 1, 181-188.
87. Studer R, Benjamins VR, Fensel D (1998) Knowledge engineering: principles and methods. Data Knowl Eng 25(1-2): 161-197.
88. Studer R, Abecker A, Grimm S (2007) Semantic web services: concepts, technologies, and applications. Springer, Berlin.
89. SWSL Committee (2005) Semantic Web services framework (SWSF). http://www. daml. org/services/swsf/1. 0/.
90. Tang L, Dong J, Peng T, Tsai W (2010) Modeling enterprise service-oriented architectural styles. Serv Comput Appl 4(2): 81-107.
91. Upadhyaya B, Zou Y, Xiao H, Ng J, Lau A (2011) Migration of SOAP-based services to RESTful services. In: Proceedings of the 13th IEEE international symposium on web systems evolution (WSE), pp 105-114.
92. Valiente M, Garcia-Barriocanal E, Sicilia M (2012) Applying an ontology approach to IT service management for business-IT integration. Knowl-Based Syst 28: 76-87.
93. van der Aalst WMP (2013) Business process management: a comprehensive survey. ISRN Softw Eng 2013.
94. van der Aalst WMP, ter Hofstede AHM, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Databases 14(1): 5-51.
95. van der Aalst WMP, ter Hofstede AHM (2005) YAWL: yet another workflow language. Inf Syst 30(4): 245-275.
96. van der Aalst W, ter Hofstede A, Weske M (2003) Business process management: a survey. In: Proceedings of the international conference on business process management 2678, 1-12.
97. Vanderhaeghen D, Zang S, Hofer A, Adam O (2005) XML-based transformation of business process models-enabler for collaborative business process management. In: Proceedings of the second GI workshop XML for business process management (XML4BPM).
98. Wand Y, Weber R (1990) An ontological model of an information system. IEEE Trans Softw Eng 16(11): 1282-1292.
99. Wang S, Capretz MAM, El Yamany HF (2009) Semantic profile based service discovery for abstract process composition. In: Proceedings of the international conference on e-Business, pp 258-263.
100. Weber I, Hoffmann J, Mendling J (2010) Beyond soundness: on the verification of semantic business process models. Distrib Parallel Databases 27(3): 271-343.
101. Weidlich M, Decker G, Grosskopf A, Weske M (2008) BPEL to BPMN: the myth of a straight-forward mapping. In: Proceedings on the move to meaningful internet systems, confederated international conferences, CoopIS, DOA, GADA, IS, and ODBASE, pp 265-282.
102. White SA (2005) Using BPMN to model a BPEL process. http://www. bpmn. org/Documents/Mapping_BPMN_to_BPEL_Example. pdf.
103. Workflow Management Coalition (2008) XPDL, XML process definition language. http://www. wfmc. org/xpdl. html.
104. Ye J, Sun S, Wen L, Song W (2008) Transformation of BPMN to YAWL. In: Proceedings international conference on computer science and software engineering 2, 354-359.
105. Yeung WL (2011) A formal and visual modeling approach to choreography based Web services composition and conformance verification. Expert Syst Appl 38(10): 12772-12785.
106. Ziemann J, Mendling J (2005) EPC-based modelling of BPEL processes: a pragmatic transformation approach. In: Proceedings of the 13th international conference on modern information technology in the innovation processes of the industrial enterprises.