Toward a well-founded theory for multi-level conceptual modeling

Multi-level conceptual modeling addresses the representation of subject domains dealing explicitly with multiple classification levels. Despite the recent advances in multi-level modeling techniques, we believe that the literature in multi-level conceptual modeling would benefit from a theory that:...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Software and systems modeling Ročník 17; číslo 1; s. 205 - 231
Hlavní autori: Carvalho, Victorio A., Almeida, João Paulo A.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Berlin/Heidelberg Springer Berlin Heidelberg 01.02.2018
Springer Nature B.V
Predmet:
ISSN:1619-1366, 1619-1374
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract Multi-level conceptual modeling addresses the representation of subject domains dealing explicitly with multiple classification levels. Despite the recent advances in multi-level modeling techniques, we believe that the literature in multi-level conceptual modeling would benefit from a theory that: (1) formally characterizes the nature of classification levels and (2) precisely defines the structural relations that may occur between elements of different classification levels. This work aims to fill this gap by proposing an axiomatic theory that can be considered a reference top-level ontology for types in multi-level conceptual modeling. The theory provides the modeler with basic concepts and patterns to articulate domains that require multiple levels of classification as well as to inform the development of well-founded languages for multi-level conceptual modeling. The whole theory is founded on a basic instantiation relation and characterizes the concepts of individuals and types , with types organized in levels related by instantiation. Further, it includes intra-level structural relations that are used to define expressive multi-level models and cross-level relations that allow us to account for and incorporate the different notions of power type in the literature.
AbstractList Multi-level conceptual modeling addresses the representation of subject domains dealing explicitly with multiple classification levels. Despite the recent advances in multi-level modeling techniques, we believe that the literature in multi-level conceptual modeling would benefit from a theory that: (1) formally characterizes the nature of classification levels and (2) precisely defines the structural relations that may occur between elements of different classification levels. This work aims to fill this gap by proposing an axiomatic theory that can be considered a reference top-level ontology for types in multi-level conceptual modeling. The theory provides the modeler with basic concepts and patterns to articulate domains that require multiple levels of classification as well as to inform the development of well-founded languages for multi-level conceptual modeling. The whole theory is founded on a basic instantiation relation and characterizes the concepts of individuals and types , with types organized in levels related by instantiation. Further, it includes intra-level structural relations that are used to define expressive multi-level models and cross-level relations that allow us to account for and incorporate the different notions of power type in the literature.
Multi-level conceptual modeling addresses the representation of subject domains dealing explicitly with multiple classification levels. Despite the recent advances in multi-level modeling techniques, we believe that the literature in multi-level conceptual modeling would benefit from a theory that: (1) formally characterizes the nature of classification levels and (2) precisely defines the structural relations that may occur between elements of different classification levels. This work aims to fill this gap by proposing an axiomatic theory that can be considered a reference top-level ontology for types in multi-level conceptual modeling. The theory provides the modeler with basic concepts and patterns to articulate domains that require multiple levels of classification as well as to inform the development of well-founded languages for multi-level conceptual modeling. The whole theory is founded on a basic instantiation relation and characterizes the concepts of individuals and types, with types organized in levels related by instantiation. Further, it includes intra-level structural relations that are used to define expressive multi-level models and cross-level relations that allow us to account for and incorporate the different notions of power type in the literature.
Author Almeida, João Paulo A.
Carvalho, Victorio A.
Author_xml – sequence: 1
  givenname: Victorio A.
  surname: Carvalho
  fullname: Carvalho, Victorio A.
  organization: Ontology and Conceptual Modeling Research Group (NEMO), Federal University of Espírito Santo (UFES), Research Group in Applied Informatics, Informatics Department, Federal Institute of Espírito Santo (IFES)
– sequence: 2
  givenname: João Paulo A.
  surname: Almeida
  fullname: Almeida, João Paulo A.
  email: jpalmeida@ieee.org
  organization: Ontology and Conceptual Modeling Research Group (NEMO), Federal University of Espírito Santo (UFES)
