{"title":"统一解释性和建设性建模:消除本体和概念模型之间的鸿沟","authors":"Thomas Kühne","doi":"10.1145/2976767.2976770","DOIUrl":null,"url":null,"abstract":"The universal agreement regarding modeling as a useful endeavor can hide the large divide that runs through the modeling community. The differences between explanatory and constructive modeling give rise to two almost disjoint modeling universes, each based on different, mutually incompatible assumptions, rules, and tools. This division is undesirable as it prevents modelers from fluently transitioning between these worlds and denies them the benefits afforded by the underpinnings of the opposite camp. In this paper I characterize the typing disciplines underlying these different schools of thought, identify their respective trade-offs, and propose a unified approach which treats the different world views as modes of modeling that one may transition into in either direction. I present a unifying typing framework that can form the basis for a mutual fertilization between the hitherto rather separated worlds of explanatory versus constructive modeling.","PeriodicalId":179690,"journal":{"name":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2016-10-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"12","resultStr":"{\"title\":\"Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models\",\"authors\":\"Thomas Kühne\",\"doi\":\"10.1145/2976767.2976770\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The universal agreement regarding modeling as a useful endeavor can hide the large divide that runs through the modeling community. The differences between explanatory and constructive modeling give rise to two almost disjoint modeling universes, each based on different, mutually incompatible assumptions, rules, and tools. This division is undesirable as it prevents modelers from fluently transitioning between these worlds and denies them the benefits afforded by the underpinnings of the opposite camp. In this paper I characterize the typing disciplines underlying these different schools of thought, identify their respective trade-offs, and propose a unified approach which treats the different world views as modes of modeling that one may transition into in either direction. I present a unifying typing framework that can form the basis for a mutual fertilization between the hitherto rather separated worlds of explanatory versus constructive modeling.\",\"PeriodicalId\":179690,\"journal\":{\"name\":\"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-10-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"12\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/2976767.2976770\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/2976767.2976770","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Unifying explanatory and constructive modeling: towards removing the gulf between ontologies and conceptual models
The universal agreement regarding modeling as a useful endeavor can hide the large divide that runs through the modeling community. The differences between explanatory and constructive modeling give rise to two almost disjoint modeling universes, each based on different, mutually incompatible assumptions, rules, and tools. This division is undesirable as it prevents modelers from fluently transitioning between these worlds and denies them the benefits afforded by the underpinnings of the opposite camp. In this paper I characterize the typing disciplines underlying these different schools of thought, identify their respective trade-offs, and propose a unified approach which treats the different world views as modes of modeling that one may transition into in either direction. I present a unifying typing framework that can form the basis for a mutual fertilization between the hitherto rather separated worlds of explanatory versus constructive modeling.