Complete calculi for structured specifications in fork algebra

Mostrar todas las versiones(2)

"In previous articles we presented Argentum, a tool for reasoning across heterogeneous specifications based on the language of fork algebras. Argentum’s foundations were formalized in the framework of institutions. The formalization made simple to describe a methodology capable of producing a c...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: López Pombo, Carlos Gustavo, Frías, Marcelo
Formato: Ponencias en Congresos acceptedVersion
Lenguaje:Inglés
Publicado: 2022
Acceso en línea:http://ri.itba.edu.ar/handle/123456789/3901
Aporte de:
Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA) de Instituto Tecnológico de Buenos Aires (ITBA)
id I32-R138-123456789-3901
record_format dspace
spelling I32-R138-123456789-39012022-12-07T14:13:57Z Complete calculi for structured specifications in fork algebra López Pombo, Carlos Gustavo Frías, Marcelo "In previous articles we presented Argentum, a tool for reasoning across heterogeneous specifications based on the language of fork algebras. Argentum’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." 2022-05-31T19:34:05Z 2022-05-31T19:34:05Z 2010 Ponencias en Congresos info:eu-repo/semantics/acceptedVersion 0302-9743 http://ri.itba.edu.ar/handle/123456789/3901 en info:eu-repo/semantics/altIdentifier/doi/doi:10.1007/978-3-642-14808-8_20 application/pdf
institution Instituto Tecnológico de Buenos Aires (ITBA)
institution_str I-32
repository_str R-138
collection Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA)
language Inglés
description "In previous articles we presented Argentum, a tool for reasoning across heterogeneous specifications based on the language of fork algebras. Argentum’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."
format Ponencias en Congresos
acceptedVersion
author López Pombo, Carlos Gustavo
Frías, Marcelo
spellingShingle López Pombo, Carlos Gustavo
Frías, Marcelo
Complete calculi for structured specifications in fork algebra
author_facet López Pombo, Carlos Gustavo
Frías, Marcelo
author_sort López Pombo, Carlos Gustavo
title Complete calculi for structured specifications in fork algebra
title_short Complete calculi for structured specifications in fork algebra
title_full Complete calculi for structured specifications in fork algebra
title_fullStr Complete calculi for structured specifications in fork algebra
title_full_unstemmed Complete calculi for structured specifications in fork algebra
title_sort complete calculi for structured specifications in fork algebra
publishDate 2022
url http://ri.itba.edu.ar/handle/123456789/3901
work_keys_str_mv AT lopezpombocarlosgustavo completecalculiforstructuredspecificationsinforkalgebra
AT friasmarcelo completecalculiforstructuredspecificationsinforkalgebra
_version_ 1765661116239708160

Ejemplares similares