BookMark eNp9kE1LAzEQhoNUsNb-AG8LnqOT3WyyuSnFLxC81HPIZpO6kiY1yVr6791SERF0LjOH95kZnlM08cEbhM4JXBIAfpUIlBwwEIahrhosjtCUMCIwqTidfM-MnaB5Sn0LQEshKGNTdL0MWxW7QhVb4xy2YfCd6Yr8akLcFTbEYj243GNnPowrdPDabPKgXLEOnXG9X52hY6tcMvOvPkMvd7fLxQN-er5_XNw8YV0RljFVQKGxdaPKpqLctqWmTPOOVS2pW2u4slAZxhmtCZhSiVLXymitgYvOCl7N0MVh7yaG98GkLN_CEP14UhIxFhFNA2OKHFI6hpSisXIT-7WKO0lA7l3Jgys5upJ7V1KMDP_F6D6r3Aefo-rdv2R5INN4xa9M_PHTn9An0K5_IA
CitedBy_id crossref_primary_10_1007_s10270_019_00767_4
crossref_primary_10_1016_j_csi_2019_103390
crossref_primary_10_3233_AO_210256
crossref_primary_10_1007_s12599_017_0482_4
crossref_primary_10_1016_j_procs_2019_12_042
crossref_primary_10_1145_3280985
crossref_primary_10_3390_su14042076
crossref_primary_10_1007_s10270_021_00951_5
crossref_primary_10_1007_s10270_022_00973_7
crossref_primary_10_1016_j_datak_2022_102012
crossref_primary_10_1007_s10270_022_01047_4
crossref_primary_10_3233_SW_243562
crossref_primary_10_1016_j_datak_2021_101894
crossref_primary_10_1007_s13218_020_00665_8
crossref_primary_10_1007_s10270_021_00938_2
crossref_primary_10_1007_s10270_022_00986_2
crossref_primary_10_1007_s10270_021_00900_2
crossref_primary_10_1016_j_datak_2017_03_002
Cites_doi 10.1145/73560.73566
10.1109/EDOC.2015.18
10.1007/s10270-005-0099-9
10.1007/978-3-319-19069-3_18
10.1007/978-3-642-17505-3_4
10.1007/3-540-45441-1_3
10.1142/S0218194001000724
10.1007/978-3-642-13953-6_1
10.2307/23043489
10.1016/j.infsof.2013.07.008
10.1093/acprof:oso/9780198244288.001.0001
10.1145/320434.320440
10.1007/s00165-014-0307-x
10.1145/102675.102676
10.1007/978-3-642-29825-7
10.1145/503124.503150
10.1145/2448076.2448083
10.1007/s10270-007-0061-0
10.1109/EDOC.2013.28
10.1109/MS.2003.1231149
10.1145/2685615
10.1007/978-3-319-07881-6_33
10.1093/comjnl/bxs144
10.1007/978-3-319-25264-3_9
10.1109/EDOC.1997.628350
10.1007/BF00961873
10.1007/978-3-319-07881-6_34
ContentType Journal Article
Copyright Springer-Verlag Berlin Heidelberg 2016
Software and Systems Modeling is a copyright of Springer, (2016). All Rights Reserved.
Copyright_xml – notice: Springer-Verlag Berlin Heidelberg 2016
– notice: Software and Systems Modeling is a copyright of Springer, (2016). All Rights Reserved.
DBID AAYXX
CITATION
3V.
7SC
7XB
8AL
8AO
8FD
8FE
8FG
8FK
ABUWG
AFKRA
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
L7M
L~C
L~D
M0N
P5Z
P62
PHGZM
PHGZT
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
Q9U
DOI 10.1007/s10270-016-0538-9
DatabaseName CrossRef
ProQuest Central (Corporate)
Computer and Information Systems Abstracts
ProQuest Central (purchase pre-March 2016)
Computing Database (Alumni Edition)
ProQuest Pharma Collection
Technology Research Database
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Central (Alumni Edition)
ProQuest Central UK/Ireland
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One Community College
ProQuest Central Korea
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database
Advanced Technologies Database with Aerospace
Computer and Information Systems Abstracts – Academic
Computer and Information Systems Abstracts Professional
Computing Database
Advanced Technologies & Aerospace Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic (New)
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
ProQuest Central Basic
DatabaseTitle CrossRef
Computer Science Database
ProQuest Central Student
Technology Collection
Technology Research Database
Computer and Information Systems Abstracts – Academic
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
Computer and Information Systems Abstracts
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Pharma Collection
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Central Korea
ProQuest Central (New)
Advanced Technologies Database with Aerospace
Advanced Technologies & Aerospace Collection
ProQuest Computing
ProQuest Central Basic
ProQuest Computing (Alumni Edition)
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest SciTech Collection
Computer and Information Systems Abstracts Professional
Advanced Technologies & Aerospace Database
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest Central (Alumni)
ProQuest One Academic (New)
DatabaseTitleList
Computer Science Database
Database_xml – sequence: 1
  dbid: BENPR
  name: ProQuest Central
  url: https://www.proquest.com/central
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1619-1374
EndPage 231
ExternalDocumentID 10_1007_s10270_016_0538_9
GrantInformation_xml – fundername: FAPES
– fundername: Conselho Nacional de Desenvolvimento Científico e Tecnológico
  funderid: http://dx.doi.org/10.13039/501100003593
– fundername: Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
  funderid: http://dx.doi.org/10.13039/501100002322
