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
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...
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 related to: abstract state machines
Publications related to: activity diagram
Publications related to: business process
Publications related to: class diagrams
Publications related to: computer programming languages
Publications related to: contour followers
Publications related to: dynamic composition
Publications related to: formal methods
Publications related to: graphic methods
Publications related to: information systems
Publications related to: information theory
Publications related to: model checking
Publications related to: object oriented programming
Publications related to: ontology
Publications related to: owl-s
Publications related to: semantic descriptions
Publications related to: semantic information
Publications related to: semantic web
Publications related to: semantic web services
Publications related to: semantics
Publications related to: sequence diagrams
Publications related to: service compositions
Publications related to: service orchestration
Publications related to: software engineering
Publications related to: uml activity diagrams
Publications related to: uml diagrams
Publications related to: uml sequence diagrams
Publications related to: unified modeling language
Publications related to: web ontology language
Publications related to: web service description
Publications related to: web service discovery
Publications related to: world wide web
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 related to: computer science
Publications related to: engineering
Publications related to: engineering design
Publications related to: information theory
Publications related to: ontology
Publications related to: product design
Publications related to: quality of service
Publications related to: reengineering
Publications related to: semantic descriptions
Publications related to: semantic information
Publications related to: semantic web
Publications related to: semantic web services
Publications related to: semantics
Publications related to: service compositions
Publications related to: service orchestration
Publications related to: software
Publications related to: software engineering
Publications related to: software reengineering
Publications related to: world wide web
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