{"id":"https://openalex.org/W2121827076","doi":"https://doi.org/10.1017/s0960129500000748","title":"Compositionality and compatibility of parameterization and parameter passing in specification languages","display_name":"Compositionality and compatibility of parameterization and parameter passing in specification languages","publication_year":1995,"publication_date":"1995-06-01","ids":{"openalex":"https://openalex.org/W2121827076","doi":"https://doi.org/10.1017/s0960129500000748","mag":"2121827076"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129500000748","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000748","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090166954","display_name":"Rosa Mar\u00eda Rodr\u00edguez Jim\u00e9nez","orcid":"https://orcid.org/0000-0003-0467-2886"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Rosa M. Jim\u00e9nez","raw_affiliation_strings":["Departament de Lleng. i Sist. Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya"],"affiliations":[{"raw_affiliation_string":"Departament de Lleng. i Sist. Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072432956","display_name":"Fernando Orejas","orcid":"https://orcid.org/0000-0002-3023-4006"},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fernando Orejas","raw_affiliation_strings":["Departament de Lleng. i Sist. Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya"],"affiliations":[{"raw_affiliation_string":"Departament de Lleng. i Sist. Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002594574","display_name":"Hartmut Ehrig","orcid":null},"institutions":[{"id":"https://openalex.org/I4577782","display_name":"Technische Universit\u00e4t Berlin","ror":"https://ror.org/03v4gjf40","country_code":"DE","type":"education","lineage":["https://openalex.org/I4577782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hartmut Ehrig","raw_affiliation_strings":["Department of Computer Science, Technical University of Berlin"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Technical University of Berlin","institution_ids":["https://openalex.org/I4577782"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5090166954"],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":null,"apc_paid":null,"fwci":0.588,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.77195836,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"5","issue":"2","first_page":"283","last_page":"314"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.9131643772125244},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.7659542560577393},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6421507000923157},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5740035176277161},{"id":"https://openalex.org/keywords/categorical-variable","display_name":"Categorical variable","score":0.5195010900497437},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.48662838339805603},{"id":"https://openalex.org/keywords/compatibility","display_name":"Compatibility (geochemistry)","score":0.46848902106285095},{"id":"https://openalex.org/keywords/merge","display_name":"Merge (version control)","score":0.4271264672279358},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3958428204059601},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.354275107383728},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31087639927864075},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12883791327476501}],"concepts":[{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.9131643772125244},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.7659542560577393},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6421507000923157},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5740035176277161},{"id":"https://openalex.org/C5274069","wikidata":"https://www.wikidata.org/wiki/Q2285707","display_name":"Categorical variable","level":2,"score":0.5195010900497437},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.48662838339805603},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.46848902106285095},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.4271264672279358},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3958428204059601},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.354275107383728},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31087639927864075},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12883791327476501},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C17409809","wikidata":"https://www.wikidata.org/wiki/Q161764","display_name":"Geochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s0960129500000748","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129500000748","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.39.8454","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.39.8454","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-lsi.upc.es/~forejas/papers/param.ps.gz","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W580933293","https://openalex.org/W1496280540","https://openalex.org/W1496607686","https://openalex.org/W1549434492","https://openalex.org/W1557574468","https://openalex.org/W1570751719","https://openalex.org/W1573165138","https://openalex.org/W1586272280","https://openalex.org/W1588736189","https://openalex.org/W1603788080","https://openalex.org/W1608194541","https://openalex.org/W1669050930","https://openalex.org/W1835313181","https://openalex.org/W1969438769","https://openalex.org/W1974817955","https://openalex.org/W1998538047","https://openalex.org/W2010883554","https://openalex.org/W2030096232","https://openalex.org/W2035625685","https://openalex.org/W2036241569","https://openalex.org/W2055364993","https://openalex.org/W2071749035","https://openalex.org/W2171009727","https://openalex.org/W2177703916","https://openalex.org/W2179335662","https://openalex.org/W2293815615","https://openalex.org/W2913989085","https://openalex.org/W2914821813","https://openalex.org/W3022934899","https://openalex.org/W4231405405","https://openalex.org/W4300128858","https://openalex.org/W4300668781"],"related_works":["https://openalex.org/W3095531775","https://openalex.org/W1526190050","https://openalex.org/W4251923961","https://openalex.org/W2477397717","https://openalex.org/W2500457737","https://openalex.org/W2010490241","https://openalex.org/W4317425742","https://openalex.org/W4287025733","https://openalex.org/W3192500523","https://openalex.org/W2051058708"],"abstract_inverted_index":{"In":[0,113],"this":[1],"paper":[2],"we":[3,21],"continue":[4],"previous":[5,121],"work":[6],"by":[7],"Sannella,":[8],"Sokolowski":[9],"and":[10,24,35,41,55,93,119,139,148],"Tarlecki":[11],"on":[12],"parameterization":[13],"in":[14,43,94],"specification":[15,23,54],"languages.":[16],"Within":[17],"the":[18,53,56,72,80,90,115,124],"loose":[19,81],"approach,":[20],"define":[22],"model":[25,57],"level":[26,58],"semantics":[27,59],"for":[28,123],"two":[29],"kinds":[30],"of":[31,37,60,100,135,145],"parameterizations":[32],"(parameterized":[33],"specifications":[34,36,110],"parameterized":[38],"data":[39],"types)":[40],"describe,":[42],"a":[44,106],"compositional":[45],"manner,":[46],"parameter":[47,61],"passing":[48,62],"at":[49],"both":[50],"levels.":[51],"Moreover,":[52],"are":[63,111],"shown":[64],"to":[65,79,89,96,128,151],"be":[66,86,152],"compatible.":[67],"We":[68],"also":[69,85],"show":[70],"that":[71],"results":[73,116,122],"obtained":[74,117],"do":[75],"not":[76],"only":[77],"apply":[78],"approach":[82],"but":[83],"can":[84],"directly":[87],"applicable":[88],"initial":[91,125],"framework,":[92],"general":[95],"any":[97],"other":[98],"kind":[99],"monomorphic":[101],"framework":[102,107],"(":[103],"i.e":[104],".,":[105],"where":[108],"all":[109],"monomorphic).":[112],"particular,":[114],"generalize":[118,142],"extend":[120],"approach.":[126],"Finally,":[127],"obtain":[129],"our":[130],"results,":[131],"new":[132],"categorical":[133],"constructions":[134],"multiple":[136],"pushouts,":[137,146],"amalgamations":[138,147],"extensions,":[140,149],"which":[141],"standard":[143],"notions":[144],"had":[150],"introduced.":[153]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}