Rexplore Graph

The topics associated to the KMi publications listed in this page were automatically generated using the CSO Classifier, a solution developed by the SKM3 team in KMi. This technology has also been adopted by Springer Nature and is used routinely by them to generate automatically the metadata for all Computer Science conference proceedings they publish.

Showing all 6 Publications linked to the cashew technology

external website icon

CASHEW

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...


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

Topics: abstract state machines

Publications related to: abstract state machines

Norton, B.

activity diagram

Publications related to: activity diagram

Norton, B.

business process

Publications related to: business process

Norton, B.

class diagrams

Publications related to: class diagrams

Norton, B.

computer programming languages

Publications related to: computer programming languages

Norton, B.

contour followers

Publications related to: contour followers

Norton, B.

dynamic composition

Publications related to: dynamic composition

Norton, B.

formal methods

Publications related to: formal methods

Norton, B.

graphic methods

Publications related to: graphic methods

Norton, B.

information systems

Publications related to: information systems

Norton, B.

information theory

Publications related to: information theory

Norton, B.

model checking

Publications related to: model checking

Norton, B.

object oriented programming

Publications related to: object oriented programming

Norton, B.

ontology

Publications related to: ontology

Norton, B.

owl-s

Publications related to: owl-s

Norton, B.

semantic descriptions

Publications related to: semantic descriptions

Norton, B.

semantic information

Publications related to: semantic information

Norton, B.

semantic web

Publications related to: semantic web

Norton, B.

semantic web services

Publications related to: semantic web services

Norton, B.

semantics

Publications related to: semantics

Norton, B.

sequence diagrams

Publications related to: sequence diagrams

Norton, B.

service compositions

Publications related to: service compositions

Norton, B.

service orchestration

Publications related to: service orchestration

Norton, B.

software engineering

Publications related to: software engineering

Norton, B.

uml activity diagrams

Publications related to: uml activity diagrams

Norton, B.

uml diagrams

Publications related to: uml diagrams

Norton, B.

uml sequence diagrams

Publications related to: uml sequence diagrams

Norton, B.

unified modeling language

Publications related to: unified modeling language

Norton, B.

web ontology language

Publications related to: web ontology language

Norton, B.

web service description

Publications related to: web service description

Norton, B.

web service discovery

Publications related to: web service discovery

Norton, B.

world wide web

Publications related to: world wide web

Norton, B.



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

Topics: computer science

Publications related to: computer science

Norton, B.

engineering

Publications related to: engineering

Norton, B.

engineering design

Publications related to: engineering design

Norton, B.

information theory

Publications related to: information theory

Norton, B.

ontology

Publications related to: ontology

Norton, B.

product design

Publications related to: product design

Norton, B.

quality of service

Publications related to: quality of service

Norton, B.

reengineering

Publications related to: reengineering

Norton, B.

semantic descriptions

Publications related to: semantic descriptions

Norton, B.

semantic information

Publications related to: semantic information

Norton, B.

semantic web

Publications related to: semantic web

Norton, B.

semantic web services

Publications related to: semantic web services

Norton, B.

semantics

Publications related to: semantics

Norton, B.

service compositions

Publications related to: service compositions

Norton, B.

service orchestration

Publications related to: service orchestration

Norton, B.

software

Publications related to: software

Norton, B.

software engineering

Publications related to: software engineering

Norton, B.

software reengineering

Publications related to: software reengineering

Norton, B.

world wide web

Publications related to: world wide web

Norton, B.



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


Publications | Download PDF  

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


View By

Toggle Topic Display

Other Publications

Latest Seminar
Microsoft Research Cambridge

Actions and their Consequences: Implicit Interactions with Machine Learned Knowledge Bases

More Details

CONTACT US

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

Tel: +44 (0)1908 653800

Fax: +44 (0)1908 653169

Email: KMi Support

COMMENT

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

Email: KMi Development Team