{"title":"UML的动态描述逻辑","authors":"Ming Li, Fengkui Zang","doi":"10.1109/JCAI.2009.123","DOIUrl":null,"url":null,"abstract":"UML is a universal, standard modeling language. It can be applied to the modeling of any system with static framework and dynamic action. However, UML lacks precise semantics which might lead to problems, such as inconsistencies, redundancies and so on. In order to detect the UML behavior diagrams, a dynamic description logic and a sound and complete tableau-based satisfiability-checking decidable algorithm for UML are presented in this paper. This logic is a combination of a typical action theory and the description logic ALCQI, with the feature that actions are treated as citizens. Actions can be expressed in the construction of concepts and formulas. Reasoning tasks on concepts and actions can be realized with the help of the tableau-based satisfiability-checking decidable algorithm, which makes this logic more capable for the UML behavior diagrams.","PeriodicalId":154425,"journal":{"name":"2009 International Joint Conference on Artificial Intelligence","volume":"6 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A Dynamic Description Logic for UML\",\"authors\":\"Ming Li, Fengkui Zang\",\"doi\":\"10.1109/JCAI.2009.123\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"UML is a universal, standard modeling language. It can be applied to the modeling of any system with static framework and dynamic action. However, UML lacks precise semantics which might lead to problems, such as inconsistencies, redundancies and so on. In order to detect the UML behavior diagrams, a dynamic description logic and a sound and complete tableau-based satisfiability-checking decidable algorithm for UML are presented in this paper. This logic is a combination of a typical action theory and the description logic ALCQI, with the feature that actions are treated as citizens. Actions can be expressed in the construction of concepts and formulas. Reasoning tasks on concepts and actions can be realized with the help of the tableau-based satisfiability-checking decidable algorithm, which makes this logic more capable for the UML behavior diagrams.\",\"PeriodicalId\":154425,\"journal\":{\"name\":\"2009 International Joint Conference on Artificial Intelligence\",\"volume\":\"6 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-04-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 International Joint Conference on Artificial Intelligence\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/JCAI.2009.123\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 International Joint Conference on Artificial Intelligence","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/JCAI.2009.123","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
UML is a universal, standard modeling language. It can be applied to the modeling of any system with static framework and dynamic action. However, UML lacks precise semantics which might lead to problems, such as inconsistencies, redundancies and so on. In order to detect the UML behavior diagrams, a dynamic description logic and a sound and complete tableau-based satisfiability-checking decidable algorithm for UML are presented in this paper. This logic is a combination of a typical action theory and the description logic ALCQI, with the feature that actions are treated as citizens. Actions can be expressed in the construction of concepts and formulas. Reasoning tasks on concepts and actions can be realized with the help of the tableau-based satisfiability-checking decidable algorithm, which makes this logic more capable for the UML behavior diagrams.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
