A Diagrammatic Logic for Object-Oriented Visual Modeling
MetadataShow full item record
Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary 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 careful motivation and justification of the applicability of generalized sketches for formalizing practical modeling notations. We extend the sketch formalism by dependencies between predicate symbols and develop new semantic notions based on the Instances-as-typed-structures idea. We show that this new framework fits in the general patterns of the institution theory and is well amenable to algebraic manipulations. Keywords: Diagrammatic modeling; model management; generic logic; categorical logic; diagram predicate; categorical sketch
CitationElectronical Notes in Theoretical Computer Science
SubjectDiagrammatic modelingmodel managementgeneric logiccategorical logicdiagram predicatecategorical sketch
Copyright 2008 Elsevier B.V.