[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/1862739.1862750dlproceedingsArticle/Chapter ViewAbstractPublication PagesapccmConference Proceedingsconference-collections
research-article
Free access

Contrasting classification with generalisation

Published: 01 January 2009 Publication History

Abstract

Classification and Generalisation are two of the most important abstraction mechanisms in modelling, and while they share a number of similarities, they are unmistakably different with respect to their properties. Recently, a number of (meta-) modelling language design approaches de-emphasised the differences between classification and generalisation in order to gain various advantages. This paper aims to demonstrate the loss in precision and the loss of sanity checks such approaches entail. After a careful comparison between classification and generalisation, I identify problems associated with the above mentioned approaches and offer alternatives that retain a strong distinction between classification and generalisation.

References

[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', ACM 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 8 th 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), Über Begriff und Gegenstand (On Concept and Object), in 'Vierteljahrsschrift für wissenschaftliche Philosophie', Vol. XVI, Fues's Verlag, pp. 192--205.
[6]
}}Gitzel, R. & Korthaus, A. (2004), The role of meta-modeling in model-driven development, in 'Proceedings of the 8 th World MultiConference on 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 8th World Multi-Conference on Systemics, Cybernetics 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.
[10]
}}Jackson, D. (2006), Software Abstractions: Logic, Language, and Analysis, The MIT Press, Cambridge, Mass.
[11]
}}Kamlah, W. & Lorenzen, P. (1996), Logische Propäädeutik, Metzler.
[12]
}}Kühne, T. (2006), 'Matters of (meta-) modeling', Software and Systems Modeling 5(4), 369--385.
[13]
}}Kühne, T. & Schreiber, D. (2007), Can programming be liberated from the two-level style? -- Multilevel programming with DeepJava, in 'Proceedings of the 22 nd 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]
}}Mittelstraß, J., ed. (1995), Enzyklopädie Philosophie und 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.
[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 Mathematica, Suhrkamp, Frankfurt.

Cited By

View all
  • (2018)On the Quest for Flexible ModellingProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239376(23-33)Online publication date: 14-Oct-2018
  • (2018)Toward a well-founded theory for multi-level conceptual modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0538-917:1(205-231)Online publication date: 1-Feb-2018
  • (2018)Formalization of the classification patternSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0521-517:1(167-203)Online publication date: 1-Feb-2018
  • Show More Cited By

Index Terms

  1. Contrasting classification with generalisation

    Recommendations

    Comments

    Please enable JavaScript to view thecomments powered by Disqus.

    Information & Contributors

    Information

    Published In

    cover image DL Hosted proceedings
    APCCM '09: Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
    January 2009
    163 pages
    ISBN:9781920682774

    Sponsors

    • Helium, New Zealand
    • Australian Comp Soc: Australian Computer Society
    • CityLink, New Zealand
    • Security Assessment, New Zealand
    • New Zealand Computer Society
    • CORE - Computing Research and Education
    • Victoria University of Wellington
    • Institute for Infocomm Research, A*STAR
    • Xero
    • Catalyst, New Zealand

    Publisher

    Australian Computer Society, Inc.

    Australia

    Publication History

    Published: 01 January 2009

    Author Tags

    1. classification
    2. generalisation
    3. strict meta-modelling

    Qualifiers

    • Research-article

    Acceptance Rates

    APCCM '09 Paper Acceptance Rate 12 of 38 submissions, 32%;
    Overall Acceptance Rate 49 of 151 submissions, 32%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)18
    • Downloads (Last 6 weeks)2
    Reflects downloads up to 04 Jan 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2018)On the Quest for Flexible ModellingProceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems10.1145/3239372.3239376(23-33)Online publication date: 14-Oct-2018
    • (2018)Toward a well-founded theory for multi-level conceptual modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0538-917:1(205-231)Online publication date: 1-Feb-2018
    • (2018)Formalization of the classification patternSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0521-517:1(167-203)Online publication date: 1-Feb-2018
    • (2018)Dual deep modelingSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0519-z17:1(233-268)Online publication date: 1-Feb-2018
    • (2016)Applying a Multi-Level Modeling Theory to Assess Taxonomic Hierarchies in WikidataProceedings of the 25th International Conference Companion on World Wide Web10.1145/2872518.2891117(975-980)Online publication date: 11-Apr-2016
    • (2011)A semantic approach for business process model abstractionProceedings of the 23rd international conference on Advanced information systems engineering10.5555/2026716.2026764(497-511)Online publication date: 20-Jun-2011
    • (2011)A FUML-based distributed execution machine for enacting software process modelsProceedings of the 7th European conference on Modelling foundations and applications10.5555/2023522.2023527(19-34)Online publication date: 6-Jun-2011
    • (2010)Meronymy-based aggregation of activities in business process modelsProceedings of the 29th international conference on Conceptual modeling10.5555/1929757.1929759(1-14)Online publication date: 1-Nov-2010
    • (2010)Modeling issuesProceedings of the 13th international conference on Model driven engineering languages and systems: Part II10.5555/1929101.1929137(361-375)Online publication date: 3-Oct-2010
    • (2009)Representation and Traversal of Large Clabject ModelsProceedings of the 12th International Conference on Model Driven Engineering Languages and Systems10.1007/978-3-642-04425-0_3(17-31)Online publication date: 1-Oct-2009

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media