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)

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.

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

Keywords

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

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

Cite this