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
La versión final de este artículo es de uso interno. El editor solo permite incluir en el repositorio el artículo en su versión post-print. Por favor, si usted la posee enviela a
Consulte el artículo en la página del editor
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