GroupedDBID -59
-5G
-BR
-EM
-Y2
-~C
.4S
.86
.DC
.VR
06D
0R~
0VY
123
1N0
203
2J2
2JN
2JY
2KG
2LR
2P1
2VQ
2~H
30V
3V.
4.4
406
408
409
40D
40E
5VS
67Z
6NX
8AO
8FE
8FG
8TC
95-
95.
95~
96X
AAAVM
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AARHV
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYOK
AAYQN
AAYTO
AAYZH
ABAKF
ABBBX
ABBXA
ABDBF
ABDZT
ABECU
ABFTD
ABFTV
ABHLI
ABHQN
ABJNI
ABJOX
ABKCH
ABKTR
ABMNI
ABMQK
ABNWP
ABQBU
ABQSL
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABULA
ABUWG
ABWNU
ABXPI
ACAOD
ACBXY
ACDTI
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACSNA
ACUHS
ACZOJ
ADHHG
ADHIR
ADINQ
ADKNI
ADKPE
ADMLS
ADRFC
ADTPH
ADURQ
ADYFF
ADZKW
AEBTG
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEKMD
AEMSY
AENEX
AEOHA
AEPYU
AESKC
AETLH
AEVLU
AEXYK
AFBBN
AFGCZ
AFKRA
AFLOW
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGJBK
AGMZJ
AGQEE
AGQMX
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHSBF
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AJBLW
AJRNO
AJZVZ
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMTXH
AMXSW
AMYLF
AMYQR
AOCGG
ARAPS
ARCSS
ARMRJ
ASPBG
AVWKF
AXYYD
AYJHY
AZFZN
AZQEC
B-.
B0M
BA0
BDATZ
BENPR
BGLVJ
BGNMA
BPHCQ
BSONS
CAG
CCPQU
COF
CS3
CSCUP
DDRTE
DL5
DNIVK
DPUIP
DU5
DWQXO
EAD
EAP
EBLON
EBS
EDO
EIOEI
EJD
EMK
EPL
ESBYG
ESX
FEDTE
FERAY
FFXSO
FIGPU
FINBP
FNLPD
FRRFC
FSGXE
FWDCC
GGCAI
GGRSB
GJIRD
GNUQQ
GNWQR
GQ6
GQ7
GQ8
GXS
H13
HCIFZ
HF~
HG5
HG6
HLICF
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
I-F
I09
IHE
IJ-
IKXTQ
ITM
IWAJR
IXC
IXE
IZIGR
IZQ
I~X
I~Z
J-C
J0Z
JBSCW
JCJTX
JZLTJ
K6V
K7-
KDC
KOV
LAS
LLZTM
M0N
M4Y
MA-
N2Q
NB0
NPVJJ
NQJWS
NU0
O9-
O93
O9J
OAM
P62
P9O
PF0
PQQKQ
PROAC
PT4
Q2X
QOS
R89
R9I
RIG
RNS
ROL
RPX
RSV
S16
S1Z
S27
S3B
SAP
SCO
SDH
SHX
SISQX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TSG
TSK
TSV
TUC
TUS
U2A
UG4
UOJIU
UTJUX
UZXMN
VC2
VFIZW
W23
W48
WK8
YLTOR
Z45
Z5O
Z7R
Z7S
Z7X
Z7Z
Z81
Z83
Z88
ZMTXR
~8M
AAPKM
AAYXX
ABBRH
ABDBE
ABFSG
ABRTQ
ACSTC
ADHKG
AEZWR
AFDZB
AFFHD
AFHIU
AFOHR
AGQPQ
AHPBZ
AHWEU
AIXLP
ATHPR
AYFIA
CITATION
PHGZM
PHGZT
PQGLB
7SC
7XB
8AL
8FD
8FK
JQ2
L7M
L~C
L~D
PKEHL
PQEST
PQUKI
PRINS
Q9U
ID FETCH-LOGICAL-c316t-4a0408f58a28347fb2c46c7d63b15bfe7af03e6764510e2a92c5aeccc079df973
IEDL.DBID P5Z
ISICitedReferencesCount 45
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000424654100012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 1619-1366
IngestDate Tue Nov 04 22:46:06 EST 2025
Tue Nov 18 22:36:41 EST 2025
Sat Nov 29 04:10:42 EST 2025
Fri Feb 21 02:34:13 EST 2025
IsPeerReviewed true
IsScholarly true
Issue 1
Keywords Multi-level modeling
Clabjects
Conceptual modeling
Ontology
Power types
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c316t-4a0408f58a28347fb2c46c7d63b15bfe7af03e6764510e2a92c5aeccc079df973
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
PQID 1999919880
PQPubID 43171
PageCount 27
ParticipantIDs proquest_journals_1999919880
crossref_primary_10_1007_s10270_016_0538_9
crossref_citationtrail_10_1007_s10270_016_0538_9
springer_journals_10_1007_s10270_016_0538_9
PublicationCentury 2000
PublicationDate 20180200
2018-2-00
20180201
PublicationDateYYYYMMDD 2018-02-01
PublicationDate_xml – month: 2
  year: 2018
  text: 20180200
