Semantic Web Service choreography: Contracting and enactment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5318 LNCS, Issue , 2008, Pages 550-566

  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

COMPUTATION THEORY; COMPUTER CIRCUITS; CONTRACTS; ITERATIVE METHODS; MAINTENANCE; MODELING LANGUAGES; SEMANTIC WEB; WEBSITES;

AUTOMATED SERVICES; AUTOMATED SUPPORT; CONCURRENT TRANSACTION LOGIC; ITERATIVE PROCESS; LOGIC-BASED APPROACH; SERVICE DISCOVERY; SERVICE ENVIRONMENT; SERVICE ORIENTED COMPUTING;

WEB SERVICES;

EID: 57349130605     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88564-1_35     Document Type: Conference Paper

References (13)

1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Expressing and verifying business contracts with abductive logic programming. Number 07122 in Dagstuhl Seminar Proceedings (2007)
2. Andersen, J., Elsborg, E., Henglein, F., Simonsen, J.G., Stefansen, C.: Compositional specification of commercial contracts. Int. J. Softw. Tools Technol. Transf. 8(6), 485-516 (2006)
3. Bonner, A.J., Kifer, M.: Concurrency and Communication in Transaction Logic. In: Joint International Conference and Symposium on Logic Programming (1996)
4. Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A formal account of contracts for web services. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 148-162. Springer, Heidelberg (2006)
5. Davulcu, H., Kifer, M., Ramakrishnan, C.R., Ramakrishnan, I.V.: Logic Based Modeling and Analysis of Workflows. In: PODS, pp. 25-33 (1998)
6. Davulcu, H., Kifer, M., Ramakrishnan, I.: CTR-S: A Logic for Specifying Contracts in Semantic Web Services. In: WWW 2004, p. 144 (2004)
7. Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: EDOC 2006, pp. 221-232 (2006)
8. Governatori, G., Milosevic, Z., Sadiq, S.. Orlowska, M.: On compliance of business processes with business contracts. Technical report, File System Repository (Australia) (2007), http://search.arrow.edu.au/apps/ArrowUI/ OAIHandler
9. Roman, D., Kifer, M.: Reasoning about the behavior of semantic web services with concurrent transaction logic. In: VLDB, pp. 627-638 (2007)
10. Roman, D., Kifer, M.: Service contracting: A logic-based approach. Tech. report (2008), http://www.wsmo.org/TR/d14/ServiceContracting140508.pdf
11. Angelov, P.G.S.: B2B E-Contracting: A Survey of Existing Projects and Standards. Report I/RS/2003/119, Telematica Instituut (2003)
12. Senkul, P., Kifer, M., Toroslu, I.: A Logical Framework for Scheduling Workflows under Resource Allocation Constraints. In: VLDB 2002, pp. 694-705 (2002)
13. van der Aalst, W., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: The Role of Business Processes in Service Oriented Architectures, number 06291 in Dagstuhl Seminar Proceedings (2006)