A compositional operational semantics for OWL-S

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

Volumn 3670 LNCS, Issue , 2005, Pages 303-317

  Norton, Barry ^a   Foster, Simon ^a   Hughes, Andrew ^a  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; MATHEMATICAL MODELS; WORLD WIDE WEB;

BUSINESS PROCESS EXECUTION; NOVEL SEMANTICS; WORKFLOW LANGUAGES;

SEMANTICS;

EID: 33646144205     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11549970_22     Document Type: Conference Paper

References (12)

1. Anupriya Ankolekar, Frank Huch, and Katia Sycara. Concurrent execution semantics of DAML-S with subtypes. In Proc. 1st Intl. Semantic Web Conference (ISWC2002), volume 2342 of LNCS, pages 308-332. Springer Verlag, May 2002.
2. L. de Alfaro and T.A. Henzinger. Interface automata. In Proc. 8th European Soft. Eng. Conference and 9th ACM SIGSOFT International Symposium on Foundations of Soft. Eng. (ESEC/FSE 2001), volume 26, 5 of Software Engineering Notes, pages 109-120. ACM Press, 2001.
3. David Martin et al. OWL-S: Semantic markup for web services. http://www.daml.org/services/owl-s/1.1/overview/, 2004.
4. M. Hennessy and T. Regan. A process algebra for timed systems. Information and Computation, 117(2):221-239, March 1995.
5. A. J. R. G. Milner. Communication and Concurrency. Prentice Hall, 1989.
6. A. J. R. G. Milner. Communicating and Mobile Systems: The Pi-Calculus. Cambrudge University Press, 1999.
7. Srini Narayanan and Sheila A. McIlraith. Simulation, verification and automated composition of web services. In Proc. 11th Intl. World Wide Web Conference (WWW2002), May 7-10 2002.
8. B. Norton, G. Lüttgen, and M. Mendler. A compositional semantic theory for synchronous component-based design. In 14th Intl. Conference on Concurreny Theory (CONCUR '03), number 2761 in LNCS. Springer-Verlag, 2003.
9. Barry Norton and Matt Fairtlough. Reactive types for dataflow-oriented software architectures. In Danielle C. Martin, editor, Proceedings of 4th IEEE/IFIP Conference on Software Architecture (WICSA2004), volume P2172, pages 211-220. IEEE Computer Society Press, 2004.
10. Massimo Paolucci, Anupriya Ankolekar, Naveen Srinivasan, and Katia Sycara. The DAML-S virtual machine. In Proc. 2nd Intl. Semantic Web Conference (ISWC2002), volume 2870 of LNCS, pages 290-305. Springer Verlag, 2003.
11. Dumitru Roman, Holger Lausen, and Uwe Keller. WSMO final draft. http://www.wsmo.Org/TR/d2/v1.1/, February 2005.
12. A. Sheth, C. Ramakrishnan, and C. Thomas. Semantics for the Semantic Web: The implicit, the formal and the powerful. Intl. Journal on Semantic Web and Information Systems, 1(1):1-18, 2005.