PublicationDecade 2010
PublicationPlace Berlin/Heidelberg
PublicationPlace_xml – name: Berlin/Heidelberg
– name: Heidelberg
PublicationTitle Software and systems modeling
PublicationTitleAbbrev Softw Syst Model
PublicationYear 2018
Publisher Springer Berlin Heidelberg
Springer Nature B.V
Publisher_xml – name: Springer Berlin Heidelberg
– name: Springer Nature B.V
References JarkeMGallersdörferRJeusfeldMAStaudtMConceptBase—a deductive object base for meta data managementJ. Intell. Inf. Syst.19954216719210.1007/BF00961873
AtkinsonCKühneTModel-driven development: a metamodeling foundationIEEE Softw.2003205364110.1109/MS.2003.1231149
Lara, J. et al.: Extending deep meta-modelling for practical model-driven engineering. Comput. J. 57(1):36–58 (2013)
RossiniAA formalisation of deep metamodellingForm. Asp. Comput.201426611151152326883110.1007/s00165-014-0307-x1342.68098
Coquand, T.: Type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). http://plato.stanford.edu/archives/fall2014/entries/type-theory/ (2014)
Guizzardi, G. et al.: Towards an ontological analysis of powertypes. In: Proceedings of the International Workshop on Formal Ontologies for Artificial Intelligence (FOFAI 2015), 24th International Joint Conference on Artificial Intelligence (2015)
KennelBA Unified Framework for Multi-level Modeling2012MannheimUniversity of Mannheim
BealerGQuality and Concept1982OxfordClarendon Press10.1093/acprof:oso/9780198244288.001.0001
Kühne, T.: Contrasting classification with generalisation. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling. Wellington, New Zealand (2009)
GuarinoNWeltyCEvaluating ontological decisions with OntoCleanCommun. ACM2002452616510.1145/503124.503150
Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using reference domain ontologies to define the real-world semantics of domain-specific languages. In: Proceedings 26th International CAiSE Conference (CAiSE 2014), pp. 488–502. Springer, Heidelberg (2014)
Ereshefsky, M.: Species. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2010 Edition). http://plato.stanford.edu/archives/spr2010/entries/species/ (2010)
Neumayr, B., Grün, K., Schrefl, M.: Multi-level domain modeling with m-objects and m-relationships. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling. Wellington, New Zealand (2009)
ReckerJRosemannMGreenPIndulskaMDo Ontological Deficiencies in Modeling Grammars Matter?MIS Q.20113511910.2307/23043489
SteinbergDBudinskyFEMF: Eclipse Modeling Framework20082BostonAddison-Wesley Professional
Neumayr, B., Jeusfeld, M. A., Schrefl, M., Schütz, C.: Dual deep instantiation and It ConceptBase implementation. In: Proceedings 26th International CAiSE Conference (CAiSE 2014), pp. 503–517. Springer, Heidelberg (2014)
Carvalho, V.A., Almeida, J.P.A.: A semantic foundation for organizational structures: a multi-level approach. In: Proceedings of the Enterprise Computing Conference (EDOC2015) (2015)
Montague, R.: Formal philosophy: selected papers of Richard Montague. In: Thomasson, R. (eds.) Paperback, p.370. Yale University Press, New Haven (1974)
GuarinoNCasatiRSmithBWhiteGThe ontological levelPhilosophy and the Cognitive Science1994ViennaHolder-Pivhler-Tempsky443456
MylopoulosJBorgidaAJarkeMKoubarakisMTelos: representing knowledge about information systemsACM Trans. Inf. Syst.19908432536210.1145/102675.102676
Gonzalez-PerezCHenderson-SellersBA powertype-based metamodelling frameworkSoftw. Syst. Model.200651729010.1007/s10270-005-0099-9
Lara, J. de, Guerra, E., Cuadrado, J. S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24(2), 1–46, 23 (2014)
Atkinson, C., Kühne, T.: Meta-level independent modeling. In: International Workshop “Model Engineering” (in Conjunction with ECOOP’2000), Cannes, France (2000)
W3C: OWL 2 Web Ontology Language—Structural Specification and Functional-Style Syntax (Second Edition). https://www.w3.org/TR/2012/REC-owl2-syntax-20121211 (2012)
Neumayr, B., Schrefl, M., Thalhiem, B.: Modeling techniques formulti-level abstraction. In: Kaschek, R., Delcambre, L. (eds.) LNCS, vol. 6520, pp 68–92. Springer, Heidelberg (2011)
OMG : UML Superstructure Specification—Version 2.4.1 (2011)
Pereira, D., Almeida, J.P.A.: Representing organizational structures in an enterprise architecture language. In: Proceedings of the 6th Workshop on Formal Ontologies meet Industry (FOMI 2014), Rio de Janeiro (2014)
AtkinsonCKühneTReducing accidental complexity in domain modelsSoftw. Syst. Model.20087334535910.1007/s10270-007-0061-0
AtkinsonCKühneTProcesses and products in a multi-level metamodeling architectureInt. J. Softw. Eng. Knowl. Eng.200111676178410.1142/S0218194001000724
ErikssonOHenderson-SellersBÅgerfalkPJOntological and linguistic metamodeling revisited: a language use approachInf. Softw. Technol.201355122099212410.1016/j.infsof.2013.07.008
ChenPPThe entity-relationship model: toward a unified viewACM Transactions on Database Systems19761193610.1145/320434.320440
OMG: Meta Object Facility (MOF) Core Specification—Version 2.4.1 (2013)
Swoyer, C., Orilia, F.: Properties. In: Zalta, E.N. (eds.) The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). http://plato.stanford.edu/archives/fall2014/entries/properties/ (2014)
Atkinson, C., Kühne, T.: The essence of multilevel modeling. In: Proceedings of the 4th International Conference on the Unified Modeling Language, pp. 19–33. Toronto, Canada (2001)
Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th ACM Symposium of Principles of Programming Languages, pp. 70–79 (1988)
OdellJPower typesJ. Object Oriented Program.199472812
OlivéAConceptual Modeling of Information Systems2007BerlinSpringer1131.68118
MayrEThe Growth of Biological Thought: Diversity, Evolution, and Inheritance1982CambridgeBelknap Press
Atkinson, C.: Metamodelling for distributed object environments. In: First International Enterprise Distributed Object Computing Workshop (EDOC’97). Brisbane, Australia (1997)
Atkinson, C., Gerbig, R.: Melanie: multi-level modeling and ontology engineering environment. In: Proceedings of the 2nd International Master Class on Model-Driven Engineering Modeling Wizards—MW’12. New York, USA (2012)
Henderson-SellersBOn the Mathematics of Modeling, Metamodelling, Ontologies and Modelling Languages2012BerlinSpringer10.1007/978-3-642-29825-71254.68007
Pirotte, A., Zimanyi, E., Massart, D., Yakusheva, T.: Materialization: a powerful and ubiquitous abstraction pattern. In: Bocca, J., Jarke, M., Zaniolo, C. (eds.) Proceedings of the 20th International Conference on Very Large DataBases (VLDB’94), pp. 630–641 (1994)
GuizzardiGOntological Foundations for Structural Conceptual Models2005EnschedeUniversity of Twente1188.62393
Guarino, N., Guizzardi, G.: “We need to discuss the relationship”: revisiting relationships as modeling constructs. In: Proceedings of the 27th International CAiSE Conference (CAiSE 2015), pp. 488–502 (2015)
Lara, J. de, Guerra, E.: Deep meta-modelling with MetaDepth. In: Proceedings of the 48th International Conference, TOOLS 2010. Málaga, Spain (2010)
MylopoulosJLoucopoulosPZicariRConceptual modeling and TelosConceptual Modeling, Databases and CASE1992New YorkWiley4968
Nardi, J.C., Falbo, R., Almeida, J.P.A., Guizzardi, G., Ferreira Pires, L., van Sinderen, M., Guarino, N.: Towards a commitment-based reference ontology for services. In: Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2013), pp. 175–184. IEEE Computer Society Press (2013)
Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi G.: Extending the foundations of ontology-based conceptual modeling with a multi-level theory. In: 35th International Conference on Conceptual Modeling (ER 2015), pp. 119–133 (2015)
JacksonDSoftware Abstractions: Logic, Language and Analysis2006CambridgeThe MIT Press
J Mylopoulos (538_CR34) 1990; 8
B Kennel (538_CR25) 2012
B Henderson-Sellers (538_CR23) 2012
J Mylopoulos (538_CR33) 1992
A Rossini (538_CR46) 2014; 26
538_CR44
M Jarke (538_CR30) 1995; 4
538_CR41
C Atkinson (538_CR3) 2003; 20
G Guizzardi (538_CR21) 2005
538_CR43
538_CR42
538_CR49
538_CR48
O Eriksson (538_CR16) 2013; 55
PP Chen (538_CR13) 1976; 1
538_CR6
538_CR7
538_CR36
C Gonzalez-Perez (538_CR17) 2006; 5
538_CR35
538_CR32
538_CR9
538_CR38
D Steinberg (538_CR47) 2008
538_CR37
538_CR2
538_CR1
538_CR22
A Olivé (538_CR40) 2007
538_CR20
538_CR27
538_CR26
N Guarino (538_CR18) 2002; 45
538_CR29
538_CR28
D Jackson (538_CR24) 2006
N Guarino (538_CR19) 1994
J Recker (538_CR45) 2011; 35
G Bealer (538_CR8) 1982
538_CR12
538_CR11
538_CR14
J Odell (538_CR39) 1994; 7
538_CR10
C Atkinson (538_CR5) 2008; 7
C Atkinson (538_CR4) 2001; 11
538_CR15
E Mayr (538_CR31) 1982
References_xml – reference: ErikssonOHenderson-SellersBÅgerfalkPJOntological and linguistic metamodeling revisited: a language use approachInf. Softw. Technol.201355122099212410.1016/j.infsof.2013.07.008
– reference: Ereshefsky, M.: Species. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Spring 2010 Edition). http://plato.stanford.edu/archives/spr2010/entries/species/ (2010)
– reference: Swoyer, C., Orilia, F.: Properties. In: Zalta, E.N. (eds.) The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). http://plato.stanford.edu/archives/fall2014/entries/properties/ (2014)
– reference: BealerGQuality and Concept1982OxfordClarendon Press10.1093/acprof:oso/9780198244288.001.0001
– reference: Lara, J. de, Guerra, E.: Deep meta-modelling with MetaDepth. In: Proceedings of the 48th International Conference, TOOLS 2010. Málaga, Spain (2010)
– reference: Lara, J. de, Guerra, E., Cuadrado, J. S.: When and how to use multilevel modelling. ACM Trans. Softw. Eng. Methodol. 24(2), 1–46, 23 (2014)
– reference: MylopoulosJBorgidaAJarkeMKoubarakisMTelos: representing knowledge about information systemsACM Trans. Inf. Syst.19908432536210.1145/102675.102676
– reference: GuarinoNWeltyCEvaluating ontological decisions with OntoCleanCommun. ACM2002452616510.1145/503124.503150
– reference: Neumayr, B., Grün, K., Schrefl, M.: Multi-level domain modeling with m-objects and m-relationships. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling. Wellington, New Zealand (2009)
– reference: MayrEThe Growth of Biological Thought: Diversity, Evolution, and Inheritance1982CambridgeBelknap Press
– reference: Atkinson, C., Gerbig, R.: Melanie: multi-level modeling and ontology engineering environment. In: Proceedings of the 2nd International Master Class on Model-Driven Engineering Modeling Wizards—MW’12. New York, USA (2012)
– reference: SteinbergDBudinskyFEMF: Eclipse Modeling Framework20082BostonAddison-Wesley Professional
– reference: Pirotte, A., Zimanyi, E., Massart, D., Yakusheva, T.: Materialization: a powerful and ubiquitous abstraction pattern. In: Bocca, J., Jarke, M., Zaniolo, C. (eds.) Proceedings of the 20th International Conference on Very Large DataBases (VLDB’94), pp. 630–641 (1994)
– reference: Atkinson, C., Kühne, T.: The essence of multilevel modeling. In: Proceedings of the 4th International Conference on the Unified Modeling Language, pp. 19–33. Toronto, Canada (2001)
– reference: Guarino, N., Guizzardi, G.: “We need to discuss the relationship”: revisiting relationships as modeling constructs. In: Proceedings of the 27th International CAiSE Conference (CAiSE 2015), pp. 488–502 (2015)
– reference: Coquand, T.: Type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Fall 2014 Edition). http://plato.stanford.edu/archives/fall2014/entries/type-theory/ (2014)
– reference: W3C: OWL 2 Web Ontology Language—Structural Specification and Functional-Style Syntax (Second Edition). https://www.w3.org/TR/2012/REC-owl2-syntax-20121211 (2012)
– reference: AtkinsonCKühneTModel-driven development: a metamodeling foundationIEEE Softw.2003205364110.1109/MS.2003.1231149
– reference: Nardi, J.C., Falbo, R., Almeida, J.P.A., Guizzardi, G., Ferreira Pires, L., van Sinderen, M., Guarino, N.: Towards a commitment-based reference ontology for services. In: Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2013), pp. 175–184. IEEE Computer Society Press (2013)
– reference: OdellJPower typesJ. Object Oriented Program.199472812
– reference: JarkeMGallersdörferRJeusfeldMAStaudtMConceptBase—a deductive object base for meta data managementJ. Intell. Inf. Syst.19954216719210.1007/BF00961873
– reference: OlivéAConceptual Modeling of Information Systems2007BerlinSpringer1131.68118
– reference: OMG : UML Superstructure Specification—Version 2.4.1 (2011)
– reference: OMG: Meta Object Facility (MOF) Core Specification—Version 2.4.1 (2013)
– reference: Atkinson, C., Kühne, T.: Meta-level independent modeling. In: International Workshop “Model Engineering” (in Conjunction with ECOOP’2000), Cannes, France (2000)
– reference: AtkinsonCKühneTProcesses and products in a multi-level metamodeling architectureInt. J. Softw. Eng. Knowl. Eng.200111676178410.1142/S0218194001000724
– reference: Carvalho, V.A., Almeida, J.P.A.: A semantic foundation for organizational structures: a multi-level approach. In: Proceedings of the Enterprise Computing Conference (EDOC2015) (2015)
– reference: RossiniAA formalisation of deep metamodellingForm. Asp. Comput.201426611151152326883110.1007/s00165-014-0307-x1342.68098
– reference: Henderson-SellersBOn the Mathematics of Modeling, Metamodelling, Ontologies and Modelling Languages2012BerlinSpringer10.1007/978-3-642-29825-71254.68007
– reference: Guizzardi, G. et al.: Towards an ontological analysis of powertypes. In: Proceedings of the International Workshop on Formal Ontologies for Artificial Intelligence (FOFAI 2015), 24th International Joint Conference on Artificial Intelligence (2015)
– reference: Kühne, T.: Contrasting classification with generalisation. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling. Wellington, New Zealand (2009)
– reference: Neumayr, B., Schrefl, M., Thalhiem, B.: Modeling techniques formulti-level abstraction. In: Kaschek, R., Delcambre, L. (eds.) LNCS, vol. 6520, pp 68–92. Springer, Heidelberg (2011)
– reference: Montague, R.: Formal philosophy: selected papers of Richard Montague. In: Thomasson, R. (eds.) Paperback, p.370. Yale University Press, New Haven (1974)
– reference: Atkinson, C.: Metamodelling for distributed object environments. In: First International Enterprise Distributed Object Computing Workshop (EDOC’97). Brisbane, Australia (1997)
– reference: GuizzardiGOntological Foundations for Structural Conceptual Models2005EnschedeUniversity of Twente1188.62393
– reference: AtkinsonCKühneTReducing accidental complexity in domain modelsSoftw. Syst. Model.20087334535910.1007/s10270-007-0061-0
– reference: MylopoulosJLoucopoulosPZicariRConceptual modeling and TelosConceptual Modeling, Databases and CASE1992New YorkWiley4968
– reference: Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using reference domain ontologies to define the real-world semantics of domain-specific languages. In: Proceedings 26th International CAiSE Conference (CAiSE 2014), pp. 488–502. Springer, Heidelberg (2014)
– reference: Lara, J. et al.: Extending deep meta-modelling for practical model-driven engineering. Comput. J. 57(1):36–58 (2013)
– reference: KennelBA Unified Framework for Multi-level Modeling2012MannheimUniversity of Mannheim
– reference: Pereira, D., Almeida, J.P.A.: Representing organizational structures in an enterprise architecture language. In: Proceedings of the 6th Workshop on Formal Ontologies meet Industry (FOMI 2014), Rio de Janeiro (2014)
– reference: Cardelli, L.: Structural subtyping and the notion of power type. In: Proceedings of the 15th ACM Symposium of Principles of Programming Languages, pp. 70–79 (1988)
– reference: Carvalho, V.A., Almeida, J.P.A., Fonseca, C.M., Guizzardi G.: Extending the foundations of ontology-based conceptual modeling with a multi-level theory. In: 35th International Conference on Conceptual Modeling (ER 2015), pp. 119–133 (2015)
– reference: ReckerJRosemannMGreenPIndulskaMDo Ontological Deficiencies in Modeling Grammars Matter?MIS Q.20113511910.2307/23043489
– reference: ChenPPThe entity-relationship model: toward a unified viewACM Transactions on Database Systems19761193610.1145/320434.320440
– reference: Gonzalez-PerezCHenderson-SellersBA powertype-based metamodelling frameworkSoftw. Syst. Model.200651729010.1007/s10270-005-0099-9
– reference: Neumayr, B., Jeusfeld, M. A., Schrefl, M., Schütz, C.: Dual deep instantiation and It ConceptBase implementation. In: Proceedings 26th International CAiSE Conference (CAiSE 2014), pp. 503–517. Springer, Heidelberg (2014)
– reference: JacksonDSoftware Abstractions: Logic, Language and Analysis2006CambridgeThe MIT Press
– reference: GuarinoNCasatiRSmithBWhiteGThe ontological levelPhilosophy and the Cognitive Science1994ViennaHolder-Pivhler-Tempsky443456
– ident: 538_CR9
  doi: 10.1145/73560.73566
