Service-oriented systems are seen as an IT trend impacting businesses. Successful implementation and maintenance of such systems demands their modelling. However most modern modelling approaches do not have the necessary service abstractions and suitable composition techniques for integration of behaviour of services. The contribution of this paper is the analysis of the behavioural semantics of a declarative, business rules based approach called Ampersand and the identification of the semantic extensions needed for modelling of services and their composition.
展开▼
