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

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

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

Semantic data modeling, Conceptual/business Modeling

Object-oriented visual modeling, Diagrammatic notations

Mathematics, Algebraic logic, Set theory

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

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

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

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.

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

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

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.

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

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.

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

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