Checking Complex Compositions of Web Services Against Policy Constraints

Andrew Dingwall-Smith, Anthony Finkelstein

2007

Abstract

Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Composition of these components is generally done in an ad-hoc manner. As compositions of services become more widely used and, inevitably, more complex, there is a need to ensure that compositions of services obey constraints. In this paper, we consider the need to provide policy constraints on service compositions, that define how services can be composed in a particular business setting. We describe compositions using WS-CDL and we use xlinkit to express policy constraints as consistency rules over XML documents.

References

  1. W3C: Web services choreography description language version 1.0. http://www.w3. org/TR/2005/CR-ws-cdl-10-20051109/ (2005)
  2. Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: A consistency checking and smart link generation service. ACM Transactions on Internet Technology 2 (2002) 151-185
  3. Nentwich, C., Emmerich, W., Finkelstein, A., Ellmer, E.: Flexible consistency checking. ACM Transactions on Software Engineering and Methology 12 (2003) 28-63
  4. Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency management with repair actions. In: the 25th International Conference on Software Engineering, IEEE Press (2003) 455-464
  5. Marconi, M., Nentwich, C.: Clix language specification version 1.0. http://www. clixml.org/clix/1.0/clix.xml (2004)
  6. W3C: Xml path language (xpath) version 1.0. http://www.w3.org/TR/xpath (1999)
  7. ECMA: Ecmascript language specification. http://www.ecma-international. org/publications/standards/Ecma-262.htm (1999)
  8. W3C: Web services choreography description language: Primer. http://www.w3.org/ TR/ws-cdl-10-primer (2006)
  9. Piccinelli, G., Finkelstein, A., Nentwich, C.: Web services need consistency. In: OOPSLA 2002 Workshop on Object-Oriented Web Services. (2002)
Download


Paper Citation


in Harvard Style

Dingwall-Smith A. and Finkelstein A. (2007). Checking Complex Compositions of Web Services Against Policy Constraints . In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007) ISBN 978-972-8865-95-5, pages 94-103. DOI: 10.5220/0002414400940103


in Bibtex Style

@conference{msvveis07,
author={Andrew Dingwall-Smith and Anthony Finkelstein},
title={Checking Complex Compositions of Web Services Against Policy Constraints},
booktitle={Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)},
year={2007},
pages={94-103},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002414400940103},
isbn={978-972-8865-95-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2007)
TI - Checking Complex Compositions of Web Services Against Policy Constraints
SN - 978-972-8865-95-5
AU - Dingwall-Smith A.
AU - Finkelstein A.
PY - 2007
SP - 94
EP - 103
DO - 10.5220/0002414400940103