Reasoning about the behavior of Semantic Web services with concurrent transaction logic

33rd International Conference on Very Large Data Bases, VLDB 2007 - Conference Proceedings

Volumn , Issue , 2007, Pages 627-638

  Roman, Dumitru ^a   Kifer, Michael ^b  

^a UNIVERSITY OF INNSBRUCK   (Austria)

^b STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; SEMANTIC WEB; WEBSITES;

CONCURRENT TRANSACTION LOGIC; DATABASE TRANSACTIONS; LOGIC-BASED APPROACH; LOGIC-BASED MODELING; LOGICAL FORMALIZATION; SERVICE BEHAVIORS; SERVICE CHOREOGRAPHIES; SERVICE DISCOVERY;

WEB SERVICES;

EID: 85011116042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. 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.
2. P. C. Attie, M. P. Singh, A. P. Sheth, and M. Rusinkiewicz. Specifying and Enforcing Intertask Dependencies. In VLDB, pages 134-145, 1993.
3. A. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Comput. Sci., 133:205-265, 1994.
4. 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.
5. 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.
6. A. J. Bonner and M. Kifer. Concurrency and Communication in Transaction Logic. In Joint International Conference and Symposium on Logic Programming, 1996.
7. H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan. Logic Based Modeling and Analysis of Workflows. In PODS, pages 25-33, 1998.
8. H. Davulcu, M. Kifer, and I. Ramakrishnan. CTR-S: A Logic for Specifying Contracts in Semantic Web Services. In www 2004, pages 144+, 2004.
9. 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.
10. G. Governatori and Z. Milosevic. A formal analysis of a business contract language. International Journal of Cooperative Information Systems, 15(4):659-685, 2006.
11. 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.
12. R. Günthör. Extended Transaction Processing Based on Dependency Rules. In RIDE-IMS, pages 207-214, 1993.
13. 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.
14. 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.
15. P. G. S. Angelov. B2B E-Contracting: A Survey of Existing Projects and Standards. Report I/RS/2003/119, Telematica Instituut, 2003.
16. P. Senkul, M. Kifer, and I. Toroslu. A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. In VLDB 2002, pages 694-705, 2002.
17. M. P. Singh. Semantical Considerations on Workflows: An Algebra for Intertask Dependencies. In DBLP-5, page 5. Springer-Verlag, 1996.
18. M. P. Singh. Synthesizing distributed constrained events from transactional workflow. In ICDE '96, pages 616-623. IEEE Computer Society, 1996.
19. 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.
20. W. M. P. van der Aalst and A. H. M. ter Hofstede. YAWL: Yet Another Workflow Language. Information Systems, 30(4):245-275, 2005.