Showing all 6 Publications linked to the cashew technology
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...
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
Norton, B., Luttgen, G. and Mendler, M. (2003) A Compositional Semantic Theory for Synchronous Component-Based Design, 14th International Conference on Concurrency Theory (CONCUR'03), Marseilles, France CONCUR 2003 - Concurrency Theory, eds. Roberto Amadio, Denis Lugiez, LNCS 2761, pp. 461-476, Springer