A formal and visual modeling approach to choreography based web services composition and conformance verification

Expert Systems with Applications

Volumn 38, Issue 10, 2011, Pages 12772-12785

  Yeung, W L ^a  

^a LINGNAN UNIVERSITY   (Hong Kong)

Author keywords

Choreography; Conformance verification; Contract negotiation; Model checking; Orchestration; Web services

Indexed keywords

B2B COLLABORATION; BUILDING BLOCKES; BUSINESS PARTNERS; BUSINESS PROCESS INTEGRATION; BUSINESS PROCESS MANAGEMENT; CHOREOGRAPHY; COLLABORATIVE PROCESS; CONFORMANCE VERIFICATION; CONTRACT NEGOTIATION; ENTERPRISE APPLICATION INTEGRATION; FORMAL APPROACH; ORCHESTRATION; PROCESS INTEGRATION; SERVICE ORIENTED; VISUAL MODELING; WEB SERVICES COMPOSITION; WS-BPEL;

ENTERPRISE RESOURCE MANAGEMENT; INFORMATION SERVICES; INTEGRATION; MODEL CHECKING; SERVICE ORIENTED ARCHITECTURE (SOA); USER INTERFACES;

WEB SERVICES;

EID: 79957995532     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2011.04.068     Document Type: Article

References (63)

