A compositional operational semantics for OWL-S
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Hi-index | 0.00 |
Digital signal-processing (DSP) tools, such asPtolemy, LabView and iConnect, allow application developersto assemble reactive systems by connecting pre-definedcomponents in generalised dataflow graphs andby hierarchically building new components by encapsulatingsub-graphs. We follow the literature in calling thisapproach dataflow-oriented development. Our previouswork has shown how a new process calculus, unitingideas from previous systems within a compositional theory,can be formally shown to capture the propertiesof such systems. This paper first re-casts the graphicaldataflow-oriented style of design into an underlyingtextual architecture design language (ADL) andthen shows how the previous modelling approach can beseen as a system of process-algebraic behavioural typesfor such a language, so that type-checking is the mechanismused to statically diagnose the reactivity ofapplications. We show how both the existing notion of behaviouralequivalence and a new behavioural pre-orderare involved in this judgement.