TY - GEN
T1 - From public views to private views: correctness-by-design for services
AU - Aalst, van der, W.M.P.
AU - Lohmann, N.
AU - Massuthe, P.
AU - Stahl, C.
AU - Wolf, K.
PY - 2008
Y1 - 2008
N2 - Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resulting architecture, often referred to as SOA, has been an important enabler for interorganizational processes. Apart from technological issues that need to be addressed, it is important that all parties involved in such processes agree on the "rules of engagement". Therefore, we propose to use a contract that specifies the composition of the public views of all participating parties. Each party may then implement its part of the contract such that the implementation (i.e., the private view) accords with the contract. In this paper, we define a suitable notion of accordance inspired by the asynchronous nature of services. Moreover, we present several transformation rules for incrementally building a private view such that accordance with the contract is guaranteed by construction. These rules include adding internal tasks as well as the reordering of messages and are therefore much more powerful than existing correctness-preserving transformation rules.
AB - Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resulting architecture, often referred to as SOA, has been an important enabler for interorganizational processes. Apart from technological issues that need to be addressed, it is important that all parties involved in such processes agree on the "rules of engagement". Therefore, we propose to use a contract that specifies the composition of the public views of all participating parties. Each party may then implement its part of the contract such that the implementation (i.e., the private view) accords with the contract. In this paper, we define a suitable notion of accordance inspired by the asynchronous nature of services. Moreover, we present several transformation rules for incrementally building a private view such that accordance with the contract is guaranteed by construction. These rules include adding internal tasks as well as the reordering of messages and are therefore much more powerful than existing correctness-preserving transformation rules.
U2 - 10.1007/978-3-540-79230-7_10
DO - 10.1007/978-3-540-79230-7_10
M3 - Conference contribution
SN - 978-3-540-79229-1
T3 - Lecture Notes in Computer Science
SP - 139
EP - 153
BT - Web Services and Formal Methods (Proceedings 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007)
A2 - Dumas, M.
A2 - Heckel, R.
PB - Springer
CY - Berlin
ER -