Sciweavers

13 search results - page 1 / 3
» Specification of realizable service conversations using coll...
Sort
View
SOCA
2008
IEEE
13 years 4 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 computi...
Tevfik Bultan, Xiang Fu
APSEC
2007
IEEE
13 years 8 months ago
Realizability of Collaboration-based Service Specifications
This paper is concerned with compositional specification of services using UML 2 collaborations, activity and interaction diagrams. It addresses the problem of realizability: give...
Humberto Nicolás Castejón, Rolv Br&a...
WWW
2003
ACM
14 years 5 months ago
Service Chart Diagrams - Description & Application
This paper presents an approach for the design and development of service-driven applications. These applications rely on the collaboration of multiple services that businesses of...
Zakaria Maamar, Boualem Benatallah, Wathiq Mansoor
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
13 years 11 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
ICWS
2009
IEEE
14 years 1 months ago
A Tool for Choreography Analysis Using Collaboration Diagrams
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
Tevfik Bultan, Chris Ferguson, Xiang Fu