This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Andrieux A, Czajkowski K, Dan A, Keahey K, Ludwig H, Nakata T, Pruyne J, Rofrano J, Tuecke S, Xu M (2005) Web Services Agreement Specification (ws-agreement). http://www.ggf.org/Public/Comment Docs/Documents/Oct- 2005/WS-AgreementSpecificationDraft050920.pdf
Apache Software Foundation (2003) WSIF: Web Services Invocation Framework. http://ws.apache.org/wsif/
Apache Software Foundation (2005) Web Services — Axis. http://ws.apache.org/axis/
Berardi D, Calvanese D, De Giacomo G, Hull R, Mecella M (2005) Automatic Composition of Transition-based Semantic Web Services with Messaging. In: Proc 31st Int Conf on Very Large Data Bases, ACM, pp 613-624
Booth D, Haas H, McCabe F, Newcomer E, Champion M, Ferris C, Orchard D (2004) Web Services Architecture. World Wide Web Consortium. http://www.w3.org/TR/2004/NOTE-ws-arch-20040211/
Burdy L, Cheon Y, Cok DR, Ernst MD, Kiniry JR, Leavens GT, Leino KRM, Poll E (2005) An Overview of JML Tools and Applications. Int J on Software Tools for Technology Transfer 7 (3): 212-232
Duivestein S (2001) Web Services and Workflow — Organizing Web Ser-vices. http://www.webservicesarchitect.com/content/articles/sander01.asp
Kephart JO, Chess DM (2003) The Vision of Autonomic Computing. IEEE Com-puter 36 (1): 41-50
Lazovik A, Aiello M, Papazoglou MP (2004) Associating Assertions with Busi-ness Processes and Monitoring their Execution. In: Proc 2nd Int Conf on Service Oriented Computing, ACM, pp 94-104
Lehner T (2004) Dynamic Reconfiguration of BPEL Processes. Master ’s thesis, Politecnico di Milano and Universit ät Passau
de Lemos R, Gacek C, Romanovsky AB (2003) ICSE Workshop on Software Ar-chitectures for Dependable Systems. In: Proc 25th Int Conf on Software Engineer-ing, IEEE Computer Society Press, pp 781-782
Luckham DC, von Henke FW (1985) An Overview of Anna, a Specification Lan-guage for Ada. IEEE Software 2 (2): 9-22
Ludwig H, Dan A, Kearney R (2004) Cremona: an Architecture and Library for Creation and Monitoring of WS-agreements. In: Proc 2nd Int Conf on Service Oriented Computing, ACM, pp 65-74
Mahbub K, Spanoudakis G (2004) A framework for Requirements Monitoring of Service based Systems. In: Proc 2nd Int Conf on Service Oriented Computing, ACM, pp 84-93
Mecella M, Parisi-Presicce F, Pernici B (2002) Modeling E-service Orchestration through Petri Nets. In: Proc 3rd Int Workshop on Technologies for E-Services, LNCS 2444, Springer, pp 38-47
Meyer B (1992) Eiffel: The Language. Prentice-Hall
Meyer B (1997) Object-oriented Software Construction. 2nd edn. Prentice Hall
Nentwich C, Capra L, Emmerich W, Finkelstein A (2002) xlinkit: a Consistency Checking and Smart Link Generation Service. ACM Trans Internet Technology 2 (2): 151-185
Pautasso C, Heinis T, Alonso G (2005) Autonomic Execution of Web Service Compositions. In: Proc IEEE Int Conf on Web Services, IEEE Computer Society Press, pp 435-442
Ren ZH, Jin BH, Li J (2004) A New Web Application Development Methodol-ogy: Web Service Composition. In: Proc 2nd Int Workshop on Web Services, E-Business, and the Semantic Web, LNCS 3095, Springer, pp 134-145
SeCSE Crew (2004) Service Centric System Engineering — EU/IST Integrated Project. http://secse.eng.it/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Baresi, L., Ghezzi, C., Guinea, S. (2007). Towards Self-healing Composition of Services. In: Krämer, B.J., Halang, W.A. (eds) Contributions to Ubiquitous Computing. Studies in Computational Intelligence, vol 42. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44910-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-44910-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-44909-6
Online ISBN: 978-3-540-44910-2
eBook Packages: EngineeringEngineering (R0)