Generalized Sketches: A Universal Logic for Diagrammatic . . . (2007)
by
Zinovy Diskin , Uwe Wolter
BibTeX
@MISC{Diskin07generalizedsketches:,
author = {Zinovy Diskin and Uwe Wolter},
title = {Generalized Sketches: A Universal Logic for Diagrammatic . . . },
year = {2007}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Generalized sketches is a graph-based specification format that borrows its main ideas from both categorical and first-order logic, and adapts them to software engineering needs. In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphical appearance. The paper presents a revised framework of basic concepts to make similarities with the traditional FOL specifications transparent.
