{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:34:45Z","timestamp":1694622885689},"reference-count":18,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2004,4,1]],"date-time":"2004-04-01T00:00:00Z","timestamp":1080777600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2004,4]]},"abstract":"<jats:title>Abstract.<\/jats:title>\n          <jats:p>The traditional notion of superposition has been used for supporting two distinct aspects of parallel program design: composition and refinement. This is because, when trace-based semantics of concurrency are considered, which is typical of most formal methods, these two relationships are modelled as inclusion between sets of behaviours. However, when forms of non-deterministic behaviour have to be considered, which is the case for component and service-based development, these two aspects do not coincide. In this paper, we show how the two roles of superposition can be separated and supported at the language and semantic levels. For this purpose, we use a categorical formalisation of program design in the language CommUnity that we are also using for addressing architectural concerns, another area in which the distinction between composition and refinement is particularly important.<\/jats:p>","DOI":"10.1007\/s00165-003-0021-6","type":"journal-article","created":{"date-parts":[[2004,3,29]],"date-time":"2004-03-29T12:36:13Z","timestamp":1080563773000},"page":"5-18","source":"Crossref","is-referenced-by-count":7,"title":["Superposition: composition vs refinement of non-deterministic, action-based systems"],"prefix":"10.1145","volume":"16","author":[{"given":"Ant\u00f3nia","family":"Lopes","sequence":"first","affiliation":[{"name":"Department of Informatics, Faculty of Sciences, University of Lisbon, Lisbon, Portugal"}]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[{"name":"Department of Mathematics and Computer Science, University of Leicester, Leicester, UK"}]}],"member":"320","reference":[{"issue":"3","key":"p_1","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","article-title":"A formal basis for architectural connectors","volume":"6","author":"Al R","year":"1997","journal-title":"ACM TOSEM"},{"key":"p_2","first-page":"240","volume-title":"Proceedings of the 14th ACM POPL","author":"Bo L","year":"1988"},{"key":"p_3","volume-title":"Superimposition: a component adaptation technique. Inf Software Technol","author":"Bos J","year":"1999"},{"key":"p_4","first-page":"67","volume-title":"LNCS 430","author":"Bac RJ","year":"1990"},{"issue":"3","key":"p_5","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1007\/BF01214918","article-title":"Superposition refinement of reactive systems","volume":"8","author":"Ba RJ","year":"1996","journal-title":"Formal Aspects Comput"},{"key":"p_6","volume-title":"Parallel program design: a foundation","author":"Ch K","year":"1988"},{"key":"p_7","volume-title":"A discipline of programming","author":"Dij E","year":"1976"},{"key":"p_8","volume-title":"Interacting processes","author":"Fr N","year":"1996"},{"key":"p_9","first-page":"505","volume-title":"Proceedings of TAPSOFT'97","author":"Fi JL","year":"1997"},{"key":"p_10","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0167-6423(96)00025-1","article-title":"Categorical semantics of parallel program design","volume":"28","author":"Fi JL","year":"1997","journal-title":"Sci Comput Programming"},{"key":"p_11","first-page":"121","volume-title":"Advances in Cybernetics and Systems Research","author":"Gog J","year":"1973"},{"key":"p_12","volume-title":"Communicating sequential processes","author":"Hoa CAR","year":"1985"},{"issue":"2","key":"p_13","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/169701.169682","article-title":"A Superimposition control construct for distributed systems","volume":"15","author":"Kat S","year":"1993","journal-title":"ACM TOPLAS"},{"key":"p_15","first-page":"380","volume-title":"Proceedings of AMAST'97 LNCS 1349","author":"Lo A","year":"1997"},{"key":"p_16","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/587051.587058","volume-title":"Proceedings of 10th symposium on the foundations of software engineering, ACM Press","author":"Lopes A","year":"2002"},{"key":"p_17","first-page":"144","volume-title":"Proceedings of fundamental approaches to software engineering, LNCS 1577","author":"Lo A","year":"1999"},{"key":"p_18","volume-title":"Software architecture: perspectives on an emerging discipline","author":"Sh M","year":"1996"},{"issue":"5","key":"p_19","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1109\/32.685257","article-title":"Connectors for mobile programs","volume":"24","author":"We M","year":"1998","journal-title":"IEEE Trans Software Eng"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-003-0021-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-003-0021-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-003-0021-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:34:57Z","timestamp":1641483297000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-003-0021-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,4]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,4]]}},"alternative-id":["10.1007\/s00165-003-0021-6"],"URL":"https:\/\/doi.org\/10.1007\/s00165-003-0021-6","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,4]]}}}