Complete calculi for structured specifications in fork algebra

López Pombo, Carlos Gustavo; Frías, Marcelo

Ponencia en Congreso:
Complete calculi for structured specifications in fork algebra

dc.contributor.author	López Pombo, Carlos Gustavo
dc.contributor.author	Frías, Marcelo
dc.date.accessioned	2022-05-31T19:34:05Z
dc.date.available	2022-05-31T19:34:05Z
dc.date.issued	2010
dc.description.abstract	"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."	en
dc.identifier.issn	0302-9743
dc.identifier.uri	http://ri.itba.edu.ar/handle/123456789/3901
dc.language.iso	en	en
dc.relation	info:eu-repo/semantics/altIdentifier/doi/doi:10.1007/978-3-642-14808-8_20
dc.title	Complete calculi for structured specifications in fork algebra	en
dc.type	Ponencias en Congresos	es
dc.type	info:eu-repo/semantics/acceptedVersion
dspace.entity.type	Ponencia en Congreso
itba.description.filiation	Fil: López Pombo, Carlos Gustavo. Universidad de Buenos Aires; Argentina.
itba.description.filiation	Fil: López Pombo, Carlos Gustavo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.