ABSTRACT
An abstract business process contains a description the protocol that a business process engages in without revealing the internal computation of the process. This description provides the information necessary to compose the process with other Web services. BPEL supports this by providing distinct dialects for specifying abstract and executable processes. Unfortunately, BPEL does not prevent complex computations from being included in an abstract process. This complicates the protocol description, unnecessarily reveals implementation details, and makes it difficult to analyze correctness.
We propose some restrictions on the data manipulation constructs that can be used in an abstract BPEL process. The restrictions permit a full description of a protocol while hiding computation. A restricted abstract process can easily be converted into an abstract BPEL process or expanded into an executable BPEL process. Based on these restrictions we propose a formal model for a business process and use it as the basis of an algorithm for demonstrating the correctness of a protocol described by a restricted abstract process. We then sketch an algorithm for synthesizing a protocol based on a formal specification of its outcome and the tasks available for its construction.
- G. Alonso, F. Casati, H. Kuno, and V. Machiraju. Web Services. Springer Verlag, 2003.Google Scholar
- A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, and K. Sycara. DAML-S: Web service description for the semantic web. In Proc. 1st Intl. Semantic Web Conf., 2002. Google ScholarDigital Library
- A. Arkin. Web Service Choreography Interface 1.0, 2002. http://www.w3.org/TR/wsci/.Google Scholar
- A. H. M. t.H. B Kiepuszewski and W. M. P. van der Aalst. Fundamentals of control flow in workflows. Acta Informatica, 39(3):143--209, 2003.Google ScholarCross Ref
- D. Berardi, D. Calvanese, G. Giacomo, and M. Mecella. Reasoning about actions for e-service composition. In ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, June 2003.Google Scholar
- D. Berardi, D. Calvanese, D. G. Giuseppe, M. Lenzerini, and M. Mecella. Automatic composition of e-services that export their behavior. In The First International Conference on Service Oriented Computing, Trento, Italy, December 2003.Google ScholarCross Ref
- BPMI. org. The Business Process Modeling Language (BPML), 2002. http://www.bpmi.org/bpml.esp.Google Scholar
- J. Cardoso and A. Sheth. Semantic e-workflow composition. J. Intell. Inf. Syst., 21(3):191--225, 2003. Google ScholarDigital Library
- M. Carman, L. Serafini, and P. Traverso. Web service composition as planning. In ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, June 2003.Google Scholar
- A. Cimatti, M. Roveri, and P. Traverso. Automatic OBDD -based generation of universal plans in non-deterministic domains. In Proc. of the 15th National Conference on Artificial Intelligence, pages 875--881, Wisconsin, 1998. Google ScholarDigital Library
- F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1, 2003. http://www-106.ibm.com/developerworks/library/ws-bpel/.Google Scholar
- Z. Duan, A. Bernstein, P. Lewis, and S. Lu. Semantics based verification and synthesis of BPEL4WS abstract processes. In Proceedings of the second IEEE International conference on Web Services, July 2004. Google ScholarDigital Library
- R. Fileto, L. Liu, C. Pu, E. D. Assad, and C. B. Medeiros. Poesia: An ontological workflow approach for composing web services in agriculture. The VLDB Journal, 12(4):352--367, 2003. Google ScholarDigital Library
- E. Hansen and S. Zilberstein. Lao*: A heuristic search algorithm that finds solutions with loops. Artificial Intelligence, 129(1-2):35--62, 2001. Google ScholarDigital Library
- C. A. R. Hoare. An axiomatic basis for computer programming. Comm. ACM, pages 576--580, Oct. 1969. Google ScholarDigital Library
- R. Hull. E-service composition: Models and formalisms. In Proceedings of the 2003 International Workshop on Description Logics (DL2003), volume~81, pages 1--14, 2003.Google Scholar
- R. Hull, M. Benedikt, V. Christophides, and J. Su. E-services: a look behind the curtain. In Proceedings of the 22nd ACM symposium on Principles of Database Systems, pages 1--14. ACM Press, 2003. Google ScholarDigital Library
- F. Leymann. Web Services Flow Language (WSFL 1.0), 2001. http://www-306.ibm.com/software/solutions/webservices/pdf/WSFL.pdf.Google Scholar
- S. McIlraith and T. Son. Adapting golog for composition of semantic web services. In 8th International Conference on Principles of Knowledge Representation and Reasoning, 2002.Google Scholar
- B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid. Composing web services on the semantic web. The VLDB Journal, 12(4):333--351, 2003. Google ScholarDigital Library
- A. A. Patil, S. A. Oundhakar, A. P. Sheth, and K. Verma. Meteor-s web service annotation framework. In Proceedings of the 13th conference on World Wide Web, pages 553--562. ACM Press, 2004. Google ScholarDigital Library
- S. R. Ponnekanti and A. Fox. Sword: A developer toolkit for web service composition. In Proceedings of the 11th conference on World Wide Web, 2002.Google Scholar
- M. Sheshagiri, M. desJardins, and T. Finin. A planner for composing services described in DAML-S. In ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, 2003.Google Scholar
- K. Sivashanmugam, K. Verma, A. P. Sheth, and J. A. Miller. Adding semantics to web services standards. In Proc. of International Conference on Web Services, pages 395--401, Las Vegas, 2003.Google Scholar
- B. Srivastava and J. Koehler. Web service composition - current solutions and open problems. In ICAPS 2003 Workshop on Planning for Web Services, Trento, Italy, June 2003.Google Scholar
- S. Thatte. XLANG: Web Services for Business Process Design, 2001. http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm.Google Scholar
- D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S web services composition using SHOP2. In Proc. 2nd Intl. Semantic Web Conf., Florida, 2003.Google ScholarDigital Library
- D. M. Yellin and R. E. Strom. Protocol specifications and component adaptors. ACM Trans. Program. Lang. Syst., 19(2):292--333, 1997. Google ScholarDigital Library
- H. Zhang. Sato: An efficient propositional prover. In Proc. of Intl. Conf. on Automated Deduction, 1997. Google ScholarDigital Library
Index Terms
- A model for abstract process specification, verification and composition
Recommendations
Web service composition process verification methods
ACM-SE 46: Proceedings of the 46th Annual Southeast Regional Conference on XXThis paper proposes a web service process verification method which can be used by engineers to effectively evaluate web service compositions. A Web Service composition verification process would provide a valuable oversight on the engineering of web ...
Composition of executable business process models by combining business rules and process flows
Emergency of Web services has promoted a new paradigm of a business process which is called the Service-Oriented Business Process (SOBP). The SOBP uses Web services as an implementation platform for activities that belong to a business process, and is ...
Formal Specification and Verification of Data-Centric Service Composition
ICWS '10: Proceedings of the 2010 IEEE International Conference on Web ServicesService-oriented architecture (SOA) promotes a paradigm where ad-hoc applications are built by dynamically linking service-based software capabilities. Service providers follow specification standards to advertise their services’ capabilities and to ...
Comments