– ident: 538_CR10
  doi: 10.1109/EDOC.2015.18
– volume: 5
  start-page: 72
  issue: 1
  year: 2006
  ident: 538_CR17
  publication-title: Softw. Syst. Model.
  doi: 10.1007/s10270-005-0099-9
– ident: 538_CR20
  doi: 10.1007/978-3-319-19069-3_18
– volume-title: Ontological Foundations for Structural Conceptual Models
  year: 2005
  ident: 538_CR21
– start-page: 49
  volume-title: Conceptual Modeling, Databases and CASE
  year: 1992
  ident: 538_CR33
– volume-title: A Unified Framework for Multi-level Modeling
  year: 2012
  ident: 538_CR25
– ident: 538_CR38
  doi: 10.1007/978-3-642-17505-3_4
– ident: 538_CR42
– ident: 538_CR36
– ident: 538_CR6
  doi: 10.1007/3-540-45441-1_3
– ident: 538_CR32
– volume-title: Conceptual Modeling of Information Systems
  year: 2007
  ident: 538_CR40
– ident: 538_CR26
– volume-title: Software Abstractions: Logic, Language and Analysis
  year: 2006
  ident: 538_CR24
– volume: 11
  start-page: 761
  issue: 6
  year: 2001
  ident: 538_CR4
  publication-title: Int. J. Softw. Eng. Knowl. Eng.
  doi: 10.1142/S0218194001000724
