Associating assertions with business processes and monitoring their execution

ABSTRACT

Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that govern the behavior of the process and account for expressing changes reflecting new business objectives and new market situations.

In our previous work we developed a service request language and support framework that allow users to formulate their requests against standard business processes. In this paper we extend this approach by presenting a framework capable of automatically associating business rules with relevant processes involved in a user request. This framework plans and monitors the execution of the request against services underlying these processes. Definitions and classifications of business rules (named assertions in the paper) are given together with an assertion language for expressing th. The framework is able to handle the non-determinism typical for service-oriented computing environments and it is based on the interleaving of planning and execution.

REFERENCES

• 1: Marco Aiello , Mike P. Papazoglou , Jian Yang , M. Carman , Marco Pistore , Luciano Serafini , Paolo Traverso, A Request Language for Web-Services Based on Planning and Constraint Satisfaction, Proceedings of the Third International Workshop on Technologies for E-Services, p.76-85, August 23-24, 2002
• 2: D. Berardi, D. Calvanese, G. D. Giacomo, and M. Mecella. Reasoning about Actions for e-Service Composition. In Proceedings of ICAPS'03 Workshop on Planning for Web Services, Trento, Italy, June 2003.
• 3: P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. MBP: A Model Based Planner. In Proc. IJCAI'01 Workshop on Planning under Uncertainty and Incomplete Information, 2001.
• 4: I. Fikouras and E. Freiter. Service discovery and orchestration for distributed service repositories. In Conf. on Service-Oriented Computing (ICSOC-03), Lecture Notes in Computer Sciences, pages 59--74. Springer, 2003.
• 5: B. N. Grosof. Representing e-commerce rules via situated courteous logic programs in rull*1. Electronic Commerce: Research and Applications, 3(1):2--20, 2004.
• 6: P. Harmon. Analyzing activities. Business Process Trends, 1(4), 2003.
• 7: Kavantzas. Web Services Choreography Description Language 1.0, April 2004. http://lists.w3.org/Archives/Public/www-archive/2004Apr/att-0004/cdl_v1%-editors-apr03-2004-pdf.pdf.
• 8: Craig A. Knoblock , Steven Minton , José Luis Ambite , Maria Muslea , Jean Oh , Martin Frank, Mixed-initiative, multi-source information assistants, Proceedings of the 10th international conference on World Wide Web, p.697-707, May 01-05, 2001, Hong Kong, Hong Kong [doi>10.1145/371920.372185]
• 9: A. Lazovik, M. Aiello, and M. Papazoglou. Planning and monitoring the execution of web service requests. In Conf. on Service-Oriented Computing (ICSOC-03), Lecture Notes in Computer Sciences 2910, pages 335--350. Springer, 2003.
• 10: D. McDermott. Estimated-regression planning for interactions with Web Services. In 6th Int. Conf. on AI Planning and Scheduling. AAAI Press, 2002.
• 11: S. McIlraith and T. C. Son. Adapting Golog for composition of santic web-services. In D. Fensel, F. Giunchiglia, D. McGuinness, and M. Williams, editors, Conf. on principles of Knowledge Representation (KR), 2002.
• 12: B. Orriens, J. Yang, and M. Papazoglou. Model driven service composition. In Conf. on Service-Oriented Computing (ICSOC-03), Lecture Notes in Computer Sciences, pages 75--90. Springer, 2003.
• 13: M. Papazoglou, M. Aiello, M. Pistore, and J. Yang. Planning for requests against web services. IEEE Data Engineering Bulletin, 25(4):41--46, 2002.
• 14: M. P. Papazoglou , D. Georgakopoulos, Introduction, Communications of the ACM, v.46 n.10, October 2003 [doi>10.1145/944217.944233]
• 15: M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso. Planning and Monitoring Web Service Composition. In ICAPS'04 Workshop on Planning and Scheduling for Web and Grid Services, June 2004.
• 16: M. Sheshagiri, M. desJardins, and T. Finin. A Planner for Composing Services Described in DAML-S. In Proceedings of ICAPS'03 Workshop on Planning for Web Services, Trento, Italy, June 2003.
• 17: B. Srivastava and J. Koehler. Web Service Composition - Current Solutions and Open Probls. In Proceedings of ICAPS'03 Workshop on Planning for Web Services, Trento, Italy, June 2003.
• 18: WS-Policy. Web Services Policy Framework, May 2003. http://www-106.ibm.com/developerworks/library/ws-polfram/.
• 19: D. Wu, E. Sirin, J. Hendler, D. Nau, and B. Parsia. Automatic Web Services Composition Using SHOP2. In Proceedings of ICAPS'03 Workshop on Planning for Web Services, Trento, Italy, June 2003.

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.3 INFORMATION STORAGE AND RETRIEVAL
      H.3.5 On-line Information Services
          Subjects: Web-based services

Additional Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.8 Problem Solving, Control Methods, and Search
          Subjects: Plan execution, formation, and generation

Keywords:
management, monitoring, quality, service and AI computing, service delivery, theoretical frameworks for service representation and composition