131
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
154
click to vote
BPM
2007
Springer
15 years 10 months ago
2007
Springer
In a service composition, it is necessary to ensure that the behaviour of a constituent service is consistent with the requirements of the composition. In an adaptive service compo...