– ident: 538_CR27
  doi: 10.1007/978-3-642-13953-6_1
– ident: 538_CR2
– ident: 538_CR22
– ident: 538_CR43
– volume-title: EMF: Eclipse Modeling Framework
  year: 2008
  ident: 538_CR47
– volume: 35
  start-page: 1
  issue: 1
  year: 2011
  ident: 538_CR45
  publication-title: MIS Q.
  doi: 10.2307/23043489
– volume: 55
  start-page: 2099
  issue: 12
  year: 2013
  ident: 538_CR16
  publication-title: Inf. Softw. Technol.
  doi: 10.1016/j.infsof.2013.07.008
– volume-title: Quality and Concept
  year: 1982
  ident: 538_CR8
  doi: 10.1093/acprof:oso/9780198244288.001.0001
– volume-title: The Growth of Biological Thought: Diversity, Evolution, and Inheritance
  year: 1982
  ident: 538_CR31
– volume: 1
  start-page: 9
  issue: 1
  year: 1976
  ident: 538_CR13
  publication-title: ACM Transactions on Database Systems
  doi: 10.1145/320434.320440
– volume: 26
  start-page: 1115
  issue: 6
  year: 2014
  ident: 538_CR46
  publication-title: Form. Asp. Comput.
  doi: 10.1007/s00165-014-0307-x
