A B C D E F G H I J K L M N O P Q R S T U V W X Y Z all

cashew technology full details

external website icon

Champion: Barry Norton
Research Fellow RDF Icon

Timeline:06 Sep 2005



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.


Publications | Visit External Site for Details  

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

Publications | Download PDF Publications | Visit External Site for Details  

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

Publications | Download PDF  

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

Publications | Download PDF  

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

Publications | Download PDF  

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

View all 6 publications

View By

Research Themes

Latest Seminar
Dr Lisa Bowers
The Open University

On the Peripheral - Design Praxis feeling the future paradigm

Watch the live webcast


Knowledge Media Institute
The Open University
Walton Hall
Milton Keynes
United Kingdom

Tel: +44 (0)1908 653800

Fax: +44 (0)1908 653169

Email: KMi Support


If you have any comments, suggestions or general feedback regarding our website, please email us at the address below.

Email: KMi Development Team