{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,3,13]]，“日期-时间”：“2024-03-13T13:48:09Z”，“时间戳”：1710337689291}，“引用-计数”：7，“发布者”：“世界科学出版社私人有限公司”，“问题”：“06”，“内容-域”:{“域”：[]，“交叉标记限制”：false}，”short集装箱运输”：[“国际J。柔软。工程知识。英语“]，”published-print“：{”date-parts“：[[2008,9]]}，”abstract“：”随着模型的规模和复杂性的增长，UML模型的自动一致性检查变得非常必要。由于UML元模型不强制执行模型一致性，因此对于如何处理一致性问题没有固定的指导原则。目前的解决方案通常是片面的。事实证明，将元模型和用户设计的模型转换为描述逻辑可以提供检测大量不一致性的解决方案。为了使这个解决方案对系统设计者可用，我们实现了MCC+，这是一个UML模型一致性检查器，作为用于UML的Poseidon插件构建，并依赖Jena作为推理引擎。与其他方法相比，我们提出了一个可用且可扩展的解决方案，可以与已知的建模工具进行互操作。我们展示了MCC+在实际大型啮合工具示例中的应用<\/jats:p>“，”DOI“：”10.1142\/s0218194008003829“，”type“：”journal-article“，”created“：{”date-parts“：[[2008,12,16]]，”date-time“：”2008-12-16T06:06:41Z“，”timestamp“：1229407601000}，”page“：“713-735”，“source”：“Crossref”，“is-referenced-by-count”：10，“title”：[“基于DL的工具用于UML模型一致性检查”]，”prefix“：”10.1142“，”卷“：”18“，”作者“：[{”given“：”JOCELYN“，”family“：”SIMMONDS“，”sequence“：”first“，”affiliation“：[{”name“：”多伦多大学计算机科学系，加拿大安大略省多伦多市国王学院路10号Sandford Fleming大楼3302室“}]}，{”given”：“MAR\u00cdA CECILIA”，“family”：“BASTARRICA”，”se序列“：”additional“，”filiation智利大学计算机科学系，Blanco Encalada 2120，Santiago，Chile“}]}，{“给定”：“NANCY”，“家族”：“HITSHFELD-KAHLER”，“序列”：“附加”，“隶属关系”：[{“名称”：“智利大学计算机科学系，Blanco Encalada 2120，Santiago，Chile”}]}，{“给定”：“SEBASTI\u00c1N”，“家族”：“RIWAS”，“序列”：“附加”附属机构：[｛“name”：“智利大学计算机科学系，Blanco Encalada 2120，Santiago，Chile”｝]，“成员”：“219”，“在线出版”：｛“日期部分”：[〔2011，11，21〕｝，“参考文献”：[｛“key”：“rf1”，“卷标题”：“描述逻辑手册：理论、实现和应用”，“作者”：“Baader F.”，“年份”：“2003”｝，｛“key”：“rf2”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.advengsoft.2005.04.001“}，{”key“：”rf7“，”volume-title“：”Documenting Software Architectures.Views and Beyond“，”author“：”Clements P.“，“year”：“2002”}，“key”：“rf10”，“doi-assert-by”：“publisher by“：”publisher“，”doi“：”10.1109 \/32.730545“}，{“key”：“rf16”，“doi-asserted-by”：“publisher”，“doi”：“10.1109 \/32.588521”}，}“key:”rf25“，“首页”：“1”，“卷”：“47”，“作者”：“Sch\u00e4fer T”，“日志标题”：“理论计算机科学中的电子笔记”}]，“容器标题”：[“国际软件工程与知识工程杂志”]，“原始标题”：[]，“language“：”en“，”link“：[{”URL“：”https:\/\/www.worldscience.com\/doi\/pdf\/10.1142\/S0218194008003829“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,8,6]]，”date-time“：“2019-08-06T21:45:02Z”，“timestamp”：1565127902000}，“score”：1，“资源”：{“主”：{“URL”：“https:\/\/www.worldscience.com\/doi\/abs\/10.1142\/S0218194008003829“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2008,9]]}，“references-count”：7，“日记发布”：{“issue”：“06”，“published-online”：}“date-parts”：[[2011,11,21]]}，“publised-print”：{“date-parts”：[[2008,9]]}}，“alternative-id”：[“10.1142\/S0218194008003829”]，“URL”：“http:\/\/dx.doi.org\/10.1142\/s0218194008003829“，”关系“：{}，”ISSN“：[”0218-1940“，”1793-6403“]，”ISSN-type“：[{”value“：”0218-1440“，“type”：“print”}，{”value“：”1793-4403“，”type“:”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2008,9]]}}}}