– ident: 538_CR48
– ident: 538_CR44
– volume: 8
  start-page: 325
  issue: 4
  year: 1990
  ident: 538_CR34
  publication-title: ACM Trans. Inf. Syst.
  doi: 10.1145/102675.102676
– volume-title: On the Mathematics of Modeling, Metamodelling, Ontologies and Modelling Languages
  year: 2012
  ident: 538_CR23
  doi: 10.1007/978-3-642-29825-7
– ident: 538_CR15
– volume: 7
  start-page: 8
  issue: 2
  year: 1994
  ident: 538_CR39
  publication-title: J. Object Oriented Program.
– volume: 45
  start-page: 61
  issue: 2
  year: 2002
  ident: 538_CR18
  publication-title: Commun. ACM
  doi: 10.1145/503124.503150
– ident: 538_CR1
  doi: 10.1145/2448076.2448083
– volume: 7
  start-page: 345
  issue: 3
  year: 2008
  ident: 538_CR5
  publication-title: Softw. Syst. Model.
  doi: 10.1007/s10270-007-0061-0
– ident: 538_CR35
  doi: 10.1109/EDOC.2013.28
– volume: 20
  start-page: 36
  issue: 5
  year: 2003
  ident: 538_CR3
  publication-title: IEEE Softw.
  doi: 10.1109/MS.2003.1231149
– ident: 538_CR28
  doi: 10.1145/2685615
– ident: 538_CR11
  doi: 10.1007/978-3-319-07881-6_33
– ident: 538_CR29
  doi: 10.1093/comjnl/bxs144
– ident: 538_CR49
– ident: 538_CR14
– start-page: 443
  volume-title: Philosophy and the Cognitive Science
  year: 1994
  ident: 538_CR19
– ident: 538_CR41
– ident: 538_CR12
  doi: 10.1007/978-3-319-25264-3_9
– ident: 538_CR7
  doi: 10.1109/EDOC.1997.628350
– volume: 4
  start-page: 167
  issue: 2
  year: 1995
  ident: 538_CR30
  publication-title: J. Intell. Inf. Syst.
  doi: 10.1007/BF00961873
– ident: 538_CR37
  doi: 10.1007/978-3-319-07881-6_34
SSID ssib004299466
ssj0027432
Score 2.338059
Snippet Multi-level conceptual modeling addresses the representation of subject domains dealing explicitly with multiple classification levels. Despite the recent...
SourceID proquest
crossref
springer
SourceType Aggregation Database
Enrichment Source
Index Database
Publisher
StartPage 205
SubjectTerms Classification
Compilers
Computer aided software engineering
Computer Science
Information Systems Applications (incl.Internet)
Interpreters
IT in Business
Modelling
Object oriented programming
Programming Languages
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Theme Section Paper
SummonAdditionalLinks – databaseName: SpringerLINK Contemporary 1997-Present
  dbid: RSV
  link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEB60evBifWK1Sg6elMDuJk02N0Usnopold6WbJIFoVTpQ_DfO8nu9iEq6HmTIUwyM182M_MBnDMbiSixjGqTasoLKajiitPcJDKx2vDY6kA2IXu9dDBQ91Ud96TOdq-fJIOnXip2SzxJSow34GCl67CB0S71fA0Pj88rDpZ7jDK_dQWWMkQ2isZMiPpp8zuRq8FpgTi_PJKG2NNt_mvVO7BdQU1yXZ6NXVhzoz1o1jQOpLLqfbjqh9RZoon_kUcLT7TkLAkljh8EQS0JWYd06POLiCnrHGcoObDo4GIO4Kl727-5oxWxAjUsFlPKNZpuWnRSjeCCyyJPDBdGWsHyuJMXTuoiYk5IwdFiXaJVYjoa99pEUtlCSXYIjdHryB0BQf-krNOocOc7g0UaZ2O4Y9Jp1ikMa0FUazQzVddxT34xzBb9kr2GMp9p5jWUqRZczKe8lS03fhvcrrcpq6xvkvnWCipW6JpacFlvy9Lnn4Qd_2n0CWwhekrLFO42NKbjmTuFTfM-fZmMz8Kh_ARZJdi1
  priority: 102
  providerName: Springer Nature
