Show simple item record

dc.contributor.authorEhrig, Hartmut
dc.contributor.authorNivela Alós, M. Pilar Brígida
dc.contributor.authorOrejas Valdés, Fernando
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.identifier.citationEhrig, H.; Nivela, M.; Orejas, F. "Behavioural approach to modular system specification". 1988.
dc.description.abstractThe algebraic approach to modular specifications as developed by the first author during the last five years is joined with the behavioural approach to algebraic specifications introduced recently by the last two authors. In the joint approach module specifications are provided with a behavioural functorial semantics. As main results we show that basic interconnection mechanisms, like composition, union and actualization are correctness preserving and compositional w.r.t the behavioural semantics. In practice also the case of view actualization is of great interest where non observable actual sorts can be bound to observable formal sorts. Also in this case, which requires behavioural view functors instead of forgetful functors, we discuss how to extend the basic constructions and results. Most constructions and results are illustrated by a behavioural module specification of a modular airport schedule system.
dc.format.extent20 p.
dc.rightsAttribution-NonCommercial-NoDerivs 3.0 Spain
dc.subjectÀrees temàtiques de la UPC::Informàtica
dc.titleBehavioural approach to modular system specification
dc.typeExternal research report
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.rights.accessOpen Access
dc.description.versionPostprint (published version)
local.citation.authorEhrig, H.; Nivela, M.; Orejas, F.

Files in this item


This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 Spain
Except where otherwise noted, content on this work is licensed under a Creative Commons license : Attribution-NonCommercial-NoDerivs 3.0 Spain