85
Voted
APSEC
2007
IEEE
15 years 25 days ago
2007
IEEE
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...