On modeling, mathematics, category theory and RM-ODP

Proceedings of the 1st International Workshop on Open Distributed Processing: Enterprise, Computation, Knowledge, Engineering and Realisation, WOODPECKER 2001 - In Conjunction with ICEIS 2001

Volumn , Issue , 2001, Pages 38-54

  Diskin, Zinovy ^a  

^a Frame Inform Sustems Ltd   (Latvia)

Author keywords

[No Author keywords available]

Indexed keywords

MACHINERY;

CATEGORY THEORY; STRUCTURE ENGINEERING;

COMPUTATION THEORY;

EID: 0041792328     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. RM-ODP Standards. http://www.dstc.com/Research/Projects/ODP/ref-model.html .
2. Z. Diskin. The arrow logic of meta-specifications: a formalized graph-based framework for structuring schema repositories. In B. Rumpe H. Kilov and I. Simmonds, editors, Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications, OOPSLA98, TUM-I9820, Technische Universitaet Muenchen, 1998. (ftp://cs.chalmers.se/pub/users/diskin/PAPERS-DB/oopsla98.ps ).
3. Z. Diskin. Abstract metamodeling, I: How to reason about meta-and metamodeling in a formal way. In K. Baclawski, H. Kilov, A. Thalassinidis, and K. Tyson, editors, 8th OOPSLA Workshop on Behavioral Specifications, OOPSLA99. Northeastern University, College of Computer Science, 1999.
4. Z. Diskin. On mathematical foundations for business modeling. In TOOLS'37: 37th Int. Conference on Technology of Object-Oriented Languages and Systems (Sydney, Australia), pages 182-187. IEEE Computer Society Press, 2000.
5. Z. Diskin. The arrow diagram logic and the UML. Submitted, 2001.
6. Z. Diskin and B. Kadish. Variable set semantics for categorical sketches: Formal semantics for object identity and conceptual modeling. To appear in Data and Knowledge Engineering, manuscript is available from the authors
7. Z. Diskin and B. Kadish. A graphical yet formalized framework for specifying view systems. In Advances in Databases and Information Systems, ADBIS'97, 1st East-Europian Symposium, 1997.
8. Z. Diskin, B. Kadish, and F. Piessens. The Arrow Manifesto: Towards software engineering based on comprehensible yet rigorous graphical specifications. In 15th Int. Congress for Cybernetics. Namur (Belgium), 1998. (ftp://cs.chalmers.se/pub/users/-diskin/Manifest/-namur98.doc,namur98.ps).
9. Z. Diskin, B. Kadish, F. Piessens, and M. Johnson. Universal arrow foundations for visual modeling. In Diagrams'2000: 1st Int. Conf. on the Theory and Applications of Diagrams, volume 1889 of Springer LNAI, pages 345-360, 2000.
10. P. Drew, R. King, D. McLeod, M. Rusinkiewicz, and A. Silberschatz. Report on the workshop on semantic heterogeneity and interoperation in multidatabase systems. SIGMOD Record, 22(3):47-56, 1993.
11. J.A. Goguen. A categorical manifesto. Mathematical structures in computer science, 1(1): 49-67, 1991.
12. M. Healy et al. On mathematics relevant to AI, SE, knowledge representation and other newly created domains. Discussion in "Categories" e-mail list (categories@mta.ca) run mainly under the title "Re: Mike Healy's question on mathematics and AI", Winter 2001.
13. H. Kilov. Business Specifications: The Key to Successful Software Engineering. Prentice Hall PTR, 1999. ISBN: 0-13-079844-4.