{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期-部分”:[[2024,2,25]],“日期-时间”:“2024-02-25T09:40:16Z”,“时间戳”:1708854016748},“参考-计数”:23,“出版商”:“世界科学出版社私人有限公司”,“问题”:“01”,“内容-域”:{“域”:[],“交叉标记限制”:false},”short-container title“:[“国际期刊。柔软。工程知识。英语“],”published-print“:{”date-parts“:[[2008,2]},”abstract“:”处理多视角规范时的主要需求之一是,在开发过程的中间阶段,我们可以使用一个合并的视图,该视图适当地反映了启发任务中每个参与者的知识(即使在存在分歧和不完整的情况下,我们也可以对此进行推理)。<\/jats:p>我们在本文中展示了在多大程度上可以有许多合并模型,它们都具有有用的应用。因此,没有一个唯一的操作符可以称得上是最好的;相反,根据合并过程的目标,将有一个合适的合并操作符。更具体地说,我们将提出一组四个组合运算符:\u2210最大值<\/jats:sub>,\u2210最小值<\/jats:sub>,\u2210maj<\/jats:sub>和\u2210maj+inc<\/jats:sub>。将使用研究人员提出的关于合并的所需代数属性列表对它们进行评估,这些属性应由理想的合并算子持有。该分析可以帮助我们比较不同的运营商,揭示每种运营商的关键特征,并识别可能需要进一步研究的弱点。分析后得出的结论指出,这些属性对于充分刻画合并算子来说不够有用。因此,将提供新属性,以完成前面的列表,并帮助更好地定义不同合并运算符的行为<\/jats:p>“,”DOI“:”10.1142\/s0218194008003581“,”type“:”journal-article“,”created“:{”date-parts“:[[2008,4,21]],”date-time“:”2008-04-21T09:18:43Z“,”timestamp“:1208769523000},”page“:“119-153”,“source”:“Crossref”,“is-referenced-by-count”:2,“title”:[“复合多方面软件要求规范”],“前缀”:“10.1142”,”卷“:”18“,”作者“:[{”given“:”ANA BEL\u00c9N BARRAG\u00c 1NS“,”family“:”MART\u00cdNEZ“,”sequence“:”first“,”affiliation“:[}”name“:”Vigo大学远程信息工程系,ETSE Telecomunicaci\u00f3n,Campus University,Vigo 36310,Spain“}]},”givent“:”JOS\u00c9 J.PAZOS“,”“family”:“ARIAS”,“sequence”:“additional”,“affiliance”:[{“名称”:“维戈大学电信工程系,ETSE Telecomunicaci\u00f3n,西班牙维戈大学校园“}]},{“given”:“ANA FERN\u00c1NDEZ”,“family”:“VILAS”,“sequence”:“additional”,“affiliation”:[{“name”:“维戈大学通信工程系,西班牙维哥大学校园36310”}]},{given“:”JORGE GARC\u00cdA“,”family“:”DUQUE“,”sequence“:”additional“,”affiliation“:[{”name“:”Vigo大学电信工程系,ETSE Telecomunicaci\u00f3n,西班牙Vigo 36310大学校区“}]},{”given:“MART\u00cdN L\u00d3PEZ”,“family”:“NORES”,“sequence”:“additional”,“affiliance”:[{“name”:“”维戈大学电信工程系,ETSE Telecomunicaci\u00f3n,西班牙维戈大学校园“}]},{“given”:“REBECA P.D\u00cdAZ”,“family”:“REDONDO”,“sequence”:“additional”,“affiliation”:[{“name”:“维戈大学通信工程系,西班牙维哥大学校园36310”}]},{“given”:“YOLANDA BLANCO”,“family”:“FERN\u00c1NDEZ”,“sequence”:“additional”,“affiliation”:[{“name”:“Vigo大学远程通信工程系,ETSE Telecomunicaci\u00f3n,Campus Universitario,Vigo 36310,Spain”}]],“member”:“219”,“published-online”:{“date-parts”:[[2011,11,21]]},“reference”:[[{”key“rf1”,“series-title”:“计算机科学国际丛书”,“卷-时间”:“通信与并发”,“作者”:“Milner R.”,“年份”:“1989”},{“key”:“rf2”,“volume-title”:“通讯顺序过程”,“author”:“Hoare C.A.R.”:“L.\u00a0Cholvy,《防御性推理和不确定性管理系统手册》\u00a 03(Kluwer,1998)\u00a-0pp.233\u2013263.”,“DOI”:“10.1007\/978-94-011-5054-5_6”},{“key”:“rf7”,“DOI-asserted-by”:“publisher”,“DOI”:”10.1016\/0004-3702(95)00019-4“}”,{”key“:”rf9“,”DOI-assert-by“:”publisher“,”DOI“:“10.1023\/A:1014446411602”},{“键”:“rf10”,“doi-asserted-by”:“crossref”,“unstructured”:“D.\u00a0Dubois,J.\u00a 0Lang and H.\u00 a0Prade,Possibilistic Logic,eds.D.\u00 a 0Gabbay(牛津大学出版社,1994)\u00a-0pp.439\u2013513.”,“doi”:“10.1093 \/oso\/9780198537472.003.0009”},{“key”:“rf13”,“doi-asserted-by”:”publisher“,“doi:”10.1007\/s00 766-006-0032-y“},{”键“:”rf16“,”doi-asserted-by“:“publisher”,“DOI”:“10.1007\/PL00003939”},{“key”:“rf17”,“series-title”:“Bibliotheca Mathematica”,《volume-title》:“元数学导论”,“volume”:”1“,“author”:“Kleene S.C.”,“year”:“1952”}“key”:“rf20”,“doi-asserted-by”:“publisher”,“doi”:“10.1145 \/990010.990011”},{“key”:“rf26”,“doi-asserted-by”:”publisher“,”doi“:”10.1109 \/32.310667“},}”key“:”rf27“,”doi-assert-by“:”publiser“,“doi:”10.1145\/292182.292187“}《逻辑学》,编辑J。M.\u00a0Dunn和G.\u00a 0Epstein(Reidel,1977)。7\u201337.“},{”key“:”rf30“,”doi-asserted-by“:”publisher“,”doi“:”10.1016\/j.inffus.2004.10.001“}、{”key“:“rf32,“首页”:“18”,“卷”:“13”,“作者”:“系统\u00e4 T”,“日志标题”:“j。面向对象编程“},{”key“:”rf37“,”doi-asserted-by“:”publisher“,”doi“:”10.1109\/32.738341“}、{”key“:“rf39”、“”doi-sserted-by”:“publisher”、“doi”:“10.1145\/383845.383853”}、}“key”:“rf42”、“doi-assert-by”“:”publisher“,”doi“:“10.1049\/sej.1996.004”},“”key:“rf43”,“unstructured”:“J.\u00a0Whittle和J.\u000a0Ara\u00fajo\u00a 0151,ed.(2004)\u00a0页。157\u2013172.“},{”key“:”rf48“,”doi-asserted-by“:”publisher“,”doi“:”10.1093\/logcom\/12.5.773“}],”container-title“:[”International Journal of Software Engineering and Knowledge Engineering“],”original title“:[],”language“:”en“,”link“:[{”URL“:”https:\/\/www.worldscience.com\/doi\/pdf\/10.1142\/S0218194008003581“,”content-type“:”unspecified“,“”content-version“:”vor“,”intended-application“:”similarity-checking“}],”deposed“:{”date-parts“:[[2024,2,25]],”date-time“:”2024-02-25T08:59:05Z“,”timestamp“:1708851545000},”score“:1,”resource“:”{“primary”:{“URL”:“https:\/\/www.worldscience.com\/doi\/abs\/10.1142\/S02119408003581”}},“subtitle”:[],“shorttitle”“:[],”发布“:{”日期部分“:[[2008,2]]},“参考文献数”:23,“期刊号”:{“期刊号”:“01”,“在线发布”:{“日期部分”:[[2011,11,21]]]},“已发布印刷品”:{“日期部分”:[[2008,2]]}},“替代id”:[“10.1142\\S0218194008003581”],“URL”:“http:\/\/dx.doi.org/10.1142\\s021819194008003581”,“relationship”:{},“ISSN”:[“0218-1940”,“1793-6403”],“ISSN type”:[{“值”:“0218-1940”,“类型”:“打印”},{“值”:“1793-6403”,“类型”:“电子”}],“主题”:[],“发布”:{“日期部分”:[[2008,2]}}