Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-23T23:09:15.092Z Has data issue: false hasContentIssue false
  • English
  • Français

Diagrammatic specifications

Published online by Cambridge University Press:  23 December 2003

DOMINIQUE DUVAL
DOMINIQUE DUVAL
Affiliation:
Université Joseph Fourier, Laboratoire de Modélisation et Calcul, B. P. 53, 38041 Grenoble Cedex 9, France Email: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

This paper presents a simple and powerful diagrammatic framework for dealing with specifications in computer science. Following a classical line, we define diagrammatic specifications as a kind of generalised sketch. In addition, the specifications themselves are defined as the realisations of projective sketches. This meta level provides adjunction properties: this is due to a well-known result of Ehresmann. Moreover, we prove in this paper that this meta level also provides an efficient definition of deduction. This work results from a collaboration with Christian Lair.

Type
Paper
Information
Mathematical Structures in Computer Science , Volume 13 , Issue 6 , December 2003 , pp. 857 - 890
Copyright
2003 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.)