On local modularity and interpolation in entailment systems

Paulo A.S. Veloso; José L. Fiadeiro; Sheila R.M. Veloso

doi:10.1016/S0020-0190(01)00271-X

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)

Science and Engineering Office

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	203-211
Number of pages	9
Journal	Information Processing Letters
Volume	82
Issue number	4
Early online date	29 Aug 2001
DOIs	https://doi.org/10.1016/S0020-0190(01)00271-X
Publication status	Published - 31 May 2002

Keywords

Formal specifications
Institution
Interpolation
Modularity
Software engineering

ASJC Scopus subject areas

Theoretical Computer Science
Signal Processing
Information Systems
Computer Science Applications

Access to Document

10.1016/S0020-0190(01)00271-X

Cite this

@article{c99889eabe6142ddba1e8692e9e2ecee,

title = "On local modularity and interpolation in entailment systems",

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.",

keywords = "Formal specifications, Institution, Interpolation, Modularity, Software engineering",

author = "Veloso, {Paulo A.S.} and Fiadeiro, {Jos{\'e} L.} and Veloso, {Sheila R.M.}",

year = "2002",

month = may,

day = "31",

doi = "10.1016/S0020-0190(01)00271-X",

language = "English",

volume = "82",

pages = "203--211",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier",

number = "4",

}

TY - JOUR

T1 - On local modularity and interpolation in entailment systems

AU - Veloso, Paulo A.S.

AU - Fiadeiro, José L.

AU - Veloso, Sheila R.M.

PY - 2002/5/31

Y1 - 2002/5/31

N2 - 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.

AB - 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.

KW - Formal specifications

KW - Institution

KW - Interpolation

KW - Modularity

KW - Software engineering

UR - http://www.scopus.com/inward/record.url?scp=0037204888&partnerID=8YFLogxK

U2 - 10.1016/S0020-0190(01)00271-X

DO - 10.1016/S0020-0190(01)00271-X

M3 - Article

AN - SCOPUS:0037204888

SN - 0020-0190

VL - 82

SP - 203

EP - 211

JO - Information Processing Letters

JF - Information Processing Letters

IS - 4

ER -

On local modularity and interpolation in entailment systems

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this