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

**2007**

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

**2006**

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

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

**2003**

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

**2002**

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.

**2001**

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.

**2000**

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

**1999**

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

**1998**

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

**1997**

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

**1996**

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

**1995**

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

**1993**

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

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