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)
2007Understanding 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. 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
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) ] |