ABSTRACT
The Internet is going through several major changes. It has become a vehicle of Web services rather than just a repository of information. Many organizations are putting their core business competencies on the Internet as a collection of Web services. An important challenge is to integrate them to create new value-added Web services in ways that could never be foreseen forming what is known as Business-to-Business (B2B) services. Therefore, there is a need for modeling techniques and tools for reliable Web service composition. In this paper, we propose a Petri net-based algebra, used to model control flows, as a necessary constituent of reliable Web service composition process. This algebra is expressive enough to capture the semantics of complex Web service combinations.
- Aalst, W. v. d. (1997), Verification of Workflow Nets, in P. Azema & G. Balbo, eds, 'Proceedings of the Application and Theory of Petri Nets'97', Toulouse, France.]] Google ScholarDigital Library
- Aalst, W. v. d. (1998), 'The Application of Petri Nets to Workflow Management', The Journal of Circuits, Systems and Computers8(1), 21-66.]]Google ScholarCross Ref
- Aalst, W. v. d. (1999), 'Interorganizational Work-flows: An Approach based on Message Sequence Charts and Petri Nets', Systems Analysis - Modelling - Simulation34(3), 335-367.]]Google Scholar
- Aalst, W. v. d., Hofstede, A. t., Kiepuszewski, B. & Barros, A. (2002), Workflow Patterns, Technical Report FIT-TR-2002-02, Queensland University of Technology, Brisbane, Australia.]]Google Scholar
- Adam, N., Alturi, V. & Huang, W.-K. (1998), 'Modeling and Analysing of Workflows Using Petri Nets', Journal of Intelligent Information Systems 10(2), 131-158.]] Google ScholarDigital Library
- Benatallah, B., Dumas, M., Sheng, Q. & Ngu, A. (2002), Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services, in 'Proceedings of the 18th International Conference on Data Engineering (ICDE'02)', IEEE Computer Society, California, USA, pp. 297-308.]] Google ScholarDigital Library
- Benatallah, B., Medjahed, B., Bouguettaya, A., Elmagarmid, A. & Beard, J. (2000), Composing and Maintaining Web-based Virtual Enterprises, in 'Proceedings of the Workshop on Technologies for E-Services (in Cooperation with VLDB'00)', Cairo, Egypt.]]Google Scholar
- Bergstra, J. & Klop, J. (1985), 'Algebra of Communicating Processes with Abstraction', TCS37, 77-121.]]Google ScholarCross Ref
- Casati, F., Ilnicki, S., Jin, L. & Shan, M.-C. (2000), An Open, Flexible, and Configurable System for E-Service Composition, Technical Report HPL- 2000-41, HP Labs.]]Google Scholar
- Georgakopoulos, D., Hornick, M. & Sheth, A. (1995), 'An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure', Distributed and Parallel Databases3(2).]] Google ScholarDigital Library
- Georgakopoulos, D., Schuster, H., Cichocki, A. & Baker, D. (1999), 'Managing Process and Service Fusion in Virtual Enterprises', Information Systems, Special Issue on Information Systems Support for Electronic Commerce24(6), 429-456.]] Google ScholarDigital Library
- Hoffner, Y., Ludwig, H., Gulcu, C. & Grefen, P. (2000), Architecture for Cross-Organizational Business Processes, Research report, IBM, Zurich, Switzerland.]]Google Scholar
- Jensen, K. (1997), Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts, EATCS Monographs on Theoretical Computer Science, Springer-Verlag.]] Google ScholarDigital Library
- Leymann, F. (2001), Web Services Flow Language (WSFL) version 1.0, IBM Software Group. http://ibm.com/software/solutions/webservices /pdf/WSFL.pdf/.]]Google Scholar
- Ludwig, H. & Hoffner, Y. (1999), Contract-based Cross-Organisational Workflows - The Cross-Flow Project, in D. Georgakopoulos, W. Prinz & A. Wolf, eds, 'Proceedings of the International Joint Conference on Work Activities Coordination and Collaboration (WACC'99)', San Fransisco, USA.]]Google Scholar
- Milner, R. (1989), Communication and Concurrency, Prentice Hall Int.]] Google ScholarDigital Library
- Murata, T. (1989), Petri Nets: Properties, Analysis and Applications, in 'Proceedings of the IEEE', Vol. 77(4), pp. 541-580.]]Google Scholar
- Park, D. (1981), Concurrency and Automata on Infinite Sequences, in P. Deussen, ed., 'Proceedings of the 5th GI Conference', LNCS 104, Springer Verlag.]] Google ScholarDigital Library
- Peterson, J. (1981), Petri Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs.]] Google ScholarDigital Library
- Petri, C. (1962), Kommunikation mit Automaten, PhD thesis, University of Bonn, Germany. (In German).]]Google Scholar
- Reisig, W. (1985), Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science Vol.4, Springer-Verlag, Berlin, Germany.]] Google ScholarDigital Library
- Schuster, H., Georgakopoulos, D., Cichocki, A. & Baker, D. (2000), Modeling and Composing Service-based and Reference Process-based Multi-enterprise Processes, in 'Proceedings of the 12th Conference on Advanced Information Systems Engineering (CAiSE'00)', Stockholm, Sweden.]] Google ScholarDigital Library
- Thatte, S. (2001), XLANG: Web Services for Business Process Design, Microsoft Corporation. http://www.gotdotnet.com/team/xml_wsspecs /xlang-c/default.htm/.]]Google Scholar
- WfMC (1999), Workflow Management Coalition, Terminology and Glossary, Document Number WFMC-TC-1011. http://www.wfmc.org/standards/docs.htm/.]]Google Scholar
Index Terms
- A Petri net-based model for web service composition
Recommendations
EPN-Based Web Service Composition Approach
WISM '09: Proceedings of the International Conference on Web Information Systems and MiningWeb service composition is highly significant for the efficiency of software development in service-oriented architecture (SOA). Till now, most PN-based composition approaches are based on HPN (High Level Petri Net), but the resources of HPN are not ...
A Petri Net Based Execution Engine for Web Service Composition
Web Information Systems Engineering – WISE 2013 WorkshopsAbstractBased on the Petri net description of web service composition, control structures within web service composition, registration information of web services, demand parameters validation, parameters converting among web services through reflection ...
Aspect-Oriented Web Service Composition: A Petri Net Based Approach
CYBERC '11: Proceedings of the 2011 International Conference on Cyber-Enabled Distributed Computing and Knowledge DiscoveryIn the various approaches of web service compositions proposed by the researcher, Aspect Oriented Web Service Composition (AOWSC) is the most formal way of composition. Composition is a set of relevant candidate web service, synchronously tied up with ...
Comments