Contrasting classification with generalisation

Conferences in Research and Practice in Information Technology Series

Volumn 96, Issue , 2009, Pages

  Kühne, Thomas ^a  

^a VICTORIA UNIVERSITY OF WELLINGTON   (New Zealand)

Author keywords

Classification; Generalisation; Strict meta modelling

Indexed keywords

ABSTRACTION MECHANISM; GENERALISATION; META-MODELLING; MODELLING LANGUAGE; SANITY CHECK;

CLASSIFICATION (OF INFORMATION);

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

References (25)

1. Atkinson, C. & Kühne, T. (2001), 'Processes and products in a multi-level metamodeling architecture', International Journal of Software Engineering and Knowledge Engineering 11(6), 761-783.
2. Atkinson, C. & Kühne, T. (2003), 'Rearchitecting the UML infrastructure', A CM Transactions on Modeling and Computer Simulation 12(4), 290-321.
3. Atkinson, C. & Kühne, T. (2005), Concepts for comparing modeling tool architectures, in L. Briand, ed., 'Proceedings of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS / UML', Springer Verlag, pp. 398-413.
4. Carnap, R. (1947), Meaning and Necessity: A Study in Semantics and Modal Logic, University of Chicago Press.
5. Frege, G. (1892), Uber Begriff und Gegenstand (On Concept and Object), in 'Vierteljahrsschrift fur wissenschaftliche Philosophic', Vol. XVI, Fues's Verlag, pp. 192-205.
6. Gitzel, R. & Korthaus, A. (2004), The role of meta-modeling in model-driven development, in 'Pro-th Systemics, Cybernetics and Informatics', Vol. IV. pp. 68-73.
7. Gitzel, R. & Merz, M. (2004), How a relaxation of the strictness definition can benefit MDD approaches with meta model hierarchies, in 'Proceedings of the th netics and Informatics', Vol. IV, pp. 62-67.
8. Goldberg, A. & Robson, D. (1983), Smalltalk-80: The Language and its Implementation, Addison-Wesley, Reading, MA.
9. Gonzalez-Perez, C. & Henderson-Sellers, B. (2006), 'A powertype-based metamodelling framework', Software and Systems Modeling 5(1), 72-90. (Pubitemid 43454249)
10. Jackson, D. (2006), Software Abstractions: Logic, Language, and Analysis, The MIT Press, Cambridge, Mass.
11. Kamlah, W. & Lorenzen, P. (1996), Logische Propadeutik, Metzler.
12. Kühne, T. (2006), 'Matters of (meta-) modeling', Software and Systems Modeling 5(4), 369-385. (Pubitemid 44824551)
13. Kühne, T. & Schreiber, D. (2007), Can programming be liberated from the two-level style? - Multilevel programming with DeepJava, in 'Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications', ACM, NY, USA, pp. 229-244.
14. Kunen, K. (1980), Set Theory: An Introduction to Independence Proofs, Elsevier. ISBN 0-444-86839-9.
15. Mittelstrafi, J., ed. (1995), Enzyklopadie Philosophic and Wissenschaftstheorie, Verlag J. B. Metzler.
16. Noble, J., Pearce, D. J. & Groves, L. (2008), Introducing Alloy in a software modelling course, in 'ETAPS 2008 Workshop on Formal Methods in Computer Science Education (FORMED)'.
17. OMG (2004), Unified Modeling Language Infrastructure, Version 2.1.2. OMG document formal/2007-11-04.
18. OMG (2006), Meta Object Facility (MOF) 2.0 Core Specification. OMG document formal/2006-01-01.
19. OMG (2007), Unified Modeling Language Superstructure Specification, Version 2.1.1. OMG document formal/07-02-05.'
20. Purchotius, E. (1730), Institutiones philosophicae I, in 'Tomus primus, Complectens Logicam & Meta-physicam', Apud Joannem Manfrè.
21. Rayside, D. & Campbell, G. T. (2000), An Aristotelian understanding of object-oriented programming, in 'Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications', ACM Press, pp. 337-353. (Pubitemid 32396370)
22. Seater, R. & Dennis, G. (2008), 'Tutorial for Alloy analyzer 4.0', http://alloy.mit.edu/alloy4/tutorial4/.
23. Ungar, D. & Smith, R. B. (1987), Self: The power of simplicity, in 'Proceedings of the Conference on Object-Oriented Programming, Systems, Languages, and Applications', ACM press, pp. 227-242.
24. Varró, D. & Pataricza, A. (2003), VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML', Journal of Software and Systems Modelling 2(3), 1-24.
25. Whitehead, A. N. & Russell, B. (1910), Principia Mathematical, Suhrkamp, Frankfurt.