｛“状态”：“正常”，“消息类型”：“工作”，“消息版本”：“1.0.0”，“消息”：｛“索引”：｛“日期部分”：[[2024,4,6]]，“日期-时间”：“2024-04-06T02:18:05Z”，“时间戳”：1712369885419｝，“发布者位置”：“柏林，海德堡”，“引用计数”：20，“发布者”：“施普林格-柏林-海德堡”，“isbn类型”：[｛“值”：“9783540202431”，“类型”：“打印”｝，｛“值”：“9783540452218”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2003]]}，”DOI“：”10.1007\/978-3-540-45221-8_28“，”type“：”book-capter“，”created“：”{“date-part”：[2010,6,29]]，“date-time”：“2010-06-29T17:11:11:39Z“，”时间戳“：1277831499000}，”页面“：”326-340“，“source”：“Crossref”，“is-referenced-by-count”：70，“title”：[“Using Description Logic to Maintain Consistency between UML Models”]，“prefix”：“10.1007”，”author“：[{”given“：”Ragnhild“，”family“：”Van Der Straeten“，”sequence“：”first“，”affiliation“：[]}，{“given”：：“Simmonds”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Viviane”，“family”：“Jonckers”，“serquence”:“additionable”，“filiation“：[]{”，“member”：“297”，“reference”：[{“key”：”28_CR1“，“unstructured”：“Alem\u00e1n，J.，Toval，A.，Hoyos，J.：严格转换UML类图。In：Proc.5th Workshop Models，Environments and Tools for Requirements Engineering（MENHIR），Universidad de Granada，Spain（2000）”}，{“key”：“28_CR2”，“volume-title”：“The Description Logic Handbook:Theory，Implementation and Applications”，“author”：“F.Baader”，“year”：“2003”，“非结构化”：“Baader，F.，McGuinness，D.，Nardi，D.，Patel-Schneider，P.：《描述逻辑手册：理论、实现和应用》，剑桥大学出版社，剑桥（2003）”}，{“key”：“28_CR3”，“unstructured”：“B\u00ebzivin，J.，Ploquin，N.：工具化MDA框架：一种新的软件维护和演化方案提案。面向对象编程杂志，JOOP（2001）”}，{“key”：“28_CR4”，“非结构化”：“Bodeveix，J.-P.，Millan，T.，Percebois，C.，Camus，C.L.，Bazes，P.，Ferraud，L.：扩展OCL以验证UML模型一致性。In:Kuzniarz，L.，Reggio，G.，Sourrouille，J.，Huzar，Z.（eds.）基于UML的软件开发中的一致性问题，UML 2002研讨会，技术报告（2002）”}，{“key”：“28_CR5”，“非结构化”：“Cal\u00ed，A.，Calvanee，D.，De Giacomo，G.，Lenzerini，M.：描述逻辑中UML类图的推理。in：IJCAR面向对象软件开发精确建模和演绎研讨会程序，PMD 2001（2001）”}，{“key”：“28_CR6”，“非结构化”：“Ehrig，H.，Tsiolakis，A.：使用属性图语法对UML类图和序列图进行一致性分析。In：Ehrig，H.，Taentzer，G.（编辑）ETAPS 2000图形转换系统研讨会，2000年3月，pp.77\u201386（2000）”}，｛“key”：“28_CR7”，“nonstructured”：“Engels，G.，Hausmann，J.，Heckel，R.，Sauer，S.：测试动态UML图的一致性。In：Proc.Sixth International Conference on Integrated Design and Process Technology（IDPT 2002），美国加利福尼亚州帕萨迪纳市（2002年6月）”}，{“key”：“28_CR8”，“series title”：“计算机科学讲义”，doi断言：“publisher”，“first page”：“272”，“DOI”：“10.1007\/3-540-45441-1_21”，“volume-title”：“\u00abUML\u00bb 2001\u2013统一建模语言。建模语言、概念和工具”，“作者”：“G.Engels”，“年份”：“2001”，“非结构化”：“Engels，G.，Heckel，R.，K\u00fcster，J.M.：基于UML元模型的行为一致性基于规则的规范。摘自：Gogolla，M.，Kobryn，C.（编辑）UML 2001。LNCS，第u00a02185卷，第272\u2013286页。Springer，Heidelberg（2001）“}，{”key“：”28_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“212”，”doi“：”10.1007\/3-540-45800-X_18“，”volume-title“：“\u00abUML\u00bb 2002-统一建模语言。模型工程，概念和工具“，”author“：”G.Engels“，”年份“：”2002“，”非结构化“：”Engels，G.，Heckel，R.，K\u00fcster，J.M.，Groenewegen，L.：通过转换保持一致性的模型演化。收录于：J\u00e9z\u00e 9quel，J.-M.，Hussmann，H.，Cook，S.（编辑）UML 2002。LNCS，第u00a02460卷，第212\u2013227页。Springer，Heidelberg（2002）“}，{”key“：”28_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“84”，”doi“：”10.1007\/3-540-57209-0_7“，”volume-title“：“欧洲软件工程会议”，”author“：”A.Finkelstein“，”year“：”1993“，”unstructured“：”Finkelstein，A.、Gabbay，D.M.、Hunter，A.、Kramer，J.、Nuseibeh，B.：多角度规范中的不一致处理。参加：欧洲软件工程会议。LNCS，第84\u201399页。Springer，Heidelberg（1993）“}，{“key”：“28_CR11”，“volume-title”：“重构：改进现有程序的设计”，“author”：“M.Fowler”，“year”：“1999”，“unstructured”：“Fowler，M.：重构：改进已有程序的设计。Addison-Wesley，Readingdoi-asserted-by“：”publisher“，”first page“：”410“，“doi”：“10.1007\/3-540-48166-4_25”，“volume-title”：“软件工程-ESEC\/FSE\u201999”，“author”：“P.Fradet”，“year”：“1999”，“unstructured”：“Fradet，P.，Le M\u00e9tayer，D.，P\u00e 9rin，M.：多视图软件架构的一致性检查。In:Nierstrasz，O.，Lemoine，M.（编辑）ESEC 1999和ESEC FSE 1999。LNCS，卷\u00a01687，第410\u2013428页。Springer，Heidelberg（1999）“}，{“key”：“28_CR13”，“volume-title”：“设计模式：可重用面向对象语言和系统的元素”，“author”：“E.Gamma”，“year”：“1994”，“unstructured”：“Gamma，E.，Helm，R.，Johnson，R.和Vlissides，J.：设计模式：面向对象语言与系统的元素。Addison-Wesley，Reading（1994）”}，{“key”：“28_CR14”，“unstructured”：“Gorp，P.V.，Stenten，H.，Mens，T.，Demeyer，S.：基于重构契约自动化源代码一致性设计改进的UML扩展。In：Proc.6th International Conference on the Unified Modeling Language（2003）“}，{”issue“：”11“，”key“：”28_CR15“，”doi-asserted-by“：”publisher“，”first page“：“960”，“doi”：“10.1109 \/32.730545”，“volume”：“24”，“author”：“J.C.Grundy”，“year”：“1998”，“unstructured”：“Grundy，J.C.，Hosking，J.G.，Mugridge，W.B.：多视图软件开发环境的不一致管理。IEEE软件工程学报\u00a024（11），960\u2013981（1998）”，“期刊标题”：“IEEE软件工程学学报”}，{“issue”：“3”，“key”：“28_CR16”，“doi-asserted-by”：“publisher”，“首页”：“88”，“doi”：“10.1145\/12296.122309”，“卷”：“2”，“作者”：“R.MacGregor”，“年份”：“1991”，“非结构化”：“MacGregor，R.：织机描述分类器内部。SIGART Bull.\u00a02（3），88\u201392（1991）”，“日志标题”：“SIGART Bull.”}，{“key“：“28_CR17”，“非结构化”：“对象管理组。统一建模语言规范1.5版。formal \/2003-03-01（2003年3月）“}，{“key”：“28_CR18”，“unstructured”：“Simmonds，J.：UML模型与描述逻辑的一致性维护。硕士论文，比利时布鲁塞尔弗里杰大学计算机科学系和法国南特矿业大学（2003年9月）”}，}开放式基于对象的分布式系统的形式化方法IV”，“作者”：“A.Toval”，“年份”：“2000年”，“非结构化”：“Toval，A.，Alem\u00e1n，J.：形式化建模UML及其演化：整体方法。收录：Smith，S.，Talcott，C.（eds.）《开放式基于对象的分布式系统的形式方法IV》，第183\u2013206页。Kluwer Academic Publishers，Dordrecht（2000）“}，{“key”：“28_CR20”，“unstructured”：“Tsiolakis，A.：UML序列图的语义分析和一致性检查。硕士论文，柏林理工大学，2001-06号技术报告（2001年4月）”}]，“container-title”：[“计算机科学讲义”，“\u00abUML\u00bb 2003-统一建模语言。建模语言和应用程序“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-45221-8_28“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2019,3,15]]，”date-time“：“2019-03-15T02:41:49Z”，“timestamp:155”2617709000}，“score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-540-45221-8_28”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[[2003]]}，“ISBN”：[“9783540202431”，“9783545218”]，”references-count“：20，”URL“http://\/dx.doi.org\/10007\/978”3-540-45221-8_28“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[2003]]｝｝