Communicating sequential processes
Communicating sequential processes
Knowledge systems and Prolog: developing expert, database, and natural language systems (2nd ed.)
Knowledge systems and Prolog: developing expert, database, and natural language systems (2nd ed.)
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Abstractions, composition and reasoning
Proceedings of the 13th workshop on Aspect-oriented modeling
Composition semantics for executable and evolvable behavioral modeling in MDA
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
| Hi-index | 0.00 |
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.