Abstract
Dynamic reconfiguration, understood as the ability to manage at run time the live components and how these interact in a system, is a feature that is crucial in various languages and computing paradigms, in particular in object orientation. In this paper, we study a categorical approach for characterising dynamic reconfiguration in a logical specification language. The approach is based on the notion of institution, which enables us to work in an abstract, logic independent, setting. Furthermore, our formalisation makes use of representation maps in order to relate the generic specification of components (e.g., as specified through classes) to the behaviour of actual instances in a dynamic environment. We present the essential characteristics for dealing with dynamic reconfiguration in a logical specification language, indicating their technical and practical motivations. As a motivational example, we use a temporal logic, component based formalism, but the analysis is general enough to be applied to other logics. Moreover, the use of representation maps in the formalisation allows for the combination of different logics for different purposes in the specification. We illustrate the ideas with a simple specification of a Producer-Consumer component based system.
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
Abrial, J.R.: The B Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
Aguirre, N., Maibaum, T.: Some Institutional Requirements for Temporal Reasoning about Dynamic Reconfiguration. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 407–435. Springer, Heidelberg (2004)
Burstall, R., Goguen, J.: Putting Theories together to make Specifications. In: Proc. of the Fifth International Joint Conference on Artificial Intelligence (1977)
Cengarle, M., Knapp, A., Tarlecki, A., Wirsing, M.: A Heterogeneous Approach To UML Semantics. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 383–402. Springer, Heidelberg (2008)
Diaconescu, R.: Institution-independent Model Theory. Studies in Universal Logic, vol. 2. Birkhäuser, Basel (2008)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification, vol. 2. Springer, Heidelberg (1990)
Fiadeiro, J., Maibaum, T.: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing 4(3) (1992)
Fiadeiro, J., Maibaum, T.: Describing, Structuring and Implementing Objects. In: de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990. LNCS, vol. 489, Springer, Heidelberg (1991)
Fiadeiro, J.: Categories for Software Engineering. Springer, Heidelberg (2004)
Garlan, D.: Software Architecture: A Roadmap. In: Filkenstein, A. (ed.) The Future of Software Engineering. ACM Press, New York (2000)
Goguen, J., Burstall, R.: Introducing Institutions. In: Hutchison, D., Shepherd, W.D., Mariani, J.A. (eds.) Local Area Networks: An Advanced Course. LNCS, vol. 184, Springer, Heidelberg (1985)
Goguen, J., Burstall, R.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the ACM 39(1) (1992)
Goguen, J., Rosu, G.: Institution Morphisms. Formal Aspects of Computing 13(3-5) (2002)
Hirsch, D., Montanari, U.: Two Graph-Based Techniques for Software Architecture Reconfiguration. ENTCS, vol. 51. Elsevier, Amsterdam (2001)
Knapp, A., Marczynski, G., Wirsing, M., Zawlocki, A.: A Heterogeneous Approach to Service-Oriented Systems Specification. In: Proc. of the ACM Symposium on Applied Computing, SAC 2010. ACM Press, New York (2010)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1991)
Medvidovic, N.: ADLs and Dynamic Architecture Changes. In: Proc. of the 2nd. International Software Architecture Workshop ISAW-2 (1996)
Meseguer, J.: General Logics. In: Logic Colloquium 1987. North Holland, Amsterdam (1989)
Mossakowski, T., Maeder, C., Luttich, K.: The Heterogeneous Tool Set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519–522. Springer, Heidelberg (2007)
Pierce, B.: Basic Category Theory for Computer Scientists. The MIT Press, Cambridge (1991)
Sannella, D., Tarlecki, A.: Specifications in an Arbitrary Institution. Inf. Comput. 76(2/3) (1988)
Tarlecki, A.: Moving Between Logical Systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, Springer, Heidelberg (1996)
Tarlecki, A.: Toward Specifications for Reconfigurable Component Systems. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 24–28. Springer, Heidelberg (2007)
Tarlecki, A.: Towards Heterogeneous Specifications. In: Frontiers of Combining Systems. Studies in Logic and Computation, vol. 2. Research Studies Press, Hertfordshire (2000)
Tarlecki, A.: Abstract Specification Theory: An Overview. In: Proc. of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software. NATO Science Series. IOS Press, Amsterdam (2003)
Wermelinger, M., Lopes, A., Fiadeiro, J.: A Graph Based Architectural (Re)configuration Language. In: Proc. of the Joint European Software Engineering Conference the Symposium on the Foundations of Software Engineering, ESEC/FSE 2001. ACM Press, New York (2001)
Davies, J., Woodcock, J.: Using Z. Prentice-Hall, Englewood Cliffs (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Castro, P.F., Aguirre, N.M., López Pombo, C.G., Maibaum, T.S.E. (2010). Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. In: Cavalcanti, A., Deharbe, D., Gaudel, MC., Woodcock, J. (eds) Theoretical Aspects of Computing – ICTAC 2010. ICTAC 2010. Lecture Notes in Computer Science, vol 6255. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14808-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-14808-8_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14807-1
Online ISBN: 978-3-642-14808-8
eBook Packages: Computer ScienceComputer Science (R0)