DENEB: A platform for the development and execution of interoperable dynamic Web processes

Concurrency and Computation: Practice and Experience

Volumn 23, Issue 18, 2011, Pages 2421-2451

  Fabra, J ^a   Alvarez P ^a   Banares J A ^a   Ezpeleta, J ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

dynamic approaches to integration; interaction protocols; Linda coordination; Petri nets; process composition; service oriented architectures

Indexed keywords

INFORMATION SERVICES; INTERNET PROTOCOLS; MEMORY ARCHITECTURE; NETWORK ARCHITECTURE; PETRI NETS;

COMPOSITION LANGUAGES; DYNAMIC APPROACHES; DYNAMIC BUSINESS PROCESS; DYNAMIC SERVICE COMPOSITION; INTER-ACTION PROTOCOLS; LINDA COORDINATION; PROCESS COMPOSITIONS; SERVICE ORIENTED COMPUTING;

SERVICE ORIENTED ARCHITECTURE (SOA);

EID: 81155152594     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.1795     Document Type: Article

References (62)

1. Papazoglou M, Traverso P, Dustdar S, Leymann F,. Service-oriented computing: a research roadmap. Technical Report, Information Society Technologies-Software Technologies (ST), 2006.
2. Mecella M, Pernici B, Craca P,. Compatibility of e-services in a cooperative multi-platform environment. In Tes '01: Proceedings of the 2nd International Workshop on Technologies for E-Services. Springer-Verlag: London, 2001; 44-57. (Pubitemid 33347075)
3. Schmidt R,. Web services based architectures to support dynamic inter-organizational business processes. In ICWS-Europe. Vol. 2853, Jeckle M, Zhang L-J, (eds), Lecture Notes in Computer Science. Springer, 2003; 123-136.
4. Meng J, Su SYW, Lam H, Helal A,. Achieving dynamic inter-organizational workflow management by integrating business processes, events and rules. Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS), 7-10 January 2002.
5. Peltz C,. Web Service Orchestration and Choreography. A look at WSCI and BPEL4WS. Web Services Journal 2003; 3 (7): 1-5.
6. Hanson JE, Nandi P, Kumaran S,. Conversation support for business process integration. In EDOC '02: Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC'02). IEEE Computer Society: Washington, DC, 2002; 65.
7. Hanson JE, Nandi P, Levine DW,. Conversation-enabled Web services for agents and e-business, International Conference on Internet Computing, 2002; 791-796.
8. Ardissono L, Petrone G, Segnan M,. Enabling flexible interaction with Web services. Extending Web Service Technologies: The Use of Multi-Agent Approaches. Springer Verlag: Berlin, Germany, 2004.
9. Desai N, Mallya AU, Chopra AK, Singh MP,. OWL-P: a methodology for business process development. In 7th International Bi-Conference Workshop on Agent-Oriented Information Systems III-AOIS2005. Vol. 3529, Kolp M, Bresciani P, Henderson-Sellers B, Winikoff M, (eds), Lecture Notes in Computer Science. Springer: New York, NY, 2005; 79-94.
10. Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S,. Business Process Execution Language for Web Services (BPEL4WS). Technical Report, BEA Systems, IBM, Microsoft, SAP AG and Siebel Systems, May 2003.
11. Khalaf R, Keller A, Leymann F,. Business processes for Web services: principles and applications. IBM Systems Journal 2006; 45: 425-446. (Pubitemid 44111098)
12. Fabra J, Álvarez P, Bañares JA, Ezpeleta J,. A framework for the development and execution of horizontal protocols in open BPM systems. In 4th International Conference on Business Process Management-BPM'06. Vol. 4102, Lecture Notes in Computer Science. Springer Verlag: Berlin, Germany, 2006; 209-224. (Pubitemid 44568328)
13. Fabra J, Álvarez P, Bañares J, Ezpeleta J,. Runtime protocol binding: flexible service integration by means of flexible service interactions. In 2008 International Conference on Services Computing-SCC 2008. Lecture Notes in Computer Science. IEEE Computer Society Press, 2008; 291-298.
14. Valk R,. Object Petri nets: Using the nets-within-nets paradigm. In Lectures on Concurrency and Petri Nets: Advances in Petri Nets. Vol. 3098, Desel J, Reisig W, Rozenberg G, (eds), Lecture Notes in Computer Science. 2004; 819-848. (Pubitemid 39739377)
15. Huhns MN, Singh MP,. Service-oriented computing: key concepts and principles. IEEE Internet Computing 2005; 9: 75-81. DOI: 10.1109/MIC.2005.21. (Pubitemid 40351902)
16. Kavantzas N, Burdett D, Ritzinger G, Fletcher T, Lafon Y,. Web Service Choreography Description Language (WS-CDL). Technical Report, World Wide Web Consortium (W3C), 2004. Available in.
17. Ardissono L, Cardinio D, Petrone G, Segnan M,. A framework for the server-side management of conversations with Web services. In WWW Alt '04: Proceedings of the 13th International World Wide Web Conference on Alternate Track Papers & Posters. ACM Press: New York, NY, 2004; 124-133, DOI: 10.1145/1013367.1013389.
18. Benatallah B, Casati F, Toumani F,. Web service conversation modelling. A cornerstone for e-business automation. IEEE Internet Computing 2004; 8: 46-54.
19. Yi X, Kochut K,. Process composition of Web services with complex conversation protocols: a colored Petri nets based approach. Proceedings of the 2nd Symposium on Design, Analysis, and Simulation of Distributed Systems. 2004; 141-148.
20. Mecella M, Presicce FP, Pernici B,. Modeling e-services orchestration through Petri nets. In 3rd International Workshop on Technologies for E-Services (TES 2002). No. 2444 in Lecture Notes in Computer Science, Springer Verlag: London, 2002; 38-47.
21. Banerji A, et al., Conversation Definition Language (CDL). Technical Report, World Wide Web Consortium (W3C), 2002.
22. Fielding RT,. Architectural styles and the design of network-based software architectures. Technical Report, University of California, Irvine, 2002.
23. Kuno H, Lemon M,. A lightweight dynamic conversation controller for e-services. Technical Report, Hewlett-Packard Laboratories, 2001.
24. Biornstad B, Pautasso C, Alonso G,. Enforcing Web services business protocols at run-time: a process-driven approach. International Journal of Web Engineering and Technologies 2006; 2: 396-407.
25. Jung J, Hur W, Kang S, Kim H,. Business process choreography for B2B collaboration. IEEE Internet Computing 2004; 8: 37-45, DOI: 10.1109/MIC.2004. 1260702.
26. Leymann F,. Choreography for the Grid: towards fitting BPEL to the resource framework. Journal of Concurrency and Computation Practice and Experience 2006; 18: 1201-1217. (Pubitemid 44258505)
27. Heinis T, Pautasso C, Alonso G,. Design and evaluation of an autonomic workflow engine. In ICAC '05: Proceedings of the Second International Conference on Automatic Computing. IEEE Computer Society: Washington, DC, 2005; 27-38, DOI: 10.1109/ICAC.2005.21. (Pubitemid 43959609)
28. Bellifemine F, Caire G, Greenwood D,. Developing multi-agent systems with JADE. Wiley: Hooboken, NJ, 2006.
29. Burstein M, Bussler C, Zaremba M, Finin T, Huhns MN, Paolucci M, Sheth AP, Williams S,. A semantic Web services architecture. IEEE Internet Computing 2005; 9: 72-81. DOI: 10.1109/MIC.2005.96. (Pubitemid 41522720)
30. Caire G, Gotta D, Banzi M,. Wade: a software platform to develop mission critical applications exploiting agents and workflows, AAMAS (Industry Track), 2008; 29-36.
31. Keen M, Acharya A, Bishop S, Hopkins A, Milinski S, Nott C, Robinson R, Adams J, Verschueren P,. Patterns: Implementing an SOA Using an Enterprise Service Bus. RedBooks: New York, NY, 2004.
32. Benatallah B, Casati F, Skogsrud H, Toumani F,. Abstracting and enforcing Web services protocols. International Journal of Cooperative Information Systems 2004; 13: 413-440. (Pubitemid 39638652)
33. Murata T,. Petri nets: properties, analysis and applications. Proceedings of IEEE 1989; 77: 541-580.
34. van der Aalst W, Hee K,. Workflow Management: Models, Methods, and Systems. MIT Press: Cambridge, MA, 2004.
35. Girault C, Valk R,. Petri nets for systems engineering-a guide to modeling, verification, and applications. Springer Verlag: Berlin/Heidelberg, Germany, 2003.
36. Cabac L, Duvigneau M, Moldt D, Rölke H,. Modeling dynamic architectures using nets-within-nets. In ICATPN. Vol. 3536, Ciardo G, Darondeau P, (eds), Lecture Notes in Computer Science. Springer: Berlin, Germany, 2005; 148-167. (Pubitemid 41422010)
37. Moldt D, Offermann S, Ortmann J,. A Petri net-based architecture for Web services. In Workshop on Service-Oriented Computing and Agent-Based Engineering (SOCABE), Utrecht, the Netherlands, 2005., Cavedon L, Kowalczyk R, Maamar Z, Martin D, Müller I, (eds), 2005; 33-40.
38. Kummer O,. Introduction to Petri nets and Reference nets. Sozionik Aktuell 2001; 1: 1-9. ISSN 1617-2477.
39. Kummer O, Wienberg F,. Renew-the Reference Net Workshop, Tool Demonstrations, 21st International Conference on Application and Theory of Petri Nets, Computer Science Department, Aarhus University, Aarhus, Denmark, 2000; 87-89.
40. Kummer O, Wienberg F, Duvigneau M, Köhler M, Moldt D, Rölke H,. Renew-the Reference Net Workshop. In Tool Demonstrations. 24th International Conference on Application and Theory of Petri Nets (ATPN 2003). International Conference on Business Process Management (BPM 2003)., Veerbeek E, (ed), Beta Research School for Operations Management and Logistics, Department of Technology Management, Technische Universiteit Eindhoven, June 2003; 99-102.
41. Diehl S,. A formal introduction to the compilation of Java. Software Practice and Experience 1998; 28: 297-327.
42. Pohjalainen P, Taina J,. Self-configuring object-to-relational mapping queries, PPPJ '08: Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, ACM: New York, NY, 2008; 53-59, DOI: 10.1145/1411732.1411740.
43. Foundation for Intelligent Physical Agents. FIPA Request Interaction Protocol Specification. Standard SC00026H, Foundation for Intelligent Physical Agents, 2002. URL, published on December 3, 2002, available for download from the FIPA website.
44. Dang J, Huhns MN., Concurrent multiple-issue negotiation for internet-based services. IEEE Internet Computing 2006; 10: 42-49. (Pubitemid 44811669)
45. van der Aalst WMP,. Process-oriented architectures for electronic commerce and interorganizational workflow. Information Systems 1999; 24: 639-671. (Pubitemid 30552542)
46. Carriero N, Gelernter D,. Linda in context. Communications of the ACM 1989; 32: 444-458, DOI: 10.1145/63334.63337.
47. Johanson B, Fox A,. Extending tuplespaces for coordination in interactive workspaces. Journal of Systems and Software 2004; 69: 243-266, DOI: 10.1016/S0164-1212(03)00054-2.
48. Álvarez P, Bañares JA, Mata E, Muro-Medrano PR, Rubio J,. Generative communication with semantic matching in distributed heterogeneous environments. In EUROCAST. Vol. 2809, Moreno-Díaz R, Pichler F, (eds), Lecture Notes in Computer Science, Springer: Berlin, Germany, 2003; 231-242. (Pubitemid 37342463)
49. Fabra J, Álvarez P, Bañares JA, Ezpeleta J,. RLinda: a Petri net based implementation of the Linda coordination paradigm for Web services interactions, In 7th International Conference on Electronic Commerce and Web Technologies. Vol. 4082, Lecture Notes in Computer Science, Springer Verlag: 2006; 183-192. (Pubitemid 44577478)
50. Fabra J, Álvarez P, Ezpeleta J,. DRLinda: a distributed message broker for collaborative interactions among business processes, In 8th International Conference on Electronic Commerce and Web Technologies. Vol. 4655, Lecture Notes in Computer Science, Springer Verlag: Berlin, Germany, 2007; 212-221.
51. Foundation for Intelligent Physical Agents,. FIPA ACL Message Structure Specification, Standard SC00061G, Foundation for Intelligent Physical Agents, 2002. URL, published on December 3, 2002, available for download from the FIPA website.
52. Fabra J, Álvarez P, Ezpeleta J,. Development of Configurable E-Marketplaces Based On a Flexible Management Of E-Negotiation Protocols. IADIS International Conference on E-Commerce, 2008; 133-200.
53. Wooldridge M,. An Introduction to MultiAgent Systems. Wiley: Hooboken, NJ, 2002.
54. Chmiel K, Tomiak D, Gawinecki M, Karczmarek P, Szymczak M, Paprzycki M,. Testing the efficiency of JADE agent platform. 3rd International Symposium on/Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks. 3rd International Workshop on Parallel and Distributed Computing, July 2004; 49-56, DOI: 10.1109/ISPDC.2004.49. (Pubitemid 40739224)
55. Ibáñez MJ, Álvarez P, Ezpeleta J,. Flow and data compatibility for the correct interaction among Web processes, International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC08), Vienna, Austria, 2008; 716-722.
56. Ibáñez MJ, Álvarez P, Ezpeleta J,. Checking necessary conditions for control and data flow compatibility between business and interaction logics in web processes. 6th IEEE European Conference on Web Services, Dublin, Ireland, 12-14 November 2008; 92-101.
57. Ibáñez MJ, Álvarez P, Bañares JA, Ezpeleta J,. Control and data flow compatibility in the interaction between dynamic business processes. Concurrency and Computation: Practice and Experience 2010; 23: 57-85.
58. Fabra J, Álvarez P,. BPEL2DENEB: translation of BPEL processes to executable high-level Petri nets. 5th International Conference on Internet and Web Applications and Services, 2010; 496-505, DOI: 10.1109/ICIW.2010.81.
59. van der Aalst WMP, Hofstede AT, Kiepuszewski B, Barros A. P,. Workflow patterns. Distributed Parallel Databases 2003; 14: 5-51, DOI: 10.1023/A:102288727209.
60. Suzuki I, Murata T,. A method for stepwise refinement and abstraction of Petri net. Journal of Computer and System Sciences 1983; 51-76. (Pubitemid 14466779)
61. Kummer O, Wienberg F, Duvigneau M, Schumacher J, Köhler M, Moldt D, Rölke H, Valk R,. An extensible editor and simulation engine for Petri nets: Renew. In Applications and Theory of Petri Nets 2004. Vol. 3099, Lecture Notes in Computer Science. Springer: Berlin, Germany, 2004; 484-493.
62. van der Aalst WMP, Hee KV,. Workflow Management: Models, Methods, and Systems. MIT Press: Cambridge, MA, 2002.