Skip to main content
SpringerLink
Log in

ArchWare: Architecting Evolvable Software

  • Conference paper
Software Architecture (EWSA 2004)

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

Included in the following conference series:

Abstract

This paper gives an overview of the ArchWare European Project. The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accommodating change over their lifetime, and therefore are evolvable. In order to achieve this goal, ArchWare develops an integrated set of architecture-centric languages and tools for the model-driven engineering of evolvable software systems based on a persistent run-time framework. The ArchWare Integrated Development Environment comprises: (a) innovative formal architecture description, analysis, and refinement languages for describing the architecture of evolvable software systems, verifying their properties and expressing their refinements; (b) tools to support architecture description, analysis, and refinement as well as code generation; (c) enactable processes for supporting model-driven software engineering; (d) a persistent run-time framework including a virtual machine for process enactment. It has been developed using ArchWare itself and is available as Open Source Software.

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. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)

    Book  MATH  Google Scholar 

  2. Allen, R.: A Formal Approach to Software Architectures. PhD Thesis, Carnegie Mellon University (1997)

    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, p. 21. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  4. Alloui, I., Garavel, H., Mateescu, R., Oquendo, F.: The ArchWare Architecture Analysis Language: Syntax and Semantics. Deliverable D3.1b, ArchWare European RTD Project, IST- 2001-32360 (January 2003)

    Google Scholar 

  5. Alloui, I., Oquendo, F.: Supporting Decentralised Software-intensive Processes using ZETA Component-based Architecture Description Language. In: Filipe, J. (ed.) Enterprise Information Systems, Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  6. Alloui, I., Oquendo, F.: The ArchWare Architecture Description Language: UML Profile for Architecting with ArchWare ADL. Deliverable D1.4b, ArchWare European RTD Project, IST-2001-32360 (June 2003)

    Google Scholar 

  7. Alloui, I., Oquendo, F.: Describing Software-intensive Process Architectures using a UML-based ADL. In: Proceedings of the 6th International Conference on Enterprise Information Systems (ICEIS 2004), Porto, Portugal (April 2004)

    Google Scholar 

  8. Balasubramaniam, D., Morrison, R., Kirby, G., Mickan, K.: Integration of Hyper-code and Structural Reflection into ArchWare ADL. Deliverable D1.5, ArchWare European RTD Project, IST-2001-32360 (February 2003)

    Google Scholar 

  9. Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting Systems with Process Algebras. Technical Report UBLCS-2001-7 (July 2001)

    Google Scholar 

  10. Bernardo, M., Ciancarini, P., Donatiello, L.: Detecting Architectural Mismatches in Process Algebraic Descriptions of Software Systems. In: Proceedings of the 2nd Working IEEE/IFIP Conference on Software Architecture, Amsterdam, August 2001, IEEE-CS Press (2001)

    Google Scholar 

  11. Binns, P., Engelhart, M., Jackson, M., Vestal, S.: Domain-Specific Software Architectures for Guidance, Navigation, and Control. International Journal of Software Engineering and Knowledge Engineering (1996)

    Google Scholar 

  12. Bolusset, T., Oquendo, F.: Formal Refinement of Software Architectures Based on Rewriting Logic. In: ZB 2002 International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, Grenoble (January 2002)

    Google Scholar 

  13. Brown, A.W.: An Introduction to Model Driven Architecture – Part I: MDA and Today’s Systems. The Rational Edge (February 2004)

    Google Scholar 

  14. Chaudet, C., Greenwood, M., Oquendo, F., Warboys, B.: Architecture-Driven Software Engineering: Specifying, Generating, and Evolving Component-Based Software Systems. IEE Journal: Software Engineering, UK 147(6) (December 2000)

    Google Scholar 

  15. Chaudet, C., Oquendo, F.: A Formal Architecture Description Language Based on Process Algebra for Evolving Software Systems. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), September 2000, IEEE Computer Society, Grenoble (2000)

    Google Scholar 

  16. Cimpan, S., Leymonerie, F., Oquendo, F.: The ArchWare Foundation Styles Library. Report R1.3-1, ArchWare European RTD Project, IST-2001-32360 (June 2003)

    Google Scholar 

  17. Cimpan, S., Oquendo, F., Balasubramaniam, D., Kirby, G., Morrison, R.: The ArchWare Architecture Description Language: Textual Concrete Syntax. Deliverable D1.2b, ArchWare European RTD Project, IST-2001-32360 (December 2002)

    Google Scholar 

  18. Davies, J., Woodcock, J.: Using Z: Specification, Refinement and Proof. Prentice Hall International Series in Computer Science (1996)

    Google Scholar 

  19. DeLine, R.: Toward User-Defined Element Types and Architectural Styles. In: Proceedings of the 2nd International Software Architecture Workshop, San Francisco (1996)

    Google Scholar 

  20. Fernandez, J.-C., Garavel, H., Kerbrat, A., Mateescu, R., Mounier, L., Sighireanu, M.: CADP (CAESAR/ALDEBARAN Development Package) – A Protocol Validation and Verification Toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, Springer, Heidelberg (1996)

    Google Scholar 

  21. Fischer, M.J., Ladner, R.E.: Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences 18 (1979)

    Google Scholar 

  22. Gallo, F. (ed.): Annual Report: Project Achievements in 2002. Appendix B: Survey of State-of-the-Art and Typical Usage Scenario for ArchWare ADL and AAL. Deliverable D0.4.1, ArchWare European RTD Project, IST-2001-32360 (February 2003)

    Google Scholar 

  23. Garavel, H.: Compilation et Vérification de Programmes LOTOS. Thèse de Doctorat, Univ. Joseph Fourier (Grenoble), ch. 9: Vérification (In French) (November 1989)

    Google Scholar 

  24. Garavel, H., Lang, F., Mateescu, R.: An Overview of CADP 2001. In: European Association for Software Science and Technology (EASST) Newsletter, August 2002, vol. 4 (2002)

    Google Scholar 

  25. Garlan, D., Allen, R., Ockerbloom, J.: Exploiting Style in Architectural Design Environments. In: Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, New Orleans (1994)

    Google Scholar 

  26. Garlan, D., Monroe, R., Wile, D.: ACME: An Architecture Description Interchange Language. In: Proceedings of CASCON 1997, Toronto (November 1997)

    Google Scholar 

  27. Garlan, D., Monroe, R., Wile, D.: ACME: Architectural Description of Component-Based Systems. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems, Cambridge University Press, Cambridge (2000)

    Google Scholar 

  28. Greenwood, M., Balasubramaniam, D., Cimpan, S., Kirby, N.C., Mickan, K., Morrison, R., Oquendo, F., Robertson, I., Seet, W., Snowdon, R., Warboys, B., Zirintsis, E.: Process Support for Evolving Active Architectures. In: Oquendo, F. (ed.) EWSPT 2003. LNCS, vol. 2786, pp. 112–127. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  29. Greenwood, M., Robertson, I., Seet, W., Snowdon, R., Warboys, B.: Evolution Meta-Process Model. Deliverable D5.3, ArchWare European RTD Project, IST-2001-32360 (December 2003)

    Google Scholar 

  30. Groote, J.F., Mateescu, R.: Verification of Temporal Properties of Processes in a Setting with Data. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol. 1548, p. 74. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  31. Heisel, M., Levy, N.: Using LOTOS Patterns to Characterize Architectural Styles. In: Bidoit, M., Dauchet, M. (eds.) CAAP 1997, FASE 1997, and TAPSOFT 1997. LNCS, vol. 1214, Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  32. Inverardi, P., Wolf, A.: Formal Specification an Analysis of Software Architectures using the Chemical Abstract Machine Model. IEEE Transactions on Software Engineering 21(4) (April 1995)

    Google Scholar 

  33. Inverardi, P., Wolf, A., Yankelevich, D.: Static Checking of System Behaviors using Derived Component Assumptions. ACM Transactions on Software Engineering and Methodology 9(3) (July 2000)

    Google Scholar 

  34. Kerschbaumer, A.: Non-Refinement Transformation of Software Architectures. In: Proceedings of the ZB 2002 International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, Grenoble (January 2002)

    Google Scholar 

  35. Kozen, D.: Results on the Propositional μ-Calculus. Theoretical Computer Science 27, 333–354 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  36. Leymonerie, F., Cimpan, S., Oquendo, F.: Extension d’un langage de description architecturale pour la prise en compte des styles architecturaux: application à J2EE. In: Proceedings of the 14th International Conference on Software and Systems Engineering and their Applications, Paris (December 2001) (in French)

    Google Scholar 

  37. Leymonerie, F., Cimpan, S., Oquendo, F.: État de l’art sur les styles architecturaux: classification et comparaison des langages de description d’architectures logicielles, Revue Génie Logiciel, No. 62 (September 2002) (in French)

    Google Scholar 

  38. Luckham, D.C., Kenney, J.J., Augustin, L.M., Vera, J., Bryan, D., Mann, W.: Specification and Analysis of System Architecture Using RAPIDE. IEEE Transactions on Software Engineering 21(4) (April 1995)

    Google Scholar 

  39. Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Proceedings of the 5th European Software Engineering Conference, Sitges, Spain (September 1995)

    Google Scholar 

  40. Martí-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science (2001)

    Google Scholar 

  41. Mateescu, R., Garavel, H.: XTL: A Meta-Language and Tool for Temporal Logic Model-Checking. In: Proceedings of the 1st International Workshop on Software Tools for Technology Transfer, Aalborg, Denmark (July 1998)

    Google Scholar 

  42. Medvidovic, N., Taylor, R.: A Classification and Comparison Framework for Architecture Description Languages. Technical Report UCI-ICS-97-02, Department of Information and Computer Science, University of California. Irvine (February 1997)

    Google Scholar 

  43. Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

  44. Monroe, R.: Capturing Software Architecture Design Expertise with ARMANI. Technical Report CMU-CS-98-163, Carnegie Mellon University (January 2001)

    Google Scholar 

  45. Moriconi, M., Qian, X., Riemenschneider, R.A.: Correct Architecture Refinement. IEEE Transactions on Software Engineering 21(4) (April 1995)

    Google Scholar 

  46. Moriconi, M., Riemenschneider, R.A.: Introduction to SADL 1.0: A Language for Specifying Software Architecture Hierarchies. Computer Science Laboratory, SRI International, Technical Report SRI-CSL-97-01 (March 1997)

    Google Scholar 

  47. Morrison, R.: On the Development of S-algol. PhD Thesis, University of St Andrews (1979)

    Google Scholar 

  48. Oquendo, F.: The ArchWare Architecture Description Language: Tutorial. Report R1.1-1, ArchWare European RTD Project, IST-2001-32360 (March 2003)

    Google Scholar 

  49. Oquendo, F.: The ArchWare Architecture Refinement Language. Deliverable D6.1b, ArchWare European RTD Project, IST-2001-32360 (December 2003)

    Google Scholar 

  50. Oquendo, F., Alloui, I., Cimpan, S., Verjus, H.: The ArchWare Architecture Description Language: Abstract Syntax and Formal Semantics. Deliverable D1.1b, ArchWare European RTD Project, IST-2001-32360 (December 2002)

    Google Scholar 

  51. Philipps, J., Rumpe, B.: Refinement of Pipe and Filter Architectures. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, p. 96. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  52. RAPIDE Design Team: Guide to the RAPIDE 1.0. Language Reference Manuals, Stanford University (July 1997)

    Google Scholar 

  53. Rongviriyapanish, S., Levy, N.: Variations sur le Style Architectural Pipe and Filter. In: Actes du Colloque sur les Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2000), Grenoble, France (January 2000)

    Google Scholar 

  54. Sangiorgi, D.: Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD Thesis, University of Edinburgh (1992)

    Google Scholar 

  55. Stirling, C.: Modal and Temporal Properties of Processes. Springer, Heidelberg (2001)

    Google Scholar 

  56. Stolen, K., Broy, M.: Specification and Development of Interactive Systems. Springer, Heidelberg (2001)

    Google Scholar 

  57. Strachey, C.: Fundamental Concepts in Programming Languages. Oxford University Press, Oxford (1967)

    Google Scholar 

  58. Tennent, R.D.: Language Design Methods based on Semantic Principles. Acta Informatica 8 (1977)

    Google Scholar 

  59. Verjus, H., Oquendo, F.: The ArchWare Architecture Description Language: XML Concrete Syntax. Deliverable D1.3b, ArchWare European RTD Project, IST-2001-32360 (June 2003)

    Google Scholar 

  60. Wile, D.: AML: An Architecture Meta Language. In: Proceedings of the 14th International Conference on Automated Software Engineering, Cocoa Beach, October 1999, pp. 183–190 (1999)

    Google Scholar 

  61. Zirintsis, E.: Towards Simplification of the Software Development Process: The Hypercode Abstraction. PhD Thesis, University of St Andrews (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. InterUnec/University of Savoie, France

    Flavio Oquendo

  2. University of Manchester, UK

    Brian Warboys

  3. University of St Andrews, UK

    Ron Morrison

  4. Thésame, France

    Régis Dindeleux

  5. Consorzio Pisa Ricerche, Italy

    Ferdinando Gallo

  6. INRIA, France

    Hubert Garavel

  7. Engineering Ingegneria Informatica, Italy

    Carmen Occhipinti

Authors
  1. Flavio Oquendo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Brian Warboys
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ron Morrison
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Régis Dindeleux
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ferdinando Gallo
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Hubert Garavel
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Carmen Occhipinti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. VALORIA Laboratory, University of South Brittany, Tohannic Campus, 56017, Vannes, France

    Flavio Oquendo

  2. University of Manchester, M13 9PL, Manchester, UK

    Brian C. Warboys

  3. School of Computer Science, University of St Andrews, North Haugh, KY16 9SX, St Andrews Fife, UK

    Ron Morrison

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Oquendo, F. et al. (2004). ArchWare: Architecting Evolvable Software. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds) Software Architecture. EWSA 2004. Lecture Notes in Computer Science, vol 3047. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24769-2_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24769-2_23

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22000-8

  • Online ISBN: 978-3-540-24769-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation