Hostname: page-component-76fb5796d-r6qrq Total loading time: 0 Render date: 2024-04-27T01:16:52.267Z Has data issue: false hasContentIssue false
  • English
  • Français

Very abstract specifications: a formalism independent approach

Published online by Cambridge University Press:  01 February 1998

MAURA CERIOLI  and
GIANNA REGGIO
MAURA CERIOLI
Affiliation:
Dipartimento di Informatica e Scienze dell'Informazione, Via Dodecaneso 35, 16146 Genova (Italy). Email: {cerioli, reggio}@disi.unige.it
GIANNA REGGIO
Affiliation:
Dipartimento di Informatica e Scienze dell'Informazione, Via Dodecaneso 35, 16146 Genova (Italy). Email: {cerioli, reggio}@disi.unige.it
Get access Rights & Permissions [Opens in a new window]

Abstract

Two operations are presented for a modular approach to the definition of frameworks for rigorous development of software, formally represented as institutions.

The first generalizes models, allowing them to have more structure than the minimum required by their declared signatures, as happens for software modules, which may have local routines that do not appear in their interface.

The second extends sentences, and their interpretation in models, allowing sentences on richer signatures to be used as formulae for poorer ones.

Combining the application of these operations, powerful institutions can be defined, like those for very abstract entities, or for hyper-loose algebraic specifications.

The compatibility of different sequential applications of these operations and properties of the resulting institutions are also studied.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 8 , Issue 1 , February 1998 , pp. 17 - 66
Copyright
1998 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

This work has been partially supported by the projects MURST-40% Modelli e Specifiche di Sistemi Concorrenti and Modelli della Computazione e dei Linguaggi di Programmazione.