Technologies | Hot

Hot technology

CASHEW

Semantic Web and Knowledge Services  

Composition And Semantic enHancEment of Web-services

The Cashew project concerns the description and composition of semantic web-services, unlike most efforts from the semantic web community, the primary flavour of semantics concentrated on is behavioural semantics. In particular we concentrate on the operational style of behavioural semantics from which we can directly form an implementation. Furthermore, the fundamental guiding principal is that of compositionality, missing from existing work.



The Cashew project is inspired by both OWL-S and WSMO, as well as by BPEL, Workflow Patterns and UML. It defines two formal languages Cashew-S - a language for orchestrations and choreography, visualised in UML Activity and State Diagrams respectively - and Cashew-Nuts, a process language via which semantics are induced in labelled transition systems and thereby abstract state machines.

Participant:

Technology Champion: Barry Norton

URL: http://kmi.open.ac.uk/technologies/cashew/

Norton, B., Pedrinaci, C., Henocque, L. and Kleiner, M. (2008) 3-Level Behavioural Models for Semantic Web Services, International Transactions on Systems Science and Applications, 4, 4, pp. 340-355

Norton, B. and Pedrinaci, C. (2006) 3-Level Service Composition and Cashew: A Model for Orchestration and Choreography in Semantic Web Services, Workshop: 2nd International Workshop on Agents, Web Services and Ontologies Merging (AWeSOMe'06) at OnTheMove Federated Conferences (OTM'06), Montpelier, FR

Norton, B. (2005) Experiences with OWL-S, Directions for Service Composition: The Cashew Position, Workshop: OWL: Experiences and Directions, Galway, Ireland

Norton, B., Foster, S. and Hughes, A. (2005) A Compositional Operational Semantics for OWL-S, Workshop: 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), Versailles, France Formal Techniques for Computer Systems and Business Processes, eds. Mario Bravetti, Leila Kloul, Gianluigi Zavattaro, LNCS 3670, pp. 303-317, Springer

Norton, B. (2005) Behavioural Types for Synchronous Software Composition, Workshop: Workshop on Foundation of Interface Technologies (FIT 2005), San Francisco, US