On local modularity and interpolation in entailment systems

Paulo A.S. Veloso (Lead / Corresponding author), José L. Fiadeiro (Lead / Corresponding author), Sheila R.M. Veloso (Lead / Corresponding author)

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)203-211
Number of pages9
JournalInformation Processing Letters
Issue number4
Early online date29 Aug 2001
Publication statusPublished - 31 May 2002


  • Formal specifications
  • Institution
  • Interpolation
  • Modularity
  • Software engineering

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Signal Processing
  • Information Systems
  • Computer Science Applications


Dive into the research topics of 'On local modularity and interpolation in entailment systems'. Together they form a unique fingerprint.

Cite this