Servicios Personalizados
Revista
Articulo
Indicadores
Citado por SciELO
Accesos
Links relacionados
Citado por Google
Similares en SciELO
Similares en Google
Compartir
Revista Integración
versión impresa ISSN 0120-419X
Resumen
CASTANO PEREA, JAIME ANDRÉS y ORTIZ RICO, GUILLERMO. A coinstitution for abstract behavioral logic. Integración - UIS [online]. 2014, vol.32, n.2, pp.199-210. ISSN 0120-419X.
Recently, the specification of a problem in computer sciences -an intermediate step between the given problem and its implementation as a software system that guarantees its solution- uses universal algebra and coalgebra theories for its description. This stage includes a syntactic and a semantic component, having a logic system as result. In [3], the case of many-sorted equational logic is studied for the purpose of specification problems. Dually, in [9] an abstract behavioral logic, which models processes and coalgebraic systems behavior is studied. In both logics, the syntactic and semantic components are connected via a satisfaction relation, characterized by the following principle: the truth of formulas is invariant under language translations. In a general and modern framework, we use the institutions in algebraic specification and coinstitutions in coalgebraic specification. We research a particular case of behavioral abstract logic presented in [9], in which coalgebras are restricted to polinomial functors. We identify the respective algebraic coinstitution, detail all its components, and explicitly present the satisfaction relation as the final result
Palabras clave : Specification; categories; algebra; coalgebra; satisfaction relation; institution; coinstitution.