Artículo
Lopez Pombo, C.G.; Castro, P.F.; Aguirre, N.; Maibaum, T.S.E. "A heterogeneous characterisation of component-based system design in a categorical setting" (2014) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8687:314-332
Consulte la política de Acceso Abierto del editor
Abstract:
In component-based design, components and communication mechanisms have a different nature; while the former represent the agents that cooperate to fulfill a certain goal, the latter formalise the communication mechanism through which these agents interact. A proper formalisation of the heterogeneity that arises from this difference requires one to employ the most adequate formalism for each of the parts of a specification and then proceed to merge the parts of the system specification characterised in different languages. The approach we propose in this paper is based on the notion of institution, and makes extensive use of institution representations in order to relate the specifications of components and communication mechanisms, each of which might be expressed in different formalisms. The contribution focuses on providing tools needed to engineer heterogeneous languages arising from particular choices for the specification of components and communication devices. © Springer International Publishing Switzerland 2014.
Registro:
| Documento: | Artículo |
| Título: | A heterogeneous characterisation of component-based system design in a categorical setting |
| Autor: | Lopez Pombo, C.G.; Castro, P.F.; Aguirre, N.; Maibaum, T.S.E. |
| Filiación: | Department of Computing, FCEyN, Universidad de Buenos Aires, Argentina Department of Computing, FCEFQyN, Universidad Nacional de Río Cuarto, Argentina Consejo Nacional de Investigaciones Científicas y Tecnológicas (CONICET), Argentina Department of Computing & Software, McMaster University, Canada |
| Palabras clave: | Computational linguistics; Software engineering; Communication device; Communication mechanisms; Component based design; Component-based system design; Formalisation; System specification; Specifications |
| Año: | 2014 |
| Volumen: | 8687 |
| Página de inicio: | 314 |
| Página de fin: | 332 |
| Título revista: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Título revista abreviado: | Lect. Notes Comput. Sci. |
| ISSN: | 03029743 |
| Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8687_n_p314_LopezPombo |
Referencias:
- Bidoit, M., Sannella, D., Tarlecki, A., Architectural Specifications in CASL (1998) AMAST 1998. LNCS, 1548, pp. 341-357. , Haeberer, A.M. (ed.),. Springer, Heidelberg
- Mossakowski, T., Haxthausen, A., Sannella, D., Tarlecki, A., CASL: The common algebraic specification language: Semantics and proof theory (2003) Computing and Informatics, 22
- Castro, P.F., Aguirre, N., López Pombo, C.G., Maibaum, T., A Categorical Approach to Structuring and Promoting Z Specifications (2013) FACS 2012. LNCS, 7684, pp. 73-91. , Păsăreanu, C.S., Salaün, G. (eds.),. Springer, Heidelberg
- Cengarle, M.V., Knapp, A., Tarlecki, A., Wirsing, M., A Heterogeneous Approach To UML Semantics (2008) Concurrency, 5065, pp. 383-402. , Degano, P., De Nicola, R., Meseguer, J. (eds.), Graphs and Models. LNCS,. Springer, Heidelberg
- Diaconescu, R., Futatsugi, K., Logical foundations of CafeOBJ (2002) Theor. Comp. Sc, 285 (2)
- Ehrig, H., Mahr, B., (1990) Fundamentals of Algebraic Specification 2, , Springer
- Ehrig, H., Grose-Rhode, M., Wolter, U., On the Role of Category Theory in the Area of Algebraic Specification (1996) Recent Trends in Data Type Specification. LNCS, pp. 17-48. , Haveraaen, M., Owe, O., Dahl, O.-J. (eds.),. Springer, Heidelberg
- Allen Emerson, E., (1990) Temporal and modal logic, , Handbook of Theoretical Computer Science, vol. B. Elsevier
- Fiadeiro, J., Maibaum, T., Temporal Theories as Modularisation Units for Concurrent System Specification (1992) Formal Asp. of Comp, 4 (3)
- Fiadeiro, J., Maibaum, T., Describing, Structuring and Implementing Objects (1991) Proc. of the REX Workshop. LNCS, 489, pp. 274-310. , de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.),. Springer, Heidelberg
- Fiadeiro, J., Wermelinger, M., A graph transformation approach to software architecture reconfiguration (2002) Sc. of Comp. Prog, 44 (2)
- Fiadeiro, J.L., Schmitt, V., Structured Co-spans: An Algebra of Interaction Protocols (2007) CALCO 2007. LNCS, 4624, pp. 194-208. , Mossakowski, T., Montanari, U., Haveraaen, M. (eds.),. Springer, Heidelberg
- Fiadeiro, J., (2004) Categories for Software Engineering, , Springer
- Fiadeiro, J., Maibaum, T.S.E., A Mathematical Toolbox for the Software Architect (1995) Proc. Workshop on Software Specification and Design. IEEE
- Fiadeiro, J., Maibaum, T.S.E., Categorical Semantics of Parallel Program Design (1997) Sc. of Comp. Prog, 28p
- Garlan, D., (2000) Software Architecture: A Roadmap, , ACM
- Garlan, D., Monroe, R., Wile, D., Acme: An architecture description interchange language (1997) Proc. of CASCON 1997
- 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 Asp. of Comp, 13
- Harel, D., Kozen, D., Tiuryn, J., (2000) Dynamic Logic, , MIT Press
- Knapp, A., Marczynski, G., Wirsing, M., Zawlocki, A., A Heterogeneous Approach to Service-Oriented Systems Specification (2010) Proc. of SAC 2010. ACM
- Lopes, A., Fiadeiro, J., Superposition: Composition vs refinement of nondeterministic, action-based systems (2004) Formal Asp. of Comp, 16 (1)
- McLane, S., (1971) Categories for working mathematicians, , Springer
- Manna, Z., Pnueli, A., (1991) The Temporal Logic of Reactive and Concurrent Systems, , Springer
- Meseguer, J., General Logics (1989) Logic Colloquium 1987. North-Holland
- Mossakowski, T., Heterogeneous Theories and the Heterogeneous Tool Set (2005) Semantic Interoperability and Integration, , Dagstuhl Seminar Proc
- Mossakowski, T., Maeder, C., Lüttich, K., The Heterogeneous Tool Set, Hets (2007) TACAS 2007. LNCS, 4424, pp. 519-522. , Grumberg, O., Huth, M. (eds.),. Springer, Heidelberg
- Mossakowski, T., Tarlecki, A., Heterogeneous Logical Environments for Distributed Specifications (2009) Corradini, 5486, pp. 266-289. , A., Montanari, U. (eds.)WADT 2008. LNCS,. Springer, Heidelberg
- Sannella, D., Tarlecki, A., (2012) Foundations of Algebraic Specification and Formal Software Development, , Springer
- Tarlecki, A., Moving Between Logical Systems (1996) Proc. of COMPASS. LNCS, 1130, pp. 478-502. , Haveraaen, M., Owe, O., Dahl, O.-J. (eds.),. Springer, Heidelberg
- Tarlecki, A., Toward Specifications for Reconfigurable Component Systems (2007) ICATPN 2007. LNCS, 4546, pp. 24-28. , Kleijn, J., Yakovlev, A. (eds.),. Springer, Heidelberg
- Tarlecki, A., Towards Heterogeneous Specifications (2000) Frontiers of Combining Systems, 2
- Wermelinger, M., Fiadeiro, J., A graph transformation approach to software architecture reconfiguration (2002) Sc. of Comp. Prog, 44 (2)
Citas:
---------- APA ----------
Lopez Pombo, C.G., Castro, P.F., Aguirre, N. & Maibaum, T.S.E. (2014) . A heterogeneous characterisation of component-based system design in a categorical setting. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8687, 314-332.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8687_n_p314_LopezPombo [ ]
---------- CHICAGO ----------
Lopez Pombo, C.G., Castro, P.F., Aguirre, N., Maibaum, T.S.E. "A heterogeneous characterisation of component-based system design in a categorical setting" . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8687 (2014) : 314-332.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8687_n_p314_LopezPombo [ ]
---------- MLA ----------
Lopez Pombo, C.G., Castro, P.F., Aguirre, N., Maibaum, T.S.E. "A heterogeneous characterisation of component-based system design in a categorical setting" . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8687, 2014, pp. 314-332.Recuperado de https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8687_n_p314_LopezPombo [ ]
---------- VANCOUVER ----------
Lopez Pombo, C.G., Castro, P.F., Aguirre, N., Maibaum, T.S.E. A heterogeneous characterisation of component-based system design in a categorical setting. Lect. Notes Comput. Sci. 2014;8687:314-332.Available from: https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v8687_n_p314_LopezPombo [ ]
