Artículo
Castro, P.F.; Aguirre, N.M.; López Pombo, C.G.; Maibaum, T.S.E. "Towards managing dynamic reconfiguration of software systems in a categorical setting" (2010) 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:306-321
Consulte la política de Acceso Abierto del editor
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. © 2010 Springer-Verlag.
Registro:
| Documento: | Artículo |
| Título: | Towards managing dynamic reconfiguration of software systems in a categorical setting |
| Autor: | Castro, P.F.; Aguirre, N.M.; López Pombo, C.G.; Maibaum, T.S.E. |
| Ciudad: | Natal |
| Filiación: | Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto, Río Cuarto, Córdoba, Argentina Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina Department of Computing and Software, McMaster University, Hamilton, ON, Canada |
| Palabras clave: | Component based; Component based systems; Computing paradigm; Dynamic environments; Dynamic re-configuration; Essential characteristic; Formalisation; Generic specifications; Object orientation; Runtimes; Software systems; Dynamic models; Specification languages; Temporal logic; Specifications |
| Año: | 2010 |
| Volumen: | 6255 LNCS |
| Página de inicio: | 306 |
| Página de fin: | 321 |
| DOI: | http://dx.doi.org/10.1007/978-3-642-14808-8_21 |
| Título revista: | 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 |
| Título revista abreviado: | Lect. Notes Comput. Sci. |
| ISSN: | 03029743 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6255LNCS_n_p306_Castro |
Referencias:
- Abrial, J.R., (1996) The B Book: Assigning Programs to Meanings, , Cambridge University Press, Cambridge
- Aguirre, N., Maibaum, T., Some Institutional Requirements for Temporal Reasoning about Dynamic Reconfiguration (2004) LNCS, 2772, pp. 407-435. , Dershowitz, N. (ed.) Verification: Theory and Practice Springer, Heidelberg
- Burstall, R., Goguen, J., Putting Theories together to make Specifications 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 (2008) LNCS, 5065, pp. 383-402. , Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. Springer, Heidelberg
- Diaconescu, R., Institution-independent Model Theory (2008) Studies in Universal Logic, 2. , Birkhäuser, Basel
- Ehrig, H., Mahr, B., (1990) Fundamentals of Algebraic Specification, 2. , Springer, Heidelberg
- Fiadeiro, J., Maibaum, T., Temporal Theories as Modularisation Units for Concurrent System Specification (1992) Formal Aspects of Computing, 4 (3)
- Fiadeiro, J., Maibaum, T., Describing, Structuring and Implementing Objects (1991) LNCS, 489. , de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1990 Springer, Heidelberg
- Fiadeiro, J., (2004) Categories for Software Engineering, , Springer, Heidelberg
- Garlan, D., Software Architecture: A Roadmap (2000) The Future of Software Engineering, , Filkenstein, A. (ed.) ACM Press, New York
- Goguen, J., Burstall, R., Introducing Institutions (1985) LNCS, 184. , Hutchison, D., Shepherd, W.D., Mariani, J.A. (eds.) Local Area Networks: An Advanced Course Springer, Heidelberg
- Goguen, J., Burstall, R., Institutions: Abstract Model Theory for Specification and Programming (1992) Journal of the ACM, 39 (1)
- Goguen, J., Rosu, G., Institution Morphisms (2002) Formal Aspects of Computing, 13 (3-5)
- Hirsch, D., Montanari, U., Two Graph-Based Techniques for Software Architecture Reconfiguration (2001) ENTCS, 51. , Elsevier, Amsterdam
- Knapp, A., Marczynski, G., Wirsing, M., Zawlocki, A., A Heterogeneous Approach to Service-Oriented Systems Specification (2010) Proc. of the ACM Symposium on Applied Computing, SAC 2010, , ACM Press, New York
- Manna, Z., Pnueli, A., (1991) The Temporal Logic of Reactive and Concurrent Systems, , Springer, Heidelberg
- Medvidovic, N., ADLs and Dynamic Architecture Changes Proc. of the 2nd. International Software Architecture Workshop ISAW-2 (1996)
- Meseguer, J., General Logics (1989) Logic Colloquium 1987, , North Holland, Amsterdam
- Mossakowski, T., Maeder, C., Luttich, K., The Heterogeneous Tool Set, Hets (2007) LNCS, 4424, pp. 519-522. , Grumberg, O., Huth, M. (eds.) TACAS 2007 Springer, Heidelberg
- Pierce, B., (1991) Basic Category Theory for Computer Scientists, , The MIT Press, Cambridge
- Sannella, D., Tarlecki, A., Specifications in an Arbitrary Institution (1988) Inf. Comput., 76 (2-3)
- Tarlecki, A., Moving between Logical Systems (1996) LNCS, 1130. , Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995 Springer, Heidelberg
- Tarlecki, A., Toward Specifications for Reconfigurable Component Systems (2007) LNCS, 4546, pp. 24-28. , Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. Springer, Heidelberg
- Tarlecki, A., Towards Heterogeneous Specifications (2000) Frontiers of Combining Systems. Studies in Logic and Computation, 2. , Research Studies Press, Hertfordshire
- Tarlecki, A., Abstract Specification Theory: An Overview (2003) Proc. of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, , NATO Science Series. IOS Press, Amsterdam
- Wermelinger, M., Lopes, A., Fiadeiro, J., A Graph Based Architectural (Re)configuration Language (2001) Proc. of the Joint European Software Engineering Conference the Symposium on the Foundations of Software Engineering, ESEC/FSE 2001, , ACM Press, New York
- Davies, J., Woodcock, J., (1996) Using Z, , Prentice-Hall, Englewood Cliffs
Citas:
---------- APA ----------
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. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, 6255 LNCS, 306-321.http://dx.doi.org/10.1007/978-3-642-14808-8_21
---------- CHICAGO ----------
Castro, P.F., Aguirre, N.M., López Pombo, C.G., Maibaum, T.S.E. "Towards managing dynamic reconfiguration of software systems in a categorical setting" . 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 6255 LNCS (2010) : 306-321.http://dx.doi.org/10.1007/978-3-642-14808-8_21
---------- MLA ----------
Castro, P.F., Aguirre, N.M., López Pombo, C.G., Maibaum, T.S.E. "Towards managing dynamic reconfiguration of software systems in a categorical setting" . 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, vol. 6255 LNCS, 2010, pp. 306-321.http://dx.doi.org/10.1007/978-3-642-14808-8_21
---------- VANCOUVER ----------
Castro, P.F., Aguirre, N.M., López Pombo, C.G., Maibaum, T.S.E. Towards managing dynamic reconfiguration of software systems in a categorical setting. Lect. Notes Comput. Sci. 2010;6255 LNCS:306-321.http://dx.doi.org/10.1007/978-3-642-14808-8_21
