The Next Hundred Diagrammatic Specification Techniques — An Introduction to Generalized Sketches —

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. 1 2 3

[1]  J. Goguen.  An introduction to algebraic semiotics, with application to user interface design , 1999 .

[2]  Bran Selic.  Model-driven development: its essence and opportunities , 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

[3]  Reiko Heckel,et al.  Graph Transformation in a Nutshell , 2006, FoVMT.

[4]  Zinovy Diskin.  MATHEMATICS OF UML: Making the Odysseys of UML less dramatic 1 , 2003 .

[5]  Zinovy Diskin,et al.  Generalised Sketches as an algebraic graph-based framework for semantic modeling and database design , 1997 .

[6]  José Luiz Fiadeiro.  Categories for software engineering , 2005 .

[7]  M. Makkai.  Generalized sketches as a framework for completeness theorems , 1997 .

[8]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[9]  Zinovy Diskin,et al.  A Graphical Yet Formalized Framework for Specifying View Systems , 1997, ADBIS.

[10]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[11]  Zinovy Diskin,et al.  Variable set semantics for keyed generalized sketches: formal semantics for object identity and abstract syntax for conceptual modeling , 2003, Data Knowl. Eng..

[12]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[13]  Michael Johnson,et al.  View Updatability Based on the Models of a Formal Specification , 2001, FME.

[14]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[15]  Charles Wells,et al.  Graph-based Logic and Sketches , 2008, ArXiv.

[16]  Uwe Wolter,et al.  An Algebraic Approach to Deduction in Equational Partial Horn Theories , 1991, Journal of Information Processing and Cybernetics.

[17]  F. Piessens,et al.  Proving semantical equivalence of data specifications , 1997 .

[18]  Jürgen Dingel,et al.  Mappings, maps and tables: towards formal semantics for associations in UML2 , 2006, MoDELS'06.

[19]  Michael Johnson,et al.  Entity-relationship-attribute designs and sketches , 2002 .

[20]  Thomas Baar,et al.  Making Metamodels Aware of Concrete Syntax , 2005, ECMDA-FA.

[21]  Zinovy Diskin,et al.  Visualization vs. Specification in Diagrammatic Notations: A Case Study with the UML , 2002, Diagrams.

[22]  Christopher N. G. Dampney,et al.  An illustrated mathematical foundation for ERA , 1992 .

[23]  Ivar Jacobson,et al.  The Unified Modeling Language Reference Manual, Second Edition , 2005 .

[24]  Zinovy Diskin,et al.  Mathematics of Generic Specifications for Model Management, I , 2005, Encyclopedia of Database Technologies and Applications.

[25]  Horst Reichel,et al.  Initial Computability, Algebraic Specifications, and Partial Algebras , 1987 .