Selected Publications of Zinovy Diskin

As a contributing author of the documents listed below, I have made them available electronically to ensure timely dissemination of scientific results on a non-commercial basis. All papers are subject to copyright by their respective publishers (Elsevier, IEEE, Idea Group and other publishers, see their websites for copyright restrictions and definitive published versions).

A list of publications in the reverse chronological order is here.

The list sorted out by topics is below (only more representative texts are listed).

Generic model management, particularly, Data/schema/view integration

Behavior modeling

Semantic data modeling, Conceptual/business Modeling

Object-oriented visual modeling, Diagrammatic notations

Formal semantics for UML

Why does category theory matter in computer science? What category theory does matter in computer science?

Mathematics, Algebraic logic, Set theory

Bits and pieces

Generic model management

Model-driven engineering and mathematics: A new golden age? Invited talk at Department of Informatics, University of Bergen, 2006

Do model mappings really map? Invited talk at Model Fusion Workshop at CASCON-2006, Toronto, October 2006

Metamodel-independent schema & data integration: Towards joining syntax and semantics in generic model management. Technical Report 2006-522, School of Computing, Queen's University, September 2006

A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering (with Juergen Dingel). In Proc. 3rd Int.Workshop on Metamodels, Schemas, Grammas and Ontologies for reverse engineering,  ATEM-2006.  Eds. J-M. Favre, D. Gasevic, R. Laemmel, A. Winter Presentation

Model transformation via pull-backs: algebra vs. heuristics Technical Report 2006-521, School of Computing, Queen's University, September 2006

Generic Model Management (Why, What and How, Mathematically) (jointly with Boris Kadish). In Encyclopedia of Database Technologies & Applications, Eds. L. Rivero, J.Doorn and V. Ferraggine, Idea Group Inc. 2005

Mathematics of generic specifications for model management, I & II. In Encyclopedia of Database Technologies & Applications, Eds. L. Rivero, J. Doorn and V. Ferraggine, Idea Group Inc., 2005

Abstract Metamodeling, I: How to reason about meta- and metamodeling in a formal way. In 8th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Eds. Ken Baclawski et al, College of Computer Science, Northeastern University, 1999, pp. 32-48

Humans, Computers, Specifications: The Arrow Logic of Information System Engineering (with Boris Kadish and Frank Piessens). J. of Computing Anticipatory Systems, 4:31-51, 1999 (ISBN 2-9600179-4-3), pp.31-51

The arrow logic of meta-specifications. In Seventh OOPSLA Workshop on behavioral semantics of business and system specifications, 1998

A graphical yet formalized framework for specifying view systems (with B. Kadish). In Advances in databases and information systems, 1st East-European Symposium,. St. Petersburg,Russia,1997 pp.123-132. ACM SIGMOD Digital Anthology: vol.2(5), ADBIS'97

Data/schema/view integration

Scenario Integration via Higher-Order Graphs (together with Juergen Dingel and Hongzhi Liang). School of Computing, Queen's University. Technical Report #2006-517

Mathematics of generic specifications for model management, I . In Encyclopedia of Database Technologies & Applications, Eds. L. Rivero, J. Doorn and V. Ferraggine, Idea Group Inc., 2005

Heterogeneous view integration via sketches and equations (with B. Cadish). In Foundations of Intelligent Systems, ISMIS'96, 9th Int. Symposium, Springer Lecture Notes in AI, #1079:603-612, 1996

   

Behavior modeling

Scenario Integration via Higher-Order Graphs (together with Juergen Dingel and Hongzhi Liang). School of Computing, Queen's University. Technical Report #2006-517. See here for presentation at Department of Informatics, University of Oslo, 2006

A Comparative Survey of Scenario-based to State-based Model Synthesis (together with Hongzhi Liang and Juergen Dingel). 5th Int. Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM'06), 2006.

Semantic data modeling, Conceptual/business Modeling

Variable set semantics for keyed generalized sketches: Formal semantics for object identity and abstract syntax for conceptual modeling (with Boris Kadish). Data and Knowledge Engineering, 47 (2003), pp.1-59

Mathematics of UML: Making the Odysseys of UML less dramatic. Chapter 8 in Practical foundations of business system specifications, Eds. K. Baclawski and H. Kilov. Kluwer Academic Publishers, 2003 (ISBN 1-4020-1480-5) pp.145-178.

On mathematical foundations for business modeling. In TOOLS'37: 37th Int. Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia, October 2000. IEEE Computer Society Press, 2000, pp. 182-187

   

Object-oriented visual modeling, Diagrammatic notations

Visualization vs. specification in diagrammatic notations: a case study with UML. Extended abstract. In Diagrammatic Representation and Inference. 2nd Int. Conf. on the theory and applications of diagrams, . Eds. M. Hegarty, B. Meyer, N. Hari Narayanan. Springer LNAI #2317, 2002, pp. 112-115. Full text is here .

Universal arrow foundations for visual modeling (together with Boris Kadish, Frank Piessens and Michael Johnson). In Diagrammatic Representation and Inference: 1st Int.Conf. on the Theory and Applications of Diagrams, Eds. M.Anderson, P.Cheng and V.Haarslev, Springer Lect.Nites in AI, vol.1889, pp.345-360

What vs. how of visual modeling: The arrow logic of graphic notations. (with Boris Kadish and Frank Piessens). Chapter 3 in Behavioral Specifications in Businesses and Systems. Eds. H. Kilov, B. Rumpe and I.Simmonds. Kluwer Academic Publishers, 1999 (ISBN 0-7923-8629-9) pp. 27-44

   

Formal semantics for UML

Scenario Integration via Higher-Order Graphs (together with Juergen Dingel and Hongzhi Liang). School of Computing, Queen's University. Technical Report #2006-517

Mappings, maps and tables: Towards formal semantics for associations in UML2 (with Juergen Dingel). In Proc. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Models/UML-2006. Eds. Nierstrasz, O.; Whittle, J.; Harel, D.; Reggio, G.  Springer, LNCS #4199, 2006, pp.230-244 [Presentation is here]

Package merge in UML 2: Practice vs. theory? (with Alanna Zito and Juergen Dingel). In Proc. ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Models/UML-2006. Eds. Nierstrasz, O.; Whittle, J.; Harel, D.; Reggio, G. Springer, LNCS #4199, 2006, pp.185-199

Mathematics of UML: Making the Odysseys of UML less dramatic. Chapter 8 in Practical foundations of business system specifications, Eds. K. Baclawski and H. Kilov. Kluwer Academic Publishers, 2003 (ISBN 1-4020-1480-5) pp.145-178.

   

Why does category theory matter in computer science? What category theory does matter in computer science?

Generalized Sketches: A Universal Logic for Diagrammatic Modeling in Software Engineering. (together with Uwe Wolter). To appear in Proc.ACCAT-2007

On modeling, mathematics, category theory and RM-ODP. In WOODPECKER'2001: 1st Int. Workshop On Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realization (in conjunction with ICEIS'2001), Setubal, Portugal, 2001. ICEIS Press, Portugal, 2001 (ISBN 972-98050-5-9), pp.38-54.

Universal arrow foundations for visual modeling (together with Boris Kadish, Frank Piessens and Michael Johnson). In Diagrammatic Representation and Inference: 1st Int.Conf. on the Theory and Applications of Diagrams, Eds. M.Anderson, P.Cheng and V.Haarslev, Springer Lect.Nites in AI, vol.1889, pp.345-360

The Arrow Manifesto: Towards software engineering based on comprehensible yet rigorous graphical specifications (with Boris Kadish and Frank Piessens). In 15th Int. Congress for Cybernetics, Namur, Belgium, August 1998

Generalized sketches as an algebraic graph-based framework for semantic modeling and database design.Research Report M-97, Faculty of Physics and Mathematics, University of Latvia, August 1997

Databases as diagram algebras: specifying queries and views via the graph-based logic of sketches. Research Report FIS/LDBD-96-02. Frame Inform System, Riga, Latvia, 1996

Re: Is category theory to formal methods as calculus is to physics? Or to biology? Posting to a thread in Google's interests group on formal methods, 2001

   

Mathematics, Algebraic logic, Set theory

The universe of mathematics. Proc. Latvian Acad. Sci., 52(2): 11-13, 1998

A unified functorial framework for propositional-like and equational-like logics. In 1st Int. Workshop on Abstract Algebraic Logic, WAAL'97, Centre de Recerca Matematica, Barcelona, Spain, 1997. Quaderns, 10:26-50, 1998

Abstract universal algebraic logic, I: A unified framework of structural hyperlogics for integrating the deductive and model-theoretical approaches. Proc. Latvian Acad. Sci., 50(1): 10-21, 1996

Abstract universal algebraic logic, II: Algebraizable logics and algebraic semantics (Galois connections, compactness, and constructivity). Proc. Latvian Acad. Sci., 50(1): 22-30, 1996

Towards algebraic graph-based model theory for computer science.  In LogicColloquium-95. Abstract is published in Bull. Symbolic Logic, 3 (1):44-145, 1997

Algebraizing institutions: Incorporating algebraci logic methodology into the institution framework for building specifications. Research Report FIS/DBDL-94-04.Frame Inform Systems, Ltd.Riga, 1994

Lambda substitution algebras (with Ilya Beylin). In Mathematical Foundations of Computer Science. 18th Int. Symposium. Springer Lecture Notes in Comp. Sci., #711, 1993, pp.423-433

An approach to higher-order set theory (with Andrei Camyshev). Unpublished.

Bits and Pieces

About ballet, soccer, OS Windows and the Mariinsky Theater (In Russian, together with Anna Roudnitskaya). Published in a Russian Detroit newspaper "Seven days" as an ad before the Mariinsky Theater's tour

Semiotic Zoo

   

   

   

[ Home | Publications/Research interests | Research biography | Resume (pdf) ]