| cashew |
description |
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.<br>
<br>
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. |
