On local modularity and interpolation in entailment systems

Authors:
Paulo A. S. Veloso;José L. Fiadeiro;Sheila R. M. Veloso
Affiliations:
Pontificia Universidade Católica do Rio de Janeiro, Departamento de Informática, Rua Marquês de São Vicente, 225, 22453-900 Rio de Janeiro, RJ, Brazil;-;Universidade Federal do Rio de Janeiro, Departamento de Ciência da Computação, 21945-970 Rio de Janeiro, RJ, Brazil
Venue:
Information Processing Letters
Year:
2002

Citing 13
Cited 1

Bits and pieces of the theory of institutions

Proceedings of a tutorial and workshop on Category theory and computer programming
Specification of computer programs

Specification of computer programs
Structuring theories on consequence

Lecture notes in Computer Science on Recent trends in data type specification
Module algebra

Journal of the ACM (JACM)
Logical support for modularisation

Papers presented at the second annual Workshop on Logical environments
Generalising interpretations between theories in the context of p- institutions

Proceedings of the First Imperial College Department of Computing Workshop on Theory and formal methods 1993
On the Modularization Theorem for logical specifications

Information Processing Letters
On pushout consistency, modularity and interpolation for logical specifications

Information Processing Letters
On a generalized modularization theorem

Information Processing Letters - Special issue analytical theory of fuzzy control with applications
Generalized interpolation in CASL

Information Processing Letters
On local modularity variants and P -institutions

Information Processing Letters
Axiomatizing Specification Theory

Selected Papers from the 3rd Workshop on Theory and Applications of Abstract Data Types: Recent Trends in Data Type Specification
Notes on refinement, interpolation and uniformity

ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)

A language for configuring multi-level specifications

Theoretical Computer Science - Algebraic methodology and software technology

Quantified Score

Hi-index	0.89

Visualization

Abstract

We generalise and clarify connections between variants of modularity (preservation of faithfulness) and interpolation by localising them to a diagram in an entailment system. The variants of modularity arise naturally from the idea of building specifications in steps. We establish, by an algebraic approach, connections between these variants and (the existence of) versions of interpolating specifications. We also extend these correspondences to specification and interpolating families, and clarify the role of pushout diagrams in this context.