Please use this identifier to cite or link to this item:
https://hdl.handle.net/2440/78468
Citations | ||
Scopus | Web of Science® | Altmetric |
---|---|---|
?
|
?
|
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bourne, S. | - |
dc.contributor.author | Szabo, C. | - |
dc.contributor.author | Sheng, Q. | - |
dc.date.issued | 2012 | - |
dc.identifier.citation | Ensuring Well-Formed Conversations between Control and Operational Behaviors of Web Services: 10th International Conference, ICSOC 2012, Shanghai, China, November 12-15, 2012. Proceedings / C. Liu et al. (eds.): 507-515 | - |
dc.identifier.isbn | 9783642343209 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.issn | 1611-3349 | - |
dc.identifier.uri | http://hdl.handle.net/2440/78468 | - |
dc.description.abstract | Despite a decade's active research and development, Web services still remain undependable. Designing effective approaches for highly dependable Web service provisioning has therefore become of paramount importance. Our previous work proposes a novel model that separates the service behavior into operational and control behaviors for flexible design, development, and verification of complex Web services. In this paper, we further this research with a set of conversation rules to facilitate the verification of rich conversations between control and operational behaviors. The rules are specified as temporal logic formulas to formally check rich conversation patterns. The proposed approach is realized using state-of-the-art technologies and experiments show its feasibility and benefits. © Springer-Verlag Berlin Heidelberg 2012. | - |
dc.description.statementofresponsibility | Scott Bourne, Claudia Szabo, and Quan Z. Sheng | - |
dc.language.iso | en | - |
dc.publisher | Springer-Verlag | - |
dc.relation.ispartofseries | Lecture Notes in Computer Science ; 7636 | - |
dc.rights | Copyright Springer-Verlag Berlin Heidelberg 2012 | - |
dc.source.uri | http://dx.doi.org/10.1007/978-3-642-34321-6_34 | - |
dc.title | Ensuring well-formed conversations between control and operational behaviors of web services | - |
dc.type | Conference paper | - |
dc.contributor.conference | International Conference on Service-Oriented Computing (10th : 2012 : Shanghai, China) | - |
dc.identifier.doi | 10.1007/978-3-642-34321-6_34 | - |
dc.publisher.place | Germany | - |
pubs.publication-status | Published | - |
dc.identifier.orcid | Szabo, C. [0000-0003-2501-1155] | - |
Appears in Collections: | Aurora harvest Computer Science publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
RA_hdl_78468.pdf Restricted Access | Restricted Access | 614.43 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.