Towards managing dynamic reconfiguration of software systems in a categorical setting
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 characte...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , |
| Formato: | Acta de conferencia Capítulo de libro |
| Lenguaje: | Inglés |
| Publicado: |
2010
|
| Acceso en línea: | Registro en Scopus DOI Handle Registro en la Biblioteca Digital |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 08454caa a22008657a 4500 | ||
|---|---|---|---|
| 001 | PAPER-7518 | ||
| 003 | AR-BaUEN | ||
| 005 | 20230518203716.0 | ||
| 008 | 190411s2010 xx ||||fo|||| 00| 0 eng|d | ||
| 024 | 7 | |2 scopus |a 2-s2.0-78049426470 | |
| 040 | |a Scopus |b spa |c AR-BaUEN |d AR-BaUEN | ||
| 100 | 1 | |a Castro, P.F. | |
| 245 | 1 | 0 | |a Towards managing dynamic reconfiguration of software systems in a categorical setting |
| 260 | |c 2010 | ||
| 270 | 1 | 0 | |m Castro, P. F.; Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto, Río Cuarto, Córdoba, Argentina; email: pcastro@dc.exa.unrc.edu.ar |
| 506 | |2 openaire |e Política editorial | ||
| 504 | |a Abrial, J.R., (1996) The B Book: Assigning Programs to Meanings, , Cambridge University Press, Cambridge | ||
| 504 | |a 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 | ||
| 504 | |a Burstall, R., Goguen, J., Putting Theories together to make Specifications Proc. of the Fifth International Joint Conference on Artificial Intelligence (1977) | ||
| 504 | |a 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 | ||
| 504 | |a Diaconescu, R., Institution-independent Model Theory (2008) Studies in Universal Logic, 2. , Birkhäuser, Basel | ||
| 504 | |a Ehrig, H., Mahr, B., (1990) Fundamentals of Algebraic Specification, 2. , Springer, Heidelberg | ||
| 504 | |a Fiadeiro, J., Maibaum, T., Temporal Theories as Modularisation Units for Concurrent System Specification (1992) Formal Aspects of Computing, 4 (3) | ||
| 504 | |a 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 | ||
| 504 | |a Fiadeiro, J., (2004) Categories for Software Engineering, , Springer, Heidelberg | ||
| 504 | |a Garlan, D., Software Architecture: A Roadmap (2000) The Future of Software Engineering, , Filkenstein, A. (ed.) ACM Press, New York | ||
| 504 | |a 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 | ||
| 504 | |a Goguen, J., Burstall, R., Institutions: Abstract Model Theory for Specification and Programming (1992) Journal of the ACM, 39 (1) | ||
| 504 | |a Goguen, J., Rosu, G., Institution Morphisms (2002) Formal Aspects of Computing, 13 (3-5) | ||
| 504 | |a Hirsch, D., Montanari, U., Two Graph-Based Techniques for Software Architecture Reconfiguration (2001) ENTCS, 51. , Elsevier, Amsterdam | ||
| 504 | |a 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 | ||
| 504 | |a Manna, Z., Pnueli, A., (1991) The Temporal Logic of Reactive and Concurrent Systems, , Springer, Heidelberg | ||
| 504 | |a Medvidovic, N., ADLs and Dynamic Architecture Changes Proc. of the 2nd. International Software Architecture Workshop ISAW-2 (1996) | ||
| 504 | |a Meseguer, J., General Logics (1989) Logic Colloquium 1987, , North Holland, Amsterdam | ||
| 504 | |a 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 | ||
| 504 | |a Pierce, B., (1991) Basic Category Theory for Computer Scientists, , The MIT Press, Cambridge | ||
| 504 | |a Sannella, D., Tarlecki, A., Specifications in an Arbitrary Institution (1988) Inf. Comput., 76 (2-3) | ||
| 504 | |a 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 | ||
| 504 | |a Tarlecki, A., Toward Specifications for Reconfigurable Component Systems (2007) LNCS, 4546, pp. 24-28. , Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. Springer, Heidelberg | ||
| 504 | |a Tarlecki, A., Towards Heterogeneous Specifications (2000) Frontiers of Combining Systems. Studies in Logic and Computation, 2. , Research Studies Press, Hertfordshire | ||
| 504 | |a 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 | ||
| 504 | |a 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 | ||
| 504 | |a Davies, J., Woodcock, J., (1996) Using Z, , Prentice-Hall, Englewood Cliffs | ||
| 520 | 3 | |a 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. |l eng | |
| 593 | |a Departamento de Computación, FCEFQyN, Universidad Nacional de Río Cuarto, Río Cuarto, Córdoba, Argentina | ||
| 593 | |a Departamento de Computación, FCEyN, Universidad de Buenos Aires, Buenos Aires, Argentina | ||
| 593 | |a Department of Computing and Software, McMaster University, Hamilton, ON, Canada | ||
| 690 | 1 | 0 | |a COMPONENT BASED |
| 690 | 1 | 0 | |a COMPONENT BASED SYSTEMS |
| 690 | 1 | 0 | |a COMPUTING PARADIGM |
| 690 | 1 | 0 | |a DYNAMIC ENVIRONMENTS |
| 690 | 1 | 0 | |a DYNAMIC RE-CONFIGURATION |
| 690 | 1 | 0 | |a ESSENTIAL CHARACTERISTIC |
| 690 | 1 | 0 | |a FORMALISATION |
| 690 | 1 | 0 | |a GENERIC SPECIFICATIONS |
| 690 | 1 | 0 | |a OBJECT ORIENTATION |
| 690 | 1 | 0 | |a RUNTIMES |
| 690 | 1 | 0 | |a SOFTWARE SYSTEMS |
| 690 | 1 | 0 | |a DYNAMIC MODELS |
| 690 | 1 | 0 | |a SPECIFICATION LANGUAGES |
| 690 | 1 | 0 | |a TEMPORAL LOGIC |
| 690 | 1 | 0 | |a SPECIFICATIONS |
| 700 | 1 | |a Aguirre, N.M. | |
| 700 | 1 | |a López Pombo, C.G. | |
| 700 | 1 | |a Maibaum, T.S.E. | |
| 711 | 2 | |c Natal |d 1 September 2010 through 3 September 2010 |g Código de la conferencia: 82192 | |
| 773 | 0 | |d 2010 |g v. 6255 LNCS |h pp. 306-321 |p Lect. Notes Comput. Sci. |n Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |x 03029743 |w (AR-BaUEN)CENRE-983 |z 3642148077 |z 9783642148071 |t 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 | |
| 856 | 4 | 1 | |u https://www.scopus.com/inward/record.uri?eid=2-s2.0-78049426470&doi=10.1007%2f978-3-642-14808-8_21&partnerID=40&md5=58df41df967936877f2fc9c9ab761c8a |y Registro en Scopus |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-14808-8_21 |y DOI |
| 856 | 4 | 0 | |u https://hdl.handle.net/20.500.12110/paper_03029743_v6255LNCS_n_p306_Castro |y Handle |
| 856 | 4 | 0 | |u https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v6255LNCS_n_p306_Castro |y Registro en la Biblioteca Digital |
| 961 | |a paper_03029743_v6255LNCS_n_p306_Castro |b paper |c PE | ||
| 962 | |a info:eu-repo/semantics/article |a info:ar-repo/semantics/artículo |b info:eu-repo/semantics/publishedVersion | ||
| 963 | |a VARI | ||
| 999 | |c 68471 | ||