Behavioural approach to modular system specification
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/189099
Tipus de documentReport de recerca
Data publicació1988-07
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
The 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.
CitacióEhrig, H.; Nivela, M.; Orejas, F. "Behavioural approach to modular system specification". 1988.
Forma partLSI-88-24
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400008441.pdf | 1,110Mb | Visualitza/Obre |