Skip to main content
SpringerLink
Log in

A Model for Dynamic Reconfiguration in Service-Oriented Architectures

  • Conference paper
Software Architecture (ECSA 2010)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 6285))

Included in the following conference series:

Abstract

The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural characteristics of service-oriented applications goes beyond what is currently addressed by existing architecture description languages (ADLs). At the heart of the service-oriented approach is the logical separation of service need from the need-fulfillment mechanism, i.e., the service provider: the binding between the two is deferred to runtime and established at the instance level, i.e. each time the need for the service emerges. In this paper we present an architecture-oriented model for dynamic reconfiguration that paves the way for the definition of ADLs that are able to address the specification of dynamic architectural characteristics of service-oriented applications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abreu, J., Bocchi, L., Fiadeiro, J., Lopes, A.: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In: Derrick, J., Vain, J. (eds.) FORTE 2007. LNCS, vol. 4574, pp. 358–373. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  2. Abreu, J., Mazzanti, F., Fiadeiro, J., Gnesi, S.: A Model-Checking Approach for Service Component Architectures. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS 2009. LNCS, vol. 5522, pp. 219–224. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  3. Allen, R., Douence, R., Garlan, D.: Specifying and analyzing dynamic software architectures. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol. 1382, pp. 21–37. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  4. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Trans. Softw. Eng. Methodol. 6(3), 213–249 (1997)

    Article  Google Scholar 

  5. Batista, T., Joolia, A., Coulson, G.: Managing dynamic reconfiguration in component-based systems. In: Morrison, R., Oquendo, F. (eds.) EWSA 2005. LNCS, vol. 3527, pp. 1–17. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  6. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal ACM 44(2), 201–236 (1997)

    Article  MATH  Google Scholar 

  7. Bistarelli, S., Santini, F.: A nonmonotonic soft concurrent constraint language for sla negotiation. ENTCS 236, 147–162 (2009)

    Google Scholar 

  8. Bocchi, L., Fiadeiro, J., Gilmore, S., Abreu, J., Solanki, M., Vankayala, V.: A formal approach to modelling time properties of service oriented systems (submitted, 2009)

    Google Scholar 

  9. Bocchi, L., Fiadeiro, J., Lopes, A.: A Use-Case Driven Approach to Formal Service-Oriented Modelling. In: Leveraging Applications of Formal Methods, Verification and Validation. CCIS, vol. 17, pp. 155–169. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. Bocchi, L., Fiadeiro, J., Lopes, A.: Service-oriented modelling of automotive systems. In: The 32nd Annual IEEE International on Computer Software and Applications, COMPSAC 2008, pp. 1059–1064. IEEE, Los Alamitos (2008)

    Google Scholar 

  11. Bocchi, L., Hong, Y., Lopes, A., Fiadeiro, J.: From bpel to srml: a formal transformational approach. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 92–107. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  12. Bruni, R., Bucchiarone, A., Gnesi, S., Hirsch, D., Lluch Lafuente, A.: Graph-based design and analysis of dynamic software architectures. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 37–56. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  13. Carbone, M., Honda, K., Yoshida, N.: A calculus of global interaction based on session types. ENTCS 171(3), 127–151 (2007)

    MATH  Google Scholar 

  14. Coulson, G., Blair, G., Grace, P., Taiani, F., Joolia, A., Lee, K., Ueyama, J., Sivaharan, T.: A generic component model for building systems software. ACM Trans. Comput. Syst. 26(1), 1–42 (2008)

    Article  Google Scholar 

  15. Boreale, M., et al.: Scc: A service centered calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38–57. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Fargier, H., Lang, J., Martin-Clouaire, R., Schiex, T.: A constraint satisfaction framework for decision under uncertainty. In: Proc. of the 11th Int. Conf. on Uncertainty in Artificial Intelligence, pp. 175–180 (1996)

    Google Scholar 

  17. Fiadeiro, J., Lopes, A., Bocchi, L.: An abstract model of service discovery and binding, http://www.cs.le.ac.uk/people/jfiadeiro

  18. Fiadeiro, J., Lopes, A., Bocchi, L., Abreu, J.: The Sensoria reference modelling language, http://www.cs.le.ac.uk/people/jfiadeiro

  19. Garlan, D., Cheng, S.-W., Huang, A.-C., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-based self-adaptation with reusable infrastructure. Computer 37(10), 46–54 (2004)

    Article  Google Scholar 

  20. Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) TOOLS 1994. LNCS, vol. 794, pp. 353–368. Springer, Heidelberg (1994)

    Google Scholar 

  21. Kon, F., Costa, F., Blair, G., Campbell, R.H.: The case for reflective middleware. Communications ACM 45(6), 33–38 (2002)

    Article  Google Scholar 

  22. Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33–47. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  23. Lucchi, R., Mazzara, M.: A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming (2005)

    Google Scholar 

  24. Magee, J., Kramer, J.: Dynamic structure in software architectures. SIGSOFT Softw. Eng. Notes 21(6), 3–14 (1996)

    Article  Google Scholar 

  25. Beisiegel, M., et al.: Service Component Architecture Specifications (2007)

    Google Scholar 

  26. Morrison, R., Kirby, G., Balasubramaniam, D., Mickan, K., Oquendo, F., Cmpan, S., Warboys, B., Snowdon, B., Greenwood, R.: Support for evolving software architectures in the ArchWare ADL. In: 4th Working IEEE/IFIP Conference on Software Architecture (2004)

    Google Scholar 

  27. Oquendo, F.: π-adl: an architecture description language based on the higher-order typed π-calculus for specifying dynamic and mobile software architectures. SIGSOFT Softw. Eng. Notes 29(3), 1–14 (2004)

    Article  Google Scholar 

  28. Oquendo, F.: Formal approach for the development of business processes in terms of service-oriented architectures using pi-adl. In: SOSE, pp. 154–159 (2008)

    Google Scholar 

  29. Oreizy, P., Taylor, R.: On the role of software architectures in runtime system reconfiguration. IEEE Proceedings- Software Engineering 145(5), 137–145 (1998)

    Article  Google Scholar 

  30. Perry, D., Wolf, L.: Foundations for the study of software architecture. SIGSOFT Softw. Eng. Notes 17(4), 40–52 (1992)

    Article  Google Scholar 

  31. López-Sanz, M., Qayyum, Z., Cuesta, C.E., Marcos, E., Oquendo, F.: Representing service-oriented architectural models using pi-adl. In: Morrison, R., Balasubramaniam, D., Falkner, K. (eds.) ECSA 2008. LNCS, vol. 5292, pp. 273–280. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  32. Wermelinger, M., Fiadeiro, J.: A graph transformation approach to software architecture reconfiguration. Sci. Comput. Program. 44(2), 133–155 (2002)

    Article  MATH  Google Scholar 

  33. Wermelinger, M., Lopes, A., Fiadeiro, J.: A graph based architectural (re)configuration language. In: ESEC/FSE-9, pp. 21–32. ACM, New York (2001)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH, UK

    José Luiz Fiadeiro

  2. Faculty of Sciences, University of Lisbon, Campo Grande, 1749–016, Lisboa, Portugal

    Antónia Lopes

Authors
  1. José Luiz Fiadeiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antónia Lopes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Software Development Group, IT University of Copenhagen, Rued Langgaards, Vej 7, 2300, Copenhagen, S, Denmark

    Muhammad Ali Babar

  2. Computational and Information Sciences, Pacific Northwest National Laboratory, MS: K7-90, Richland, PO Box 999, 99352, WA, USA

    Ian Gorton

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fiadeiro, J.L., Lopes, A. (2010). A Model for Dynamic Reconfiguration in Service-Oriented Architectures. In: Babar, M.A., Gorton, I. (eds) Software Architecture. ECSA 2010. Lecture Notes in Computer Science, vol 6285. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15114-9_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15114-9_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15113-2

  • Online ISBN: 978-3-642-15114-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation