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).


Engineering asscoiations: from models to code and back through semantics (with Steve Easterbrook and Juergen Dingel). In 46th Int. Conf.on Objects, Models, Components, Patterns (TOOLS '08). Springer Lecture Notes in Business Information Processing , Vol. 11, 2008

Algebraic Models for Bidirectional Model Synchronization. In ACM/IEEE 11th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS'08). Toulouse, France. October 2008 (to appear)

A General Approach for Scenario Integration (with Hongzhi Liang, Juergen Dingel and Ernesto Posse). In ACM/IEEE 11th Int. Conf.on Model Driven Engineering Languages and Systems (MoDELS'08). Toulouse, France. October 2008. (to appear)

A Diagrammatic Logic for Object-Oriented Visual Modeling (with Uwe Wolter). To appear in ENTCS (Special Issue on the Applied & Computational Category Theory Workshop at ETAPS-2006). Accepted for publication in June 2008

Contexts and Context Awareness in the Diagram Predicate Logic Framework (with Uwe Wolter). In 3rd Int.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Kassandra, Greece. October 2008 (to appear in Springer CCIS Vol.17)


Understanding and Improving UML Package Merge (with Juergen Dingel and Alanna Zito). J. of Software and System Modeling. DOI 10.1007/s10270-007-0073-9. Accepted for publication in Oct 2007

An Eclipse-based tool framework for software model management (with Rick Salay, Marsha Chechik, Steve Easterbrook, Pete McCormick, Shiva Nejati, Mehrdad Sabetzadeh and Petcharat Viriyakattiyaporn). In OOPSLA Workshop on Eclipse Technology eXchange, ETX'2007 (Montreal, Canada). 2007


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

A metamodel independent framework for model transformation: Towards generic model management patterns in reverse engineering. 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

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


Generic Model Management (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. In Encyclopedia of Database Technologies & Applications, Eds. L. Rivero, J. Doorn and V. Ferraggine, Idea Group Inc., 2005


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.

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


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, Diagrams'2002. Eds. M. Hegarty, B. Meyer, N. Hari Narayanan. Springer LNAI #2317, 2002, pp. 112-115.


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, Diagrams'2000, Eds. M.Anderson, P.Cheng and V.Haarslev, Springer LNAI, vol.1889, pp.345-360

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


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

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

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


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

The arrow logic of meta-specifications: a formalized graph-based framework for structuring schema repositories. In 7th OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, Eds. Haim Kilov, Bernhard Rumpe and Ian Simmonds, 1998  

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

The universe of mathematics. Proc. The Latvian Acad. Sci.,52(2): 11-13, 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

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


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

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

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


Formalization of graphical schemas: General sketch-based logic vs. heuristic pictures. In Logic, Methodology and Philosophy of Science, 10th Int. Congress, Florence, Italy, 1995. Kluwer Academic Publishers,

Variable sets and function framework for conceptual modeling: Integrating ER and OO via sketches with dynamic markers (with B. Cadish). In Object-Oriented and Entity-Relationship Modeling, OOER'95 14th Int.Conference, Springer Lect.Notes in Comp.Sci., #1021,1995, pp.226-237

Algebraic graph-based approach to management of multibase systems, I: Schema integration via sketches and equations (with B. Cadish). In Next Generation of Information Technologies and Systems, NGITS'95, 2nd Int.Workshop, Naharia, Israel, July 1995. Eds. Ami Motro and Moshe Tennenholtz. pp.69-79


Lambda substitution algebras (with Ilya Beylin). In Mathematical Foundations of Computer Science. 18th Int. Symposium. Springer LNCS Vol.711, 1993, pp.423-433


[ Home | PublicationsUnpublished texts | Research interests | Research biography | Resume (pdf) ]