Name
Abstract | ||
|---|---|---|
An important aspect of service-oriented computing is the ability to invoke services without knowledge of the actual implementation. This requires at least a description of the service interface; better yet is a specification of the complete interaction protocol. This applies to atomic services as well as service compositions. In both cases, however, guaranteeing that a service complies with the promised interaction protocol is crucial for deadlock-free communication. In this paper, we present an analysis method and tool for verifying compliance of service orchestrations with service interaction protocols given as UML models. Our method is part of a larger suite of methods and tools for model driven development of service oriented architectures covering code generation for the Web service stack and other service platforms: MDD4SOA. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1007/978-3-540-89652-4_44 | ICSOC |
Keywords | Field | DocType |
complete interaction protocol,service orchestration,atomic service,service orchestrations,service interaction protocol,service complies,service platform,service interface,verifying interaction protocol compliance,service composition,web service,promised interaction protocol,service oriented computing,code generation,service oriented architecture | Service design,Computer science,Interaction protocol,Differentiated service,Service level requirement,Application service provider,Service discovery,Data as a service,Service delivery framework,Distributed computing | Conference |
Volume | ISSN | Citations |
5364 | 0302-9743 | 1 |
PageRank | References | Authors |
0.40 | 15 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andreas Schroeder | 1 | 268 | 14.36 |
| Philip Mayer | 2 | 234 | 15.64 |