A framework for the development and execution of horizontal protocols in open BPM systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4102 LNCS, Issue , 2006, Pages 209-224

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Formal models in BPM; Horizontal protocols; Nets within Nets paradigm; Petri nets; SOA and Process Management

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER ARCHITECTURE; INFORMATION MANAGEMENT; INFORMATION RETRIEVAL SYSTEMS; INFORMATION SERVICES; MATHEMATICAL MODELS; PETRI NETS; SYNCHRONIZATION; WORLD WIDE WEB;

CHOREOGRAPHY; HORIZONTAL PROTOCOLS; OPEN BUSINESS PROCESS MANAGEMENT (BPM) SYSTEMS; WEB SERVICE;

NETWORK PROTOCOLS;

EID: 33750006827     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841760_15     Document Type: Conference Paper

References (30)

1. U. Dayal, M. Hsu, and R. Ladin: Business Process Coordination: State of the Art, Trends and Open Issues. In: Proceedings of the 2th Very Large Databases Conference (VLDB 2001), Roma, Italy. (2001)
2. G. Alonso, F. Casati, H. Kuno, and V. Machiraju: Web Services. Concepts, Architectures and Applications. Springer Verlag (2004)
3. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana: Business Process Execution Language for Web Services (BPEL4WS). Technical report, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, and Siebel Systems (2003)
4. A. Arkin, S. Askary, S. Fordin, K. Kawaguchi, D. Orchard, S. Pogliani, K. Riemer, S. Struble, P. Takacsi-Nagy, I. Trickovic, and S. Zimek: Web Service Choreography Interface (WSCI). Technical report, World Wide Web Consortium (W3C) (2002)
5. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon: Web Service Choreography Description Language (WS-CDL). Technical report, World Wide Web Consortium (W3C) (2004)
6. D. Martin, M. Paolucci, S. Mcllraith, M. Burstein, D. McDermott, D. McGuinness, B. Parsia, T. Payne, M. Sabou, M. Solanki, N. Srinivasan, and K. Sycara: Bringing Semantics to Web Services: The OWL-S Approach. Number 3387 in Lecture Notes in Computer Science. In: First International Workshop, SWSWPC 2004. Revised Selected Papers. Springer Verlag (2004) 26-42
7. IBM, BEA Systems, Microsoft, Arjuna, Hitachi, IONA: Web Services Transactions specifications. Technical report, IBM (2005)
8. Arjuna, Fujitsu Software, IONA Technologies, Oracle and Sun Microsystems: Web Service Coordination Framework(WS-CF). Technical report (2004)
9. C. Ouyang, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, and H.M.W. Verbeek: Formal Semantics and Analysis of Control Flow in WS-BPEL (Revised version). Research Report BPM-05-15, Business Process Management (BPM) Center, BPMcenter.org (2005)
10. D. Moldt and J. Ortmann: Dagen: A tool for automatic translation from DAML-S to high-level petri nets. In: Fundamental Approaches to Software Engineering: 7th International Conference, FASE 2004, Springer-Verlag (2004) 209-213
11. Srini Narayanan and Sheila A. McIlraith: Simulation, verification and automated composition of web services. In: WWW '02: Proceedings of the 11th international conference on World Wide Web, New York, NY, USA, ACM Press (2002) 77-88
12. A. Martens: Analyzing web service based business processes. In: Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005. (2005)
13. P. Alvarez, J. A. Bañares, and J. Ezpeleta: Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm. Number 3826 in Lecture Notes in Computer Science. In: Third International Conference on Service Oriented Computing -ICSOC 2005. Springer Verlag (2005) 185-197
14. R. Valk: Petri Nets as Token Objects - An Introduction to Elementary Object Nets. Lecture Notes in Computer Science: 19th Int. Conf. on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998 1420 (1998) 1-25
15. L. Cabac, M. Duvigneau, D. Moldt, and H. Rölke: Modeling Dynamic Architectures Using Nets-within-Nets. In: 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, Miami, Florida (2005)
16. D. Moldt, S. Offermann, and J. Ortmann: Proposal for Petri Net Based Web Service Application Modeling. Number 3140 in Lecture Notes in Computer Science. In: Web Engineering: 4th International Conference, ICWE 2004. Springer Verlag (2004) 93-97
17. L. Ardissono, G. Petrone, and M. Segnan: Enabling flexible interaction with web services. In: Extending Web Service Technologies: The use of Multi-Agent approaches. Springer Verlag (2004) 187-208
18. S. Weerawarana, F. Curbera, F. Leymann, T. Storey, and D. Ferguson: Modeling Business Processes: BPEL. In: Web services platform architecture. Prentice Hall (2005) 313-340
19. F. Curbera, R. Khalaf, N. Mukhi, S. Tai, and S. Weerawarana: The next step in web services. Communications of the ACM 46 (2003) 29-34
20. Arjuna Technologies, BEA Systems, Hitachi, IBM, IONA Technologies & Microsoft: Web service coordination (ws-coordination). Technical report (2005)
21. Arjuna Technologies, BEA Systems, Hitachi, IBM, IONA Technologies & Microsoft: Web Services Business Activity Framework (WS-BusinessActivity). Technical report (2005)
22. Arjuna Technologies, Fujitsu Limited, IONA Technologies, Sun Microsystems and Oracle Corporation: Web Services Composite Application Framework (WS-CAF). Technical report (2003)
23. Arjuna Technologies, Fujitsu Limited, IONA Technologies, Sun Microsystems and Oracle Corporation: Web Services Context (WS-Context). Technical report (2003)
24. J. E. Hanson, P. Nandi, and S. Kumaran: Conversation Support for Business Process Integration. In: Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC2002). (2002) 65-74
25. G. Petrone: Managing flexible interaction with Web Services. In: AAMAS-03 Workshop on Web-services and Agent-based Engineering (WSABE 2003), Melbourne (2003) 41-47
26. N. Carriero and D. Gelernter: Linda in context. Communications of the ACM 32 (1989) 444-458
27. O. Kummer: Introduction to Petri Nets and Reference Nets. Sozionik Aktuell 1 (2001) 1-9
28. O. Kummer and F. Wienberg: Renew - the reference net workshop. In: Tool Demonstrations, 21st International Conference on Application and Theory of Petri Nets, Computer Science Department, Aarhus University, Aarhus, Denmark (2000) 87-89
29. J. Fabra, P. Alvarez, J. A. Bañares, and J. Ezpeleta: RLinda: a Petri net based implementation of the Linda coordination paradigm for Web services interactions. In: To appear in Proceedings of the 7th International Conference on Electronic Commerce and Web Technologies (EC-Web 2006), Vienna, 5.-7. September (2006)
30. Alphaworks: Web Services Toolkit (WSTK). Technical report, IBM (2005)