Algebriac theory provides a framework for the specification and design of modules and modular software systems. Research in this area has focused on the development of "horizontal" operations for building up module and interface specifications. Our previous work also introduced the notion of vertical development steps, where abstract specifications are converted into a more concrete form. In this paper, we study a variety of compatibility problems between structuring operations and development steps and introduce notions of the realization of an interface specification by a module specification. These compatibility problems are studied in a categorical framework where specifications and developments steps are viewed as objects and morphisms in a "development category". We show that compatibility can be expressed as the fact that the structuring operations can be extended to partial functors and give sufficient conditions for this property.

COMPATIBILITY PROBLEMS IN THE DEVELOPMENT OF ALGEBRAIC MODULE SPECIFICATIONS / Hartmut, Ehrig; Werner, Fey; Horst, Hansen; M., Loewe; Dean, Jacobs; PARISI PRESICCE, Francesco. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - STAMPA. - 77:1-2(1990), pp. 27-71. (Intervento presentato al convegno CONF ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY tenutosi a IOWA CITY, IA nel MAY 22-24, 1989) [10.1016/0304-3975(90)90115-x].

COMPATIBILITY PROBLEMS IN THE DEVELOPMENT OF ALGEBRAIC MODULE SPECIFICATIONS

PARISI PRESICCE, Francesco
1990

Abstract

Algebriac theory provides a framework for the specification and design of modules and modular software systems. Research in this area has focused on the development of "horizontal" operations for building up module and interface specifications. Our previous work also introduced the notion of vertical development steps, where abstract specifications are converted into a more concrete form. In this paper, we study a variety of compatibility problems between structuring operations and development steps and introduce notions of the realization of an interface specification by a module specification. These compatibility problems are studied in a categorical framework where specifications and developments steps are viewed as objects and morphisms in a "development category". We show that compatibility can be expressed as the fact that the structuring operations can be extended to partial functors and give sufficient conditions for this property.
1990
01 Pubblicazione su rivista::01a Articolo in rivista
COMPATIBILITY PROBLEMS IN THE DEVELOPMENT OF ALGEBRAIC MODULE SPECIFICATIONS / Hartmut, Ehrig; Werner, Fey; Horst, Hansen; M., Loewe; Dean, Jacobs; PARISI PRESICCE, Francesco. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - STAMPA. - 77:1-2(1990), pp. 27-71. (Intervento presentato al convegno CONF ON ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY tenutosi a IOWA CITY, IA nel MAY 22-24, 1989) [10.1016/0304-3975(90)90115-x].
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/394991
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 2
social impact