Composition of Modules with Hidden Information over Inclusive Institutions

by Joseph Goguen , Grigore Rosu

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Composition of Modules with Hidden Information over Inclusive Institutions	user correction - Legacy Corrections
AUTHOR NAME	Joseph Goguen	SVM HeaderParse 0.1
AUTHOR NAME	Grigore Rosu	SVM HeaderParse 0.1
AUTHOR AFFIL	; 2; 1; Department of Computer Science & Engineering; University of California at San Diego; 2; Department of Computer Science; University of Illinois at Urbana-Champaign	SVM HeaderParse 0.2
ABSTRACT	This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for compositions using five familiar operations, and a property called conservativity is shown necessary and sufficient for these semantics to agree. The first semantics extracts the visible properties of the result of composing both the visible and hidden parts of modules, while the second uses only the visible properties of the components. Several "laws of software composition" are given, which demonstrate the power of inclusive institutions to simplify proofs.	user correction - Legacy Corrections
CITATIONS	27 found	ParsCit 1.0