Automated Situation-Aware Service Composition in Service-Oriented Computing

Service-based systems have many applications, such as e-business, health care, and homeland security. In these systems, it is necessary to provide users the capability of composing services into workflows providing higher-level functionality. In dynamic service-oriented computing environments, it is desirable that service composition is automated and situation-aware to generate robust and adaptive workflows. In this paper, an automated situation-aware service composition approach is presented. This approach is based on the a-logic, a-calculus, and a declarative model for situation awareness (SAW). This approach consists of four major components: (1) analyzing SAW requirements using our SAW model, (2) translating our SAW model representation to a-logic specifications and specifying a control flow graph in a-logic as the service composition goal, (3) automated synthesis of a-calculus terms defining situation-aware workflow agents based on a-logic specifications for SAW requirements and the control flow graph, and (4) compilation of a-calculus terms to executable components.

[1]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[2]  Ramesh Bharadwaj.  Secure middleware for situation-aware naval C/sup 2/ and combat systems , 2003, The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings..

[3]  Roger Günthör.  Extended transaction processing based on dependency rules , 1993, Proceedings RIDE-IMS `93: Third International Workshop on Research Issues in Data Engineering: Interoperability in Multidatabase Systems.

[4]  Maria E. Orlowska,et al.  Verification Problems in Conceptual Workflow Specifications , 1996, Data Knowl. Eng..

[5]  Martin E. Dyer,et al.  Formulating the single machine sequencing problem with release dates as a mixed integer program , 1990, Discret. Appl. Math..

[6]  Terminology and Glossary , 2000 .

[7]  David May,et al.  The Transputer Implementation of Occam , 1984, Fifth Generation Computer Systems.

[8]  David M. Booth,et al.  Web Services Architecture , 2004 .

[9]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[10]  Shankar Ponnekanti,et al.  SWORD: A Developer Toolkit for Web Service Composition , 2008 .

[11]  Klara Nahrstedt,et al.  A Middleware Infrastructure for Active Spaces , 2002, IEEE Pervasive Comput..

[12]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[13]  James A. Hendler,et al.  Semi-automatic Composition ofWeb Services using Semantic Descriptions , 2003, WSMAI.

[14]  J. McCarthy.  SITUATION CALCULUS WITH CONCURRENT EVENTS AND NARRATIVE , 2001 .

[15]  Kenneth Baclawski,et al.  A core ontology for situation awareness , 2003, Sixth International Conference of Information Fusion, 2003. Proceedings of the.

[16]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[17]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[18]  Stephen S. Yau,et al.  Development of situation-aware application software for ubiquitous computing environments , 2002, Proceedings 26th Annual International Computer Software and Applications.

[19]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[20]  J. Van Leeuwen,et al.  Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .

[21]  Sandeep K. S. Gupta,et al.  Reconfigurable Context-Sensitive Middleware for Pervasive Computing , 2002, IEEE Pervasive Comput..

[22]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[23]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[24]  Richard J. Waldinger.  Web Agents Cooperating Deductively , 2000, FAABS.

[25]  Ramesh Bharadwaj.  SOL: A Verifiable Synchronous Language for Reactive Systems , 2002, Electron. Notes Theor. Comput. Sci..

[26]  Johannes Klein.  Advanced rule driven transaction management , 1991, COMPCON Spring '91 Digest of Papers.

[27]  Denis Caromel,et al.  A Theory of Distributed Objects , 2005 .

[28]  Stephen S. Yau,et al.  Automated Agent Synthesis for Situation Awareness in Service-Based Systems , 2006, 30th Annual International Computer Software and Applications Conference (COMPSAC'06).

[29]  Stefan Edelkamp,et al.  Automated Planning: Theory and Practice , 2007, Künstliche Intell..

[30]  Mihhail Matskin,et al.  Application of Linear Logic to Web Service Composition , 2003, ICWS.

[31]  Andrew W. Appel,et al.  Compiling with Continuations , 1991 .

[32]  Umeshwar Dayal,et al.  Organizing long-running activities with triggers and transactions , 1990, SIGMOD '90.

[33]  Amit P. Sheth,et al.  Specifying and Enforcing Intertask Dependencies , 1993, VLDB.

[34]  Mieczyslaw M. Kokar,et al.  Constructing RuleML-Based Domain Theories on Top of OWL Ontologies , 2003, RuleML.

[35]  Gregory D. Abowd,et al.  A Conceptual Framework and a Toolkit for Supporting the Rapid Prototyping of Context-Aware Applications , 2001, Hum. Comput. Interact..

[36]  Amit P. Sheth,et al.  An overview of workflow management: From process modeling to workflow automation infrastructure , 1995, Distributed and Parallel Databases.

[37]  Munindar P. Singh.  Semantical Considerations on Workflows: An Algebra for Intertask Dependencies , 1995, DBPL.

[38]  Matjaz B. Juric,et al.  Business process execution language for web services , 2004 .

[39]  Fahiem Bacchus,et al.  Using temporal logic to control search in a forward chaining planner , 1996 .

[40]  Santosh K. Shrivastava,et al.  Notations for the specification and verification of composite Web services , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[41]  David A. Plaisted,et al.  A Hierarchical Situation Calculus , 2003, ArXiv.

[42]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[43]  Roy H. Campbell,et al.  A Middleware for Context-Aware Agents in Ubiquitous Computing Environments , 2003, Middleware.

[44]  Alvin T. S. Chan,et al.  MobiPADS: A Reflective Middleware for Context-Aware Mobile Computing , 2003, IEEE Trans. Software Eng..

[45]  Matthew MacDonald,et al.  Web Services Architecture , 2004 .