Sciweavers

Share
SOCA
2008
IEEE

Specification of realizable service conversations using collaboration diagrams

8 years 10 months ago
Specification of realizable service conversations using collaboration diagrams
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computing. Collaboration diagrams provide a convenient visual model for specifying such interactions. An interaction among a set of peers can be characterized as a conversation, the global sequence of messages exchanged among the peers, listed in the order they are sent. A collaboration diagram can be used to specify the set of allowable conversations among the peers participating to a composite web service. Specification of interactions from such a global perspective leads to the realizability problem: Is it possible to construct a set of peers that generate exactly the specified conversations? In this paper we investigate the realizability of conversations specified by collaboration diagrams. We formalize the realizability problem by modeling peers as concurrently executing finite state machines and we give suffic...
Tevfik Bultan, Xiang Fu
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where SOCA
Authors Tevfik Bultan, Xiang Fu
Comments (0)
books