Abstract
Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect to or detach from the system. Service Oriented Computing (SOC) has emerged as a suitable paradigm for specifying and implementing such global systems. The variety and dynamics in the possible scenarios implies that considering such systems as belonging to a single architectural style is not helpful. This considerations take us to propose the notion of Mode as a new element of architectural descriptions. A mode abstracts a specific set of services that must interact for the completion of a specific subsystem task. This paper presents initial ideas regarding the formalization of modes and mode transitions as explicit elements of architectural descriptions with the goal of providing flexible support for the description and verification of complex adaptable service oriented systems. We incorporate the notion of mode to the Darwin architectural language and apply it to illustrate how modes may help on describing systems from the Automotive domain.
Partially supported by the Project EC FET – Global Computing 2, IST-2005-16004 Sensoria and The Leverhulme Trust.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Garlan, D., Shaw, M.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)
Garlan, D., Kramer, J., Wolf, A.: Woss 2002: Proceedings of the first workshop on self-healing systems, New York, NY, USA (2002)
Garlan, D., Kramer, J., Wolf, A.: Woss 2004: Proceedings of the 1st ACM sigsoft workshop on self-managed systems. ACM Press, New York (2004)
Georgiadis, I.: Self-Organising Distributed Component Software Architectures. PhD thesis, Department of Computing, Imperial College of Science, Technology and Medicine, University of London (January 2002)
Hofmeister, C., Nord, R., Soni, D.: Applied Software Architecture. Addison-Wesley, Reading (1999)
Hofmeister, C., Nord, R., Soni, D.: Describing software architecture with UM L. In: First Working IFIP Conference on Software Architecture, San Antonio, Texas. Kluwer Academic Publishers, Dordrecht (1999)
Jackson, D.: Alloy: A lightweight object modelling notation. Technical report, MIT Lab for Computer Science (July 1999)
Jackson, D., Schechter, I., Shlyakhter, I.: Alcoa: The alloy constraint analyzer. In: International Conference on Software Engineering, pp. 730–733, Ireland (June 2000)
Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying distributed software architectures. In: Botella, P., Schäfer, W. (eds.) ESEC 1995. LNCS, vol. 989. Springer, Heidelberg (1995)
Magee, J., Kramer, J.: Dynamic structure in software architectures. In: Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE4), ACM Software Engineering Notes, San Francisco, pp. 3–14 (October 1996)
Magee, J., Kramer, J.: Concurrency: State Models and Java Programs, 2nd edn. Wiley, Chichester (2006)
Magee, J., Kramer, J., Giannakopoulou, D.: Analysing the behaviour of distributed software architectures: a case study. In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems, pp. 240–245 (1996)
Maraninchi, F., Rémond, Y.: Mode-automata: About modes and states for reactive systems. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 249–250. Springer, Heidelberg (1998)
Medvidovic, N., Rosemblum, D.: Assesing the suitability of a standard design method. In: First Working IFIP Conference on Software Architecture, San Antonio, Texas. Kluwer Academic Publishers, Dordrecht (1999)
Medvidovic, N., Taylor, R.: A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering 26(1), 70–93 (2000)
Perry, D., Wolf, A.: Foundations for the study of software architecture. ACM SIGSOFT 17(4), 40–52 (1992)
Uchitel, S., Chatley, R., Magee, J., Kramer, J.: System architecture: the context for scenario-based model synthesis. In: Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2004), ACM Software Engineering Notes, Newport Beach, CA, pp. 33–42 (2004)
Zobel, A.: Sensoria deliverable 8.0: Description of scenarios for the automotive case study (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hirsch, D., Kramer, J., Magee, J., Uchitel, S. (2006). Modes for Software Architectures. In: Gruhn, V., Oquendo, F. (eds) Software Architecture. EWSA 2006. Lecture Notes in Computer Science, vol 4344. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11966104_9
Download citation
DOI: https://doi.org/10.1007/11966104_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69271-3
Online ISBN: 978-3-540-69272-0
eBook Packages: Computer ScienceComputer Science (R0)