ABSTRACT
The recent upsurge in the interest in Semantic Web services and the high-profile projects such as the WSMO, OWLS, and SWSL, have drawn attention to the importance of logic-based modeling of the behavior of Web services. In the context of Semantic Web services, the logic-based approach has many applications, including service discovery, service choreography, enactment, and contracting for services. In this paper we propose logic-based methods for reasoning about service behavior, including the aforementioned choreography, contracting, and enactment. The formalism underlying our framework is Concurrent Transaction Logic---a logic for declarative specification, analysis, and execution of database transactions. The new results include reasoning about service behavior under more general sets of constraints and extension of the framework towards conditional control and data flow---two crucial aspect that were missing in previous logical formalizations.
- W. M. P. V. D. Aalst, A. H. M. T. Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow Patterns. Distrib. Parallel Databases, 14(1):5--51, 2003. Google ScholarDigital Library
- P. C. Attie, M. P. Singh, A. P. Sheth, and M. Rusinkiewicz. Specifying and Enforcing Intertask Dependencies. In VLDB, pages 134--145, 1993. Google ScholarDigital Library
- A. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Comput. Sci., 133:205--265, 1994. Google ScholarDigital Library
- A. Bonner and M. Kifer. Transaction Logic Programming (or A Logic of Declarative and Procedural Knowledge). Technical Report CSRI-323, University of Toronto, November 1995.Google Scholar
- A. Bonner and M. Kifer. A Logic for Programming Database Transactions. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 5, pages 117--166. Kluwer, 1998. Google ScholarDigital Library
- A. J. Bonner and M. Kifer. Concurrency and Communication in Transaction Logic. In Joint International Conference and Symposium on Logic Programming, 1996.Google Scholar
- H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic Based Modeling and Analysis of Workflows. In PODS, pages 25--33, 1998. Google ScholarDigital Library
- H. Davulcu, M. Kifer, and I. Ramakrishnan. CTR--S: A Logic for Specifying Contracts in Semantic Web Services. In WWW2004, pages 144+, 2004. Google ScholarDigital Library
- M. Dumas, W. M. van der Aalst, and A. H. ter Hofstede (eds.). Process-aware information systems: bridging people and software through process technology. John Wiley & Sons, Inc., 2005. Google ScholarDigital Library
- G. Governatori and Z. Milosevic. A formal analysis of a business contract language. International Journal of Cooperative Information Systems, 15(4):659--685, 2006.Google ScholarCross Ref
- G. Governatori, Z. Milosevic, and S. Sadiq. Compliance checking between business processes and business contracts. In EDOC '06, pages 221--232. IEEE Computer Society, 2006. Google ScholarDigital Library
- R. Günthör. Extended Transaction Processing Based on Dependency Rules. In RIDE-IMS, pages 207--214, 1993.Google ScholarCross Ref
- S. Mukherjee, H. Davulcu, M. Kifer, P. Senkul, and G. Yang. Logic based approaches to workflow modeling and verification. In J. Chomicki, R. van der Meyden, and G. Saake, editors, Logics for Emerging Applications of Databases. Springer Verlag, 2003.Google Scholar
- M. Orlowska, J. Rajapakse, and A. ter Hofstede. Verification problems in conceptual workflow specifications. In ER, volume 1157 of LNCS, Cottbus, Germany, 1996. Springer-Verlag.Google Scholar
- P. G. S. Angelov. B2B E-Contracting: A Survey of Existing Projects and Standards. Report I/RS/2003/119, Telematica Instituut, 2003.Google Scholar
- P. Senkul, M. Kifer, and I. Toroslu. A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. In VLDB 2002, pages 694--705, 2002. Google ScholarDigital Library
- M. P. Singh. Semantical Considerations on Workflows: An Algebra for Intertask Dependencies. In DBLP-5, page 5. Springer-Verlag, 1996. Google ScholarDigital Library
- M. P. Singh. Synthesizing distributed constrained events from transactional workflow. In ICDE '96, pages 616--623. IEEE Computer Society, 1996. Google ScholarDigital Library
- W. van der Aalst and M. Pesic. DecSerFlow: Towards a Truly Declarative Service Flow Language. In F. Leymann, W. Reisig, S. R. Thatte, and W. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 06291 in Dagstuhl Seminar Proceedings, 2006.Google Scholar
- W. M. P. van der Aalst and A. H. M. ter Hofstede. YAWL: Yet Another Workflow Language. Information Systems, 30(4):245--275, 2005. Google ScholarDigital Library
Recommendations
A Web Service Orchestration Model Based on Concurrent Transaction Logic
GCC '08: Proceedings of the 2008 Seventh International Conference on Grid and Cooperative ComputingWeb services solve the problem of inter-organization business integration and are under a distributed, dynamic, autonomic and heterogeneous environment. The correctness and verification of web service orchestration is important. Formalization is a valid ...
Composition of Semantic Web services using Linear Logic theorem proving
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S) for external presentation of Web services, while, internally, the ...
Process model-based atomic service discovery and composition of composite semantic web services using web ontology language for services OWL-S
Web Service composition has become indispensable as a single web service cannot satisfy complex functional requirements. Composition of services has received much interest to support business-to-business B2B or enterprise application integration. An ...
Comments