Skip to main content

Formalization of an HCI Style for Accelerator Restart Monitoring

  • Conference paper
Book cover Software Architecture (EWSA 2004)

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

Included in the following conference series:

Abstract

In this paper we present a solution to design and implement a set of high-level standardized Human Computer Interfaces (HCI) for the monitoring of particle accelerators restart. We are developing a software tool, which will generate these HCIs from a predefined model. The architecture-oriented solution presented in the paper can be useful for the design of HCIs for the monitoring of any industrial process, indeed, the requirements are often very similar to those defined in our context. We expose how the architectural development techniques are used to specify and produce a family of process monitoring HCIs. Specifically, we have used an Architectural Description Language (ADL) to formalize an architectural style, which describes the common properties that the HCIs should satisfy in our specific activity domain. This paper presents the different steps of our architectural design process and the integration of the formalized style in a development environment.

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

Access this chapter

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. Bätz, M.: An Engineering Method for the Monitoring for Accelerator Equipment and Technical Infrastructure, CERN (2002)

    Google Scholar 

  2. Ratcliffe, O.: SEAM User Requirements Document, CERN (2002)

    Google Scholar 

  3. Boasson, M.: The Artistry of Software Architecture, Guest editor’s introduction. IEEE Software (1995)

    Google Scholar 

  4. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-Wesley, Reading (1997)

    Google Scholar 

  5. Garlan, D., Shaw, M., Okasaki, C., Scott, C., Swonger, R.: Experiences with a Course on Architectures for Software Systems. In: Proceedings of the 6th SEI Conference on Software Engineering Education (1992)

    Google Scholar 

  6. Perry, D.E., Wolf, A.L.: Foundations for the Study of Software Architecture. ACM SIGSOFT Software Engineering Notes 17(4) (1992)

    Google Scholar 

  7. Rapide Design Team, Guide to the Rapide 1.0 Language Reference Manuals, Technical report. Stanforf University (1997)

    Google Scholar 

  8. Upchurch, R.: Perspective Foundations: Where does architecture fit in the life-cycle? (1995)

    Google Scholar 

  9. Abowd, G., Allen, R., Garlan, D.: Using style to give meaning to software architectures. In: Proc SIGSOFT 1993: Foundations Eng., ACM, New York (1993)

    Google Scholar 

  10. Abd-Allah, A.: Composing Heterogeneous Software Architecture, Doctoral Dissertation, Center for Software Engineering, University of Southern California (1996)

    Google Scholar 

  11. Garlan, D.: What is Style. In: Proceedings of Dagshtul Workshop on Software Architecture (1995)

    Google Scholar 

  12. Allen, R.: Formalism and Informalism in Software Architectural Style: a Case Study. In: Proceedings of the First International Workshop on Architectures for Software Systems (1995)

    Google Scholar 

  13. Monroe, R.T., Kompanek, D., Melton, R., Garlan, D.: Stylized Architecture, Design Patterns, and Objects (1996)

    Google Scholar 

  14. Leymonerie, F., Cîmpan, 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)

    Google Scholar 

  15. Allen, R.: HLA: A Standards Effort as Architectural Style. In: Proceedings of the Second International Software Architecture Workshop, ISAW2 (1996)

    Google Scholar 

  16. Leymonerie, F., Cîmpan, 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)

    Google Scholar 

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

    Google Scholar 

  18. Oquendo, F., Alloui, I., Cîmpan, 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 

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

    Google Scholar 

  20. Cîmpan, 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 

  21. Revillard, J., Benoit, E., Cîmpan, S., Oquendo, F.: Software Architecture for Intelligent Instrument Design. In: Proceedings of the 16th International Conference on Software and Systems Engineering and their Applications (ICSSEA 2003), Paris, France (December 2003)

    Google Scholar 

  22. Oquendo, F., et al.: Positioning ArchWare ADL w.r.t. the State of the Art, ArchWare European RTD Project, IST-2001-32360 (December 2002)

    Google Scholar 

  23. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Information and Computation, pp. 1–40 (1992)

    Google Scholar 

  24. 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 

  25. Occhipinti, C., Zavattari, C.: Preliminary ArchWare Architecture Modeller, ArchWare European RTD Project, IST-2001-32360, Deliverable D2.1a (2003)

    Google Scholar 

  26. Verjus, H., Pourraz, F., Azzaiez, S.: Final ArchWare Architecture Animator – Release 1 – Prototype, ArchWare European RTD Project, IST-2001-32360, Deliverable D2.2b (2003)

    Google Scholar 

  27. Garlan, D., Kompanek, A., Melton, R., Monroe, R.: Architectural Style: An Object-Oriented Approach (Aesop). Carnegie Mellon University, Pittsburgh (1996)

    Google Scholar 

  28. Leymonerie, F., et al.: The Style-Based Customizer – Release 1, ArchWare European RTD Project, IST-2001-32360, Deliverable D2.4a (2003)

    Google Scholar 

  29. Le Berre, D., et al.: Preliminary ArchWare Architecture Analysis Tool by Theorem-Proving – Prototype, ArchWare European RTD Project, IST-2001-32360, Deliverable D3.5a (2003)

    Google Scholar 

  30. Leymonerie, F., et al.: Preliminary ArchWare Architecture Analysis Tool by Model-Specific Evaluation – Prototype, ArchWare European RTD Project, IST-2001-32360, Deliverable D3.7a (2003)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ratcliffe, O., Cîmpan, S., Oquendo, F., Scibile, L. (2004). Formalization of an HCI Style for Accelerator Restart Monitoring. 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_12

Download citation

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

  • 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