a utomated Situation- a ware Service Composition in Service- o riented Computing

[1]  R. Gunthor.  Extended transaction processing based on dependency rules , 1993 .

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

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

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

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

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

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

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

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

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

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

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

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

[14]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[15]  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..

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

[17]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[18]  M. Sørensen,et al.  Lectures on the Curry-Howard Isomorphism , 2013 .

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

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

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

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

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

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

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

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

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

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

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

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