Skip to main content

A Formalisation of the Evolution of Software Systems

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1798))

Abstract

One of the most interesting and probably more difficult challenges in developing Software Systems is the modelling of their evolutionary capacity, that is to say, to gather the possibility that the Software Systems will go ahead in the future with the necessary changes to adapt to the environment using a different and new functionality. Modelling this evolution requires to have into account what kind of changes and modifications could follow and support a Software System during its life and also during its development. The evolutionary characteristics of a Software System can be approached by abstract evolutionary models, which can be further formalised. This formalisation makes operational the abstract evolutionary models and allows a kind of representation of the evolutionary process that could support the specification and mapping into concrete specification and implementation tools. These tools further allow us to obtain concrete and functional Software Systems.

This research is supported by a R+D project of the Spanish CICYT (TIC97-0593-C05-04).

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Anaya, A., Rodríguez, M.J., Parets, J.: Representation and Management of Memory and Decision in Evolving Software Systems. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1997. LNCS, vol. 1333, pp. 71–82. Springer, Heidelberg (1996)

    Chapter  Google Scholar 

  2. Van Bertalanffy, L.: General System Theory. George Braziller, Inc., New York (1968); Fr. tran. ’Théorie générale des systèmes. Paris. Dunod (1973)

    Google Scholar 

  3. Holland, J.H.: Adaptation in Natural and Artificial Systems. The MIT Press, Cambridge (1992)

    Google Scholar 

  4. Le Moigne, J.L.: ’La théorie du système général. Théorie de la modélisation. Presse Universitaires de France, Paris (1977, 1983, 1990)

    Google Scholar 

  5. Le Moigne, J.L.: La modélisation des systèmes complexes, Dunod, Paris (1990)

    Google Scholar 

  6. Parets, J.: ’Reflexiones sobre el proceso de concepción de sistemas complejos. MEDES: un método de especificación, desarrolo y evolución de sistemas software. (Ph.D. Thesis). Granada. Dpto. de Lenguajes y Sistemas Informáticos. Universidad de Granada(1995)

    Google Scholar 

  7. Parets, J., Anaya, A., Rodríguez, M.J., Paderewski, P.: A Representation of Software Systems Evolution Based on the Theory of the General System. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1993. LNCS, vol. 763, pp. 96–109. Springer, Heidelberg (1994)

    Google Scholar 

  8. Parets, J., Rodríguez, M.J., Paderewsky, P., Anaya, A.: HEDES: A System Theory based tool to support evolutionary Software Systems. In: Kopacek, P., Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1999. LNCS, vol. 1798, Springer, Heidelberg (1999)

    Google Scholar 

  9. Parets, J., Torres, J.C.: Software Maintenance versus Software Evolution: AnApproach to Software Systems Evolution. In: IEEE Conference and Workshop on Computer Based Systems (ECBS 1996), Friedrichafen, pp. 134–141 (March 1996)

    Google Scholar 

  10. Torres-Carbonell, J.J., Parets-Llorca, J.: Biological Evolutive Models Applied to the Evolution of Software Systems. In: Procc. of the Third European Congress on Systems Science, Rome, October 1-4, pp. 705–709 (1996)

    Google Scholar 

  11. Torres-Carbonell, J.J., Parets-Llorca, J.: Modelling the evolution of Software Systems: A General Framework. In: 4th Europenan Congress on System Sciences. Valencia-Ibiza (Septiembre 1999)

    Google Scholar 

  12. Unified Modelling Language, http://www.rational.com/uml ; Booch, G., Jacobson, I., Rumbaugh, J., et al.: The Unified Modeling Language for Object-Oriented Development v 1.1, UML Summary, UML Notation Guide, UML Semantics. Rational Software Corporation (September 1997)

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Torres Carbonell, J.J., Parets-Llorca, J. (2000). A Formalisation of the Evolution of Software Systems. In: Kopacek, P., Moreno-Díaz, R., Pichler, F. (eds) Computer Aided Systems Theory - EUROCAST’99. EUROCAST 1999. Lecture Notes in Computer Science, vol 1798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720123_38

Download citation

  • DOI: https://doi.org/10.1007/10720123_38

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67822-9

  • Online ISBN: 978-3-540-44931-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics