Abstract
In this paper, a domain model of dynamic system reconfiguration is presented. The intent of this model is to provide a comprehensive conceptual framework within which to address problems and solutions related to dynamically reconfigurable systems in a systematic and consistent manner. The model identifies and categorizes the various types of change that may be required, the relationship between those types, and the key factors that need to be considered and actions to be performed when such changes take place. A rigorous formal methodology, based on the Alloy language and tools, is employed to specify precisely and formally the detailed relationships between various parts of the model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jarke, M.: Meta models for requirements engineering (1996)
Jarke, M.: Requirements Tracing (Introduction). Communications of the ACM 41(12), 32–36 (1998)
Georgiadis, I., Magee, J., Kramer, J.: Self-Organising Software Architectures for Distributed Systems. In: ACM WOSS 2002, ACM, Charleston, SC (2002)
Oreizy, P., Issues in Modeling and Analyzing Dynamic Software Architectures, Information and Computer Science, University of California, Irvine: Irvine, California (1999)
Oreizy, P., Medvidovic, N., Taylor, R.N.: Architecture-Based Runtime Software Evolution. In: Proceedings of the International Conference on Software Engineering (1998)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Component Software Series. Addison-Wesley, New York (2002)
Deployment-and-Configuration-Draft-Adopted-Specification, Deployment and Configuration Draft Adopted Specification, OMG: Needham, MA (2003)
Oreizy, P., et al.: An Architecture-Based Approach to Self-Adaptive Software. IEEE Intelligent Systems, 54–62 (1999)
Appavoo, J., et al.: Enabling automatic behavior in systems software with hot swapping. IBM Systems Journal, 2003 42(1), 60–76 (2003)
Lopes, A., Wermelinger, M., Fiadeiro, J.L.: Higher-Order Architectural Connectors. ACM Transactions on Software Engineering and Methodology 12(1), 64–104 (2003)
Whisnant, K., Kalbarczyk, Z.T., Iyer, R.K.: A system model for dynamically reconfigurable software. IBM Systems Journal 42(1), 45–59 (2003)
Czarnecki, K., Eisennecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, New York (2000)
Gomaa, H.: Designing Software Product Lines with UML From Use Cases to Pattern-Based Software Architectures. In: Booch, G., Jacobson, I., Rumbaugh, J. (eds.) Object Technology Series, Addison-Wesley, New York (2004)
Jackson, D., Schechter, I., Shlyakhter, I.: Alcoa: The Alloy Constraint Analyzer, Massachusetts Institute of Technology: Cambridge, Massachusetts (1999)
Jackson, D.: Alloy: A Lightweight Object Modelling Notation, p. 32. Massachusetts Institute of Technology, Massachusetts (2001)
Jackson, D.: Micromodels of Software: Ligthweight Modelling and Analysis with Alloy, MIT Lab for Computer Science: Cambridge, Mass. pp. 1–58 (2002)
Vaziri, M., Jackson, D.: Some Shortcomings of OCL, the Object Constriant Language of UML. MIT Laboratory for Computer Science: Cambridge, Mass., pp. 1–17 (1999)
Marriott, K., Stuckey, P.J.: Programming with Constraints An Introduction. MIT Press, Cambridge (1998)
Duffy, D.J.: Domain Architectures Models and Architectures for UML Applications. John Wiley and Sons, Hoboken (2004)
Fowler, M.: UML Distilled Third Edition A Brief Guide to the Standard Object Modeling Language. Object Technology Series. Addison-Wesley, Reading (2004)
Warmer, J., Kleppe, A.: The Object Constraint Language Second Edition Getting Your Models Ready for MDA. Object Technology Series. Addison-Wesley, New York (2003)
Walsh, D.: Work in Progress, in School of Computer Science, Carleton University. Ottawa-Carleton Institute for Computer Science: Ottawa, Canada (2005)
Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering 26(1), 70–93 (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Walsh, D., Bordeleau, F., Selic, B. (2005). A Domain Model for Dynamic System Reconfiguration. In: Briand, L., Williams, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2005. Lecture Notes in Computer Science, vol 3713. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557432_42
Download citation
DOI: https://doi.org/10.1007/11557432_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29010-0
Online ISBN: 978-3-540-32057-9
eBook Packages: Computer ScienceComputer Science (R0)