Title Toward a well-founded theory for multi-level conceptual modeling
URI https://link.springer.com/article/10.1007/s10270-016-0538-9
https://www.proquest.com/docview/1999919880
Volume 17
WOSCitedRecordID wos000424654100012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAVX
  databaseName: SpringerLINK Contemporary 1997-Present
  customDbUrl:
  eissn: 1619-1374
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0027432
  issn: 1619-1366
  databaseCode: RSV
  dateStart: 20020901
  isFulltext: true
  titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22
  providerName: Springer Nature
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3LS8MwGP_QzYMX5xPnY-TgSQm2TZo0J19sCMIYc8rwUtIkBUHm3EPwvzdJWzcFvXjppc1H6Jfvle_xAzghOmBBpAmWKpGY5pxhQQXFmYp4pKWioZYebIJ3u8lwKHrlhdu0LKusdKJX1PpVuTvyc9cuL2yEnAQX4zfsUKNcdrWE0FiFupuS4KAbevHTUsDlAcqsUyNwSBirsppF61zkIFdCG097mf9ulxbO5o_8qDc7ncZ_N7wJG6XDia6KE7IFK2a0DY0KzAGVsr0DlwNfQIskctd5OHdwS0Yj3-j4gaxri3ztIX5xVUZIFd2Oc0vZY-nYve_CQ6c9uLnFJbwCViRkM0ylFeAkjxNpXQzK8yxSlCmuGcnCOMsNl3lADOOMWrk1kRSRiqXluAq40LngZA9qo9eR2QdktZTQRlLGjJsPFki72ho9wo0kca5IE4Lq56aqnD3uIDBe0sXUZMeP1NWbOX6kogmnX0vGxeCNvz4-qniQljI4TRcMaMJZxcWl178RO_ib2CGsW6cpKSq3j6A2m8zNMayp99nzdNKC-nW72-u3YPWO45Y_jvbZv3_8BF3k45E
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LTxsxEB7RtFK5QKFFDVDqA1yorO7ajr0-IKigUaKkUQ-plNvWsb1SJRQeCaD8KX4jY-9uA5XIjUPPux7JnvE8PI8PYJ-7RCbMcWpsZqgolKRaaEHHlinmjBWpMxFsQg0G2Wikf67Afd0LE8oqa50YFbW7sOGN_Gtol9cYIWfJ8eUVDahRIbtaQ2iUYtHz8zsM2aZH3TPk7wFj7e_D0w6tUAWo5amcUWFQbrOilRm0rEIVY2aFtMpJPk5b48IrUyTcSyUFiqtnRjPbMrhRmyjtCq040n0FrwXPVLhXPUUfBXgREA2dKE1TLmWdRS1b9ViAeEkxfo865qkdXDi3_-Rjo5lrr_9vB_QO1iqHmnwrb8AGrPjJJqzXYBWk0l3v4WQYC4SJIeG5khYBTso7Ehs55wRddxJrK-l5qKIituzmvEHKESsIz-oD_HqRfWxBY3Ix8R-BoBbWzhshpQ_zzxKDq9Goc-UNbxWWNyGpmZnbarZ6gPg4zxdToQP_81BPF_if6yYc_l1yWQ4WWfbzbs3zvNIx03zB8CZ8qaXm0efniG0vJ_YZ3naGP_p5vzvo7cAqOohZWaW-C43Z9Y3_BG_s7ezP9HovCj-B3y8tTA-g-Tzz
linkToPdf http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9wwEB5RqKpeCvShbsvDB7iALBLbseMDAgSsQKDVHqiEuKReP6RKq-WxCxV_rb-uYydhKRLcOPSceCTb43nY38wHsMZdJjPmODW2NFQEJakWWtCBZYo5Y0XuTCKbUL1eeX6u-zPwp62FibDK1iYmQ-0ubbwj34rl8hoz5DLbCg0son_Q3bm6ppFBKr60tnQatYqc-PvfmL6Nt48PcK_XGesenu0f0YZhgFqeywkVBnW4DEVp0MsKFQbMCmmVk3yQF4PglQkZ91JJgarrmdHMFgYnbTOlXdCKo9w3MKcwx4xwwn5x8SjZS-RoGFBpmnMp2xfVumyPRbqXHHP5ZG_-9YnTQPfJ22xyed35_3mxFuBDE2iTvfpkLMKMH32E-ZbEgjQ27RPsniXgMDEkXmPSEGmmvCOpwPOeYEhPEuaSDiO6iti6yvMWJScOIVy3z_DjVebxBWZHlyP_FQhaZ-28EVL62BctMzganT1X3vAiWN6BrN3YyjY91yP1x7CadouOulBFnF3UhUp3YONhyFXdcOSln5fa_a8a2zOuppvfgc1Wgx59fk7Yt5eFrcI71KHq9Lh38h3eY9xY1uD1JZid3Nz6ZXhr7ya_xjcr6RwQ-PnauvQXlOxGFw
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Toward+a+well-founded+theory+for+multi-level+conceptual+modeling&rft.jtitle=Software+and+systems+modeling&rft.au=Carvalho%2C+Victorio+A&rft.au=Almeida%2C+Jo%C3%A3o+Paulo+A&rft.date=2018-02-01&rft.pub=Springer+Nature+B.V&rft.issn=1619-1366&rft.eissn=1619-1374&rft.volume=17&rft.issue=1&rft.spage=205&rft.epage=231&rft_id=info:doi/10.1007%2Fs10270-016-0538-9&rft.externalDBID=HAS_PDF_LINK
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1619-1366&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1619-1366&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1619-1366&client=summon