Skip to main content

Very abstract specifications: a formalism independent approach

    • Published online: 01 February 1998

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.

Hide All
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.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Mathematical Structures in Computer Science
  • ISSN: 0960-1295
  • EISSN: 1469-8072
  • URL: /core/journals/mathematical-structures-in-computer-science
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 17 *
Loading metrics...

Abstract views

Total abstract views: 56 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 20th August 2018. This data will be updated every 24 hours.