Carrez, Cyril; Floch, Jacqueline; Sanders, Richard (Journal article; Peer reviewed, 2008)
Services are normally not performed by a single component, but result from the collaboration of several distributed components. Their precise specification and validation require complex models, where the intention of the ...