Dynamic semantics of OWL-S in CSP-OZ

Service oriented computing(SOC) is a promising paradigm to reuse and integrate existing services to develop applications across organizations for fulfilling value-added purpose. Networked softwork is a kind of classic application of SOC It is of complicated and evolving topology and behaviours. The requirement engineering is posed by the serious challenge towards the highly volatile business requirements in the service-oriented development setting. Toward the challenge, we have proposed requirement meta modelling frame, named O-RGPS, which is the methodology, combining ontology techniques, domain modelling, and requirement engineering. We choose process part of OWL-S as process description language during domain modelling and business process design. It is important to ensure the correctness of business process before service deployment. To achieve it, formalization of the chosen language is needed to do first. In this paper we make two contributions: on the one hand, the process part of OWL-S is defined in an abstract and succinct manner; on the other hand, the language is formalized in CSP-OZ.