{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,25]],"date-time":"2024-02-25T09:40:16Z","timestamp":1708854016748},"reference-count":23,"publisher":"World Scientific Pub Co Pte Ltd","issue":"01","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2008,2]]},"abstract":"<jats:p>One of the main needs when dealing with multi-perspective specifications is to be able to have at our disposal, at intermediate stages of the development process, a merged view which properly reflects the knowledge of each participant in the elicitation tasks (and over which we can reason, even in the presence of disagreement and incompleteness).<\/jats:p><jats:p>We show in this paper to what extent there can be many merged models, having all of them useful application. So there is not a unique operator which can be qualified as the best; on the contrary, there will be a suitable merging operator depending on the goal of the merging process. More concretely, we will propose a set of four composition operators: \u2210<jats:sub>max<\/jats:sub>, \u2210<jats:sub>min<\/jats:sub>, \u2210<jats:sub>maj<\/jats:sub>and \u2210<jats:sub>maj + inc<\/jats:sub>. They will be evaluated making use of a list of desired algebraic properties proposed by researchers on merging and which should be held by an ideal merging operator. This analysis can help us to compare the different operators, revealing the key features of each, and identifying weaknesses that may require further research. The conclusion drawn after this analysis points out that these properties are not useful enough to adequately characterize a merging operator. Therefore, new properties will be provided in order to complete the previous list and help to define better the behavior of the different merging operators.<\/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":["COMPOSING MULTI-PERSPECTIVE SOFTWARE REQUIREMENTS SPECIFICATIONS"],"prefix":"10.1142","volume":"18","author":[{"given":"ANA BEL\u00c9N BARRAG\u00c1NS","family":"MART\u00cdNEZ","sequence":"first","affiliation":[{"name":"Telematic Engineering Department, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario, Vigo 36310, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JOS\u00c9 J. PAZOS","family":"ARIAS","sequence":"additional","affiliation":[{"name":"Telematic Engineering Department, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario, Vigo 36310, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANA FERN\u00c1NDEZ","family":"VILAS","sequence":"additional","affiliation":[{"name":"Telematic Engineering Department, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario, Vigo 36310, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"JORGE GARC\u00cdA","family":"DUQUE","sequence":"additional","affiliation":[{"name":"Telematic Engineering Department, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario, Vigo 36310, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MART\u00cdN L\u00d3PEZ","family":"NORES","sequence":"additional","affiliation":[{"name":"Telematic Engineering Department, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario, Vigo 36310, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"REBECA P. D\u00cdAZ","family":"REDONDO","sequence":"additional","affiliation":[{"name":"Telematic Engineering Department, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario, Vigo 36310, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"YOLANDA BLANCO","family":"FERN\u00c1NDEZ","sequence":"additional","affiliation":[{"name":"Telematic Engineering Department, University of Vigo, ETSE Telecomunicaci\u00f3n, Campus Universitario, Vigo 36310, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,21]]},"reference":[{"key":"rf1","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"Milner R.","year":"1989"},{"key":"rf2","volume-title":"Communicating Sequential Processes","author":"Hoare C. A. R.","year":"1985"},{"key":"rf5","doi-asserted-by":"crossref","unstructured":"L.\u00a0Cholvy, Handbook of Defensible Reasoning and Uncertainty Management Systems\u00a03 (Kluwer, 1998)\u00a0pp. 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-asserted-by":"publisher","DOI":"10.1023\/A:1014446411602"},{"key":"rf10","doi-asserted-by":"crossref","unstructured":"D.\u00a0Dubois, J.\u00a0Lang and H.\u00a0Prade, Possibilistic Logic, eds. D.\u00a0Gabbay (Oxford University Press, 1994)\u00a0pp. 439\u2013513.","DOI":"10.1093\/oso\/9780198537472.003.0009"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-006-0032-y"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1007\/PL00003939"},{"key":"rf17","series-title":"Bibliotheca Mathematica","volume-title":"Introduction to Metamathematics","volume":"1","author":"Kleene S. C.","year":"1952"},{"key":"rf19","volume-title":"Electronic Notes in Theoretical Computer Science","volume":"45","author":"Huth M.","year":"2001"},{"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-asserted-by":"publisher","DOI":"10.1145\/292182.292187"},{"key":"rf28","unstructured":"N. D.\u00a0Belnap, Modern Uses of Multiple-Valued Logic, eds. J. M.\u00a0Dunn and G.\u00a0Epstein (Reidel, 1977)\u00a0pp. 7\u201337."},{"key":"rf30","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2004.10.001"},{"key":"rf32","doi-asserted-by":"publisher","DOI":"10.1145\/158431.158438"},{"key":"rf33","doi-asserted-by":"publisher","DOI":"10.1109\/32.328995"},{"key":"rf36","first-page":"18","volume":"13","author":"Syst\u00e4 T.","journal-title":"J. Object Oriented Programming"},{"key":"rf37","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"},{"key":"rf39","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383853"},{"key":"rf42","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1996.0004"},{"key":"rf43","unstructured":"J.\u00a0Whittle and J.\u00a0Ara\u00fajo\u00a0151, ed. (2004)\u00a0pp. 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.worldscientific.com\/doi\/pdf\/10.1142\/S0218194008003581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,25]],"date-time":"2024-02-25T08:59:05Z","timestamp":1708851545000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218194008003581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2]]},"references-count":23,"journal-issue":{"issue":"01","published-online":{"date-parts":[[2011,11,21]]},"published-print":{"date-parts":[[2008,2]]}},"alternative-id":["10.1142\/S0218194008003581"],"URL":"https:\/\/doi.org\/10.1142\/s0218194008003581","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2]]}}}