Artículo

Lopez Pombo, C.G.; Frias, M.F. "Complete calculi for structured specifications in fork algebra" (2010) 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:290-305
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:

In previous articles we presented Arg entum, a tool for reasoning across heterogeneous specifications based on the language of fork algebras. Arg entum's foundations were formalized in the framework of institutions. The formalization made simple to describe a methodology capable of producing a complete system desription from partial views, eventually written in different logical languages. Structured specifications were introduced by Sannella and Tarlecki and extensively studied by Borzyszkowski. The latter also presented conditions under which the calculus for structured specifications is complete. Using fork algebras as a "universal" institution capable of representing expressive logics (such as dynamic and temporal logics), requires using a fork language that includes a reflexive-transitive closure operator. The calculus thus obtained does not meet the conditions required by Borzyszkowski. In this article we present structure building operators (SBOs) over fork algebras, and provide a complete calculus for these operators. © 2010 Springer-Verlag.

Registro:

Documento: Artículo
Título:Complete calculi for structured specifications in fork algebra
Autor:Lopez Pombo, C.G.; Frias, M.F.
Ciudad:Natal
Filiación:Department of Computer Science, Facultad de Ciencias Exactas Y Naturales, Universidad de Buenos Aires, Argentina
Department of Computer Engineering, Buenos Aires Institute of Technology (ITBA), Argentina
CONICET, Argentina
Palabras clave:Complete system; Logical language; Partial views; Structured specification; Transitive closure; Biomineralization; Calculations; Specifications; Algebra
Año:2010
Volumen:6255 LNCS
Página de inicio:290
Página de fin:305
DOI: http://dx.doi.org/10.1007/978-3-642-14808-8_20
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_p290_LopezPombo

Referencias:

  • Booch, G., Rumbaugh, J., Jacobson, I., (1998) The Unified Modeling Language User Guide, , Addison-Wesley Longman Publishing Co., Inc., Boston
  • Frias, M.F., Fork algebras in algebra, logic and computer science (2002) Advances in Logic, 2. , World Scientific Publishing Co., Singapore
  • Frias, M.F., Baum, G.A., Maibaum, T.S.E., Interpretability of first-order dynamic logic in a relational calculus (2002) LNCS, 2561, pp. 66-80. , de Swart, H. (ed.) RelMiCS 2001. Springer, Heidelberg
  • Frias, M.F., Lopez Pombo, C.G., Time is on my side (2003) Procs. of RelMiCS 7, pp. 105-111
  • Frias, M.F., Lopez Pombo, C.G., Interpretability of first-order linear temporal logics in fork algebras (2006) JLAP, 66 (2), pp. 161-184
  • Goguen, J.A., Burstall, R.M., Introducing institutions (1985) LNCS, 184, pp. 221-256. , Hutchison, D., Shepherd, W.D., Mariani, J.A. (eds.) Local Area Networks: An Advanced Course Springer, Heidelberg
  • Meseguer, J., General logics (1989) Procs. of the Logic Colloquium 1987, 129, pp. 275-329. , North Holland, Amsterdam
  • Tarlecki, A., Moving between logical systems (1996) LNCS, 1130, pp. 478-502. , Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. Springer, Heidelberg
  • Lopez Pombo, C.G., Frias, M.F., Fork algebras as a sufficiently rich universal institution (2006) LNCS, 4019, pp. 235-247. , Johnson, M., Vene, V. (eds.) AMAST 2006 Springer, Heidelberg
  • Borzyszkowski, T., Logical systems for structured specifications (2002) TCS, 286, pp. 197-245
  • Tarski, A., On the calculus of relations (1941) JSL, 6 (3), pp. 73-89
  • Maddux, R.D., Finitary algebraic logic (1989) Zeitschrift fur Mathematisch Logik und Grundlagen der Mathematik, 35, pp. 321-332
  • Burris, S., Sankappanavar, H.P., A course in universal algebra (1981) Graduate Texts in Mathematics, , Springer, Berlin
  • Sannella, D., Tarlecki, A., Specifications in an arbitrary institution (1988) Information and Computation, 76 (2-3), pp. 165-210
  • Tarlecki, A., Abstract specification theory: An overview (2003) Procs. of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, pp. 43-79. , NATO Science Series, IOS Press, Marktoberdorf
  • Diaconescu, R., Institution-independent Model Theory, Studies in Universal Logic, 2. , Birkhäuser, Basel
  • 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
  • Tarlecki, A., Towards heterogeneous specifications (2000) Frontiers of Combining Systems. Studies in Logic and Computation, 2, pp. 337-360. , Gabbay, D., de Rijke, M. (eds.) Research Studies Press
  • Cengarle, M.V., 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
  • Roşu, G., Goguen, J.A., On equational craig interpolation (2000) Journal of Universal Computer Science, 6 (1), pp. 194-200
  • Tarski, A., Givant, S., (1987) A Formalization of Set Theory Without Variables, , American Mathematical Society Colloqium Publications, Providence
  • Lopez Pombo, C.G., (2007) Fork Algebras As a Tool for Reasoning Across Heterogeneous Specifications, , PhD thesis, Universidad de Buenos Aires

Citas:

---------- APA ----------
Lopez Pombo, C.G. & Frias, M.F. (2010) . Complete calculi for structured specifications in fork algebra. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, 6255 LNCS, 290-305.
http://dx.doi.org/10.1007/978-3-642-14808-8_20
---------- CHICAGO ----------
Lopez Pombo, C.G., Frias, M.F. "Complete calculi for structured specifications in fork algebra" . 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010 6255 LNCS (2010) : 290-305.
http://dx.doi.org/10.1007/978-3-642-14808-8_20
---------- MLA ----------
Lopez Pombo, C.G., Frias, M.F. "Complete calculi for structured specifications in fork algebra" . 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, vol. 6255 LNCS, 2010, pp. 290-305.
http://dx.doi.org/10.1007/978-3-642-14808-8_20
---------- VANCOUVER ----------
Lopez Pombo, C.G., Frias, M.F. Complete calculi for structured specifications in fork algebra. Lect. Notes Comput. Sci. 2010;6255 LNCS:290-305.
http://dx.doi.org/10.1007/978-3-642-14808-8_20