A Diagrammatic Logic for Object-Oriented Visual Modeling Export

@article{diskin:adlfoovm, abstract = {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.}, author = {Diskin, Z. and Wolter, U.}, citeulike-article-id = {3749861}, citeulike-linkout-0 = {http://dx.doi.org/10.1016/j.entcs.2008.10.041}, citeulike-linkout-1 = {http://linkinghub.elsevier.com/retrieve/pii/S1571066108004350}, day = {21}, doi = {10.1016/j.entcs.2008.10.041}, issn = {15710661}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {category-theory, diagrams, logic}, month = {November}, number = {6}, pages = {19--41}, posted-at = {2008-12-05 11:14:52}, priority = {2}, title = {A Diagrammatic Logic for Object-Oriented Visual Modeling}, url = {http://dx.doi.org/10.1016/j.entcs.2008.10.041}, volume = {203}, year = {2008} }

TY - JOUR ID - diskin:adlfoovm L3 - citeulike-article-id:3749861 N2 - 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. IS - 6 JF - Electronic Notes in Theoretical Computer Science SN - 15710661 EP - 41 TI - A Diagrammatic Logic for Object-Oriented Visual Modeling VL - 203 SP - 19 KW - category-theory KW - diagrams KW - logic AU - Diskin, Z AU - Wolter, U PY - 2008/11/21/ UR - http://dx.doi.org/10.1016/j.entcs.2008.10.041 ER -