论文信息 - On Modeling, Mathematics, Category Theory and RM-ODP

On Modeling, Mathematics, Category Theory and RM-ODP

RM-ODP is about modeling, and mathematics is one of the oldest, and deserved, modeling disciplines. Experience accumulated in mathematics in general, and some of machineries developed, may well turn out to be relevant for arranging/organizing/ formalizing the concepts managed in RM-ODP. Especially promising here is mathematical category theory that is nothing but a discipline and framework for structure engineering considered in an abstract and precise way.

Zinovy Diskin

[1] Roger King,et al. Report of the Workshop on Semantic Heterogeneity and Interpolation in multidatabase Systems , 1993, SGMD.

[2] Zinovy Diskin,et al. A Graphical Yet Formalized Framework for Specifying View Systems , 1997, ADBIS.

[3] Zinovy Diskin,et al. Abstract metamodeling, I: How to reason about meta- and metamodels in a formal way , 1999 .

[4] Frank Piessens,et al. The Arrow Manifesto: Towards Software Engineering Based on Comprehensible yet Rigorous Graphic Specifications , 1998 .

[5] Frank Piessens,et al. Universal Arrow Foundations for Visual Modeling , 2000, Diagrams.

[6] Haim Kilov. BUSINESS SPECIFICATIONS: The Key to Successful Software Engineering , 1998 .

[7] Joseph A. Goguen,et al. A categorical manifesto , 1989, Mathematical Structures in Computer Science.

[8] Zinovy Diskin. On mathematical foundations for business modeling , 2000, Proceedings 37th International Conference on Technology of Object-Oriented Languages and Systems. TOOLS-Pacific 2000.