1. T. Al-Naeem Systematic Approaches for Designing B2B Applications International Journal of Electronic Commerce 9 2 2004-05 41 70 Winter (Pubitemid 40335276)
2. C.C. Albrecht, D.L. Dean, and J.V. Hansen Marketplace and technology standards for b2b e-commerce: Progress, challenges, and the state of the art Information & Management 42 6 2005 865 875 (Pubitemid 40788757)
3. M. Baldoni A priori conformance verification for guaranteeing interoperability in open environments A. Dan, W. Lamersdorf, Proceedings of the international conference on service-oriented computing 2006 Springer Chicago, IL, USA 339 351
4. A. Barros, M. Dumas, and P. Oaks Standards for web services choreography and orchestration: Status and perspectives BPM 2005 International Workshops, BPI, BPD, ENEI, BPRM, WSCOBPM, BPS, Nancy, France, September 5, 2005 LNCS Vol. 3812 2006 Springer 61 74 Revised Selected Papers
5. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi UPPAAL - A tool suite for automatic verification of real-time systems O. Maler, Proceedings of the DIMACS/SYCON workshop on hybrid systems III: Verification and control 1996 Springer-Verlag/New York, Inc. Secaucus, NJ, USA 232 243 (Pubitemid 126066706)
6. T. Berners-Lee, J. Hendler, and O. Lassila The semantic web Scientific American 284 5 2001 34 43
7. Briais, S. (2007). Advanced Bisimulation Checker (ABC). .
8. C. Bussler B2B integration: Concepts and architecture 2003 Springer-Verlag/New York, Inc. Secaucus, NJ, USA
9. Cambronero, M. E., Díaz, G., Valero, V., & Martínez, E. (2008). A tool for the design and verification of composite web services. In Pace, G. J., Schneider, G. (Eds.), Proceedings of second workshop on formal languages and analysis of contract-oriented software, November 2008, Malta (pp. 9-16).
10. M. Chen, D. Zhang, and L. Zhou Empowering collaborative commerce with web services enabled business process management systems Decision Support Systems 43 2 2007 530 546 (Pubitemid 46223603)
11. Y. Chi, and H. Lee A formal modeling platform for composing web services Expert Systems with Applications 34 2 2008 1500 1507 (Pubitemid 350117516)
12. E.M. Clarke Jr., O. Grumberg, and D.A. Peled Model checking 1999 The MIT Press
13. W.V. der Aalst, and K.V. Hee Workflow management: Models, methods, and systems 2004 MIT Press
14. N. Desai, A.U. Mallya, A.K. Chopra, and M.P. Singh Interaction protocols as design abstractions for business processes IEEE Transactions on Software Engineering 31 12 2005 1015 1027
15. O. Fodor, and H. Werthner Harmonise: A step toward an interoperable e-tourism marketplace International Journal of Electronic Commerce 9 2 2004-05 11 39 (Pubitemid 40335275)
16. H. Foster, S. Uchitel, J. Magee, and J. Kramer Tool support for model-based engineering of web service compositions ICWS '05: Proceedings of the IEEE international conference on web services 2005 IEEE Computer Society Washington, DC, USA 95 102 (Pubitemid 44460197)
17. F. Garci-Sáchez, R. Valencia-Garcia, R. Mart?Ez-Béjar, and J.T. Fernádez-Breis An ontology, intelligent agent-based framework for the provision of semantic web services Expert Systems with Applications 36 2, Part 2 2009 3167 3187
18. S. Gosain, A. Malhotra, O.A.E. Sawy, and F. Chehade The impact of common e-business interfaces Communications on ACM 46 12 2003 186 195
19. J. He, and C. Hoare Algebraic specification and proof of a distributed recovery algorithm Distributed Computing 2 1987 1 12 (Pubitemid 17589669)
20. C.A.R. Hoare Communicating sequential processes 1985 Prentice Hall
21. G. Holzmann The model check SPIN IEEE Transactions on Software Engineering 23 5 1997 279 295
22. B. Jeong, H. Cho, and C. Lee On the functional quality of service (FQoS) to discover and compose interoperable web services Expert Systems With Applications 36 3P1 2009 5411 5418
23. Kavantzas, N., et al., 2005. Web services choreography description language version 1.0. .
24. J. Kim, and H. Kim Semantic constraint specification and verification of ebXML business process specifications Expert Systems with Applications 27 4 2004 571 584
25. J.B. Kim, and A. Segev A web services-enabled marketplace architecture for negotiation process management Decision Support Systems 40 2005 71 87 (Pubitemid 40245633)
26. J. Koehler, G. Tirenni, and S. Kumaran From business process model to consistent implementation: A case for formal verification methods EDOC '02: Proceedings of the sixth international enterprise distributed object computing conference (EDOC'02) 2002 IEEE Computer Society Washington, DC, USA 96
27. U. Küter, B. Köig-Ries, M. Klein, and M. Stern DIANE: A matchmaking-centered framework for automated service discovery, composition, binding, and invocation on the web International Journal of Electronic Commerce 12 2 2007-08 41 68
28. O.B. Kwon Meta web service: Building web-based open decision support system based on web services Expert Systems with Applications 24 4 2003 375 389
29. R.S. Lazić, and A.W. Roscoe Data independence with generalised predicate symbols Proceedings of the international conference on parallel and distributed processing techniques and applications Vol. I 1999 CSREA Press 319 325
30. S. Lee, T. Kim, D. Kang, K. Kim, and J. Lee Composition of executable business process models by combining business rules and process flows Expert Systems with Applications 33 1 2007 221 229 (Pubitemid 44959932)
31. B. Lim, and H.J. Wen Web services: An analysis of the technology, its benefits, and implementation difficulties Information Systems Management 2003 49 57 Spring (Pubitemid 36341360)
32. R. Lucchi, and M. Mazzara A Pi-calculus based semantics for WS-BPEL Journal of Logic and Algebraic Programming 70 1 2007 96 118 (Pubitemid 44647974)
33. A. Martens Consistency between executable and abstract processes Proceedings of international IEEE conference on e-technology, e-commerce, and e-services (EEE'05) 2005 IEEE Computer Society Press Hong Kong
34. P. Mayer, A. Schroeder, and N. Koch A model-driven approach to service orchestration SCC '08: Proceedings of the 2008 IEEE international conference on services computing 2008 IEEE Computer Society Washington, DC, USA 533 536
35. J. Mendling, and M. Hafner From inter-organizational workflows to process execution: Generating BPEL from WS-CDL R. Meersman, Z. Tari, P. Herrero, Proceedings on the move to meaningful internet systems 2005: OTM workshops 2005 Springer 506 515 (Pubitemid 43735224)
36. N. Milanovic, and M. Malek Current solutions for web service composition IEEE Internet Computing 2004 51 59 (Pubitemid 40043367)
37. M.B. Murtaza, V. Gupta, and R.C. Carroll E-marketplaces and the future of supply chain management: Opportunities and challenges Business Process Management Journal 10 3 2004 325 335
38. J. O'Connell, J. Pyke, and R. Whitehead Mastering your organization's processes: A plain guide to business process management 2006 Cambridge University Press
39. A. Ordanini What drives market transactions in b2b exchanges? Communications of ACM 49 4 2006 89 93
40. J. Ouaknine Digitisation and full abstraction for dense real-time model checking J.-P. Katoen, P. Stevens, Proceedings of TACAS 2002 LNCS Vol. 2280 2002 Springer 37 51
41. C. Ouyang, M. Dumas, S. Breutel, and A.T. Hofstede Translating standard process models to BPEL E. Dubois, K. Pohl, Proceedings of CAiSE 2006 2006 Springer 417 432 (Pubitemid 44071223)
42. G. Pedraza, and J. Estublier Distributed orchestration versus choreography: The FOCAS approach Q. Wang, V. Garousi, R. Madachy, D. Pfahl, Trustworthy software development processes: Proceedings of international conference on software process ICSP 2009 2009 Springer Vancouver, Canada 75 86
43. C. Peltz Web services orchestration and choreography Computer 2003 46 52
44. M.E. Porter, and V.E. Millar How information gives you competitive advantage Harvard Business Review 63 4 1985 149 160
45. M. Rebstock, P. Thun, and O.A. Tafreschi Supporting interactive multi-attribute electronic negotiations with ebXML Group Decision and Negotiation 12 2003 269 286
46. A.W. Roscoe The theory and practice of concurrency 1998 Prentice Hall
47. 20 dining philosophers for deadlock E. Brinksma, Proceedings of tools and algorithms for the construction and analysis of systems (TACAS'95). Lecture notes in computer science 1995 Springer 133 152 (Pubitemid 126004025)
48. P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe Modelling and analysis of security protocols 2001 Addison Wesley
49. S. Schneider Concurrent and real-time systems: The CSP approach 2000 John Wiley
50. K. Sivashanmugam, J.A. Miller, A.P. Sheth, and K. Verma Framework for semantic web process composition International Journal of Electronic Commerce 9 2 2004-05 71 106 (Pubitemid 40335277)
51. V. Valero, M.E. Cambronero, G. Díaz, and H. Macia A petri net approach for the design and analysis of web services choreographies Journal of Logic and Algebraic Programming 78 5 2008 9 16
52. W.M.P. van der Aalst, and A.H.M. ter Hofstede YAWL: Yet another workflow language Information Systems 30 4 2005 245 275 (Pubitemid 40415107)
53. S. Wang, W. Shen, and Q. Hao An agent-based web service workflow model for inter-enterprise collaboration Expert Systems with Applications 31 4 2006 787 799 (Pubitemid 44080560)
54. I. Weber, J. Haller, and J.A. Mülle Automated derivation of executable business processes from choreographies in virtual organizations International Journal of Business Process Integration and Management 3 2 2008 85 95
55. W.L. Yeung CSP-based verification for web service orchestration and choreography Simulation 83 1 2007 65 74 (Pubitemid 46909511)
56. W.L. Yeung, K.R.P.H. Leung, J. Wang, and W. Dong Modelling and model checking suspendible business processes via statechart diagrams and CSP Science of Computer Programming: Special Issue on Increasing Adequacy & Reliability of EIS 65 1 2007 14 29 (Pubitemid 46187302)
57. W.L. Yeung, and S.A. Schneider Design and verification of distributed recovery blocks with CSP Formal Methods in System Design 22 3 2003 225 248
58. W.L. Yeung, and S.A. Schneider Formal verification of fault-tolerant software design: The CSP approach Microprocessors and Microsystems 29 5 2005 197 209 (Pubitemid 40612818)
59. T. Yoo, B. Jeong, and H. Cho A petri nets based functional validation for services composition Expert Systems with Applications 37 5 2010 3768 3776
60. M. Younas, I. Awan, and D. Duce An efficient composition of web services with active network support Expert Systems with Applications 31 4 2006 859 869 Computer supported cooperative work in design and manufacturing (Pubitemid 44080565)
61. J.L. Zhao, and H.K. Cheng Web services and process management: A union of convenience or a new area of research? Decision Support Systems 40 2005 1 8 (Pubitemid 40245629)
62. X. Zhao, H. Yang, and Z. Qiu Towards the formal model and verification of web service choreography description language Proceedings of WS-FM 2006 2006 Springer 273 287 (Pubitemid 44849765)
63. M. zur Muehlen, J.V. Nickerson, and K.D. Swenson Developing web services choreography standards - The case of REST vs SOAP Decision Support Systems 40 1 2004 9 29 (Pubitemid 40245630)