Advertisement

The ArchWare Tower: The Implementation of an Active Software Engineering Environment Using a π-Calculus Based Architecture Description Language

  • Brian Warboys
  • Mark Greenwood
  • Ian Robertson
  • Ron Morrison
  • Dharini Balasubramaniam
  • Graham Kirby
  • Kath Mickan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3527)

Abstract

This paper outlines our experience of using a reflective π-calculus based Architecture Description Language (ADL) to create an ’Active’ Software Engineering Environment (SEE). It describes the concept of an ’Active’ SEE developed as part of the, EU supported, project ArchWare. It analyses a small fragment of that implementation to illustrate the suitability, of the ADL language and environment, for the task of implementing such ‘Active’ systems.

Keywords

Software Development Process Autonomic Computing Software Engineering Process Process Modelling Language Tower Model 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Morrison, R., Kirby, G.N.C., Balasubramaniam, D., Mickan, K., Oquendo, F., Cimpan, S., Warboys, B.C., Greenwood, R.M.: Support for Evolving Active Architectures in the ArchWare ADL. In: Proc. 4th Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), Oslo, Norway, pp. 69–78. IEEE Computer Society, Los Alamitos (2004)CrossRefGoogle Scholar
  2. 2.
    Balasubramaniam, D., Morrison, R., Kirby, G.N.C., Mickan, K., Norcross, S.: ArchWare ADL - A User Reference Manual. ArchWare Project Report (2004)Google Scholar
  3. 3.
    Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)zbMATHGoogle Scholar
  4. 4.
    Oquendo, F., Warboys, B.C., Morrison, R., Dindeleux, R., Gallo, F., Occhipinti, C.: ArchWare: Architecting Evolvable Software. In: Oquendo, F., Warboys, B.C., Morrison, R. (eds.) EWSA 2004. LNCS, vol. 3047, pp. 257–271. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  5. 5.
    Yeomans, B.S.: A Process-Based Environment for the Evolutionary Development of Large Software Systems, M. Res Thesis University of Manchester, UK (1997)Google Scholar
  6. 6.
    Warboys, B.C., Kawalek, P., Robertson, I., Greenwood, R.M.: Business Information Systems: A Process Approach. McGraw-Hill, New York (1999)Google Scholar
  7. 7.
    Cheng, S., Huang, A., Garlan, D., Schmerl, B., Steenkiste, P.: Rainbow: Architecture-based Self-adaptation with Reusable Infrastructure. In: Proc. First International Conference on Autonomic Computing (ICAC 2004), pp. 276–277. IEEE Computer Society, New York (2004)CrossRefGoogle Scholar
  8. 8.
    Zirintsis, E., Kirby, G.N.C., Morrison, R.: Hyper-code Revisited: Unifying Program Source, Executable and Data. In: Kirby, G.N.C., Dearle, A., Sjøberg, D.I.K. (eds.) POS 2000. LNCS, vol. 2135, pp. 232–246. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  9. 9.
    Mickan, K., Morrison, R., Kirby, G.N.C., Balasubramaniam, D., Zirintsis, E.: Using Generative Programming to Visualise Hyper-code in Complex and Dynamic Systems. In: Proc. 27th Australasian Computer Science Conference (ACSC 2004), Dunedin, New Zealand, pp. 377–386. Australian Computer Society (2004)Google Scholar
  10. 10.
    Morrison, R., Balasubramaniam, D., Greenwood, M., Kirby, G.N.C., Mayes, K., Munro, D.S., Warboys, B.C.: Process Base Reference Manual (Version 1.0.6). Universities of St Andrews and Manchester Report 1999 (1999)Google Scholar
  11. 11.
    Kephart, J., Chess, D.M.: The Vision of Autonomic Computing. IEEE Computer Journal 36(1), 41–50 (2003)Google Scholar
  12. 12.
  13. 13.
    Atkinson, M.P., Bailey, P.J., Chisholm, K.J., Cockshott, W.P., Morrison, R.: PS-algol: A Language for Persistent Programming. In: Proc. 10th Australian National Computer Conference, Melbourne, Australia, pp. 70–79 (1983)Google Scholar
  14. 14.
    Banach, R., Poppleton, M.: Retrenchment: An Engineering Variation on Refinement. In: Bert, D. (ed.) B 1998. LNCS, vol. 1393, pp. 129–147. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  15. 15.
    Oquendo, F., Cîmpan, S., Balasubramaniam, D., Kirby, G.N.C., Morrison, R.: The ArchWare ADL: Definition of the Textual Concrete Syntax, ArchWare Technical Report D1.2bGoogle Scholar
  16. 16.
    Morrison, R., Balasubramaniam, D., Greenwood, R.M., Kirby, G.N.C., Mayes, K., Munro, D.S., Warboys, B.C.: A Compliant Persistent Architecture. Software Practice and Experience 30(4), 363–386 (2000)zbMATHCrossRefGoogle Scholar
  17. 17.
    Kirby, G.N.C.: Persistent Programming with Strongly Typed Linguistic Reflection. In: Procs. 25th International Conference on Systems sciences, Hawaii, pp. 820–883 (1992)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Brian Warboys
    • 1
  • Mark Greenwood
    • 1
  • Ian Robertson
    • 1
  • Ron Morrison
    • 2
  • Dharini Balasubramaniam
    • 2
  • Graham Kirby
    • 2
  • Kath Mickan
    • 2
  1. 1.School of Computer ScienceThe University of ManchesterManchesterUK
  2. 2.School of Computer ScienceThe University of St AndrewsSt Andrews, FifeUK

Personalised recommendations