{"id":"https://openalex.org/W2680592554","doi":"https://doi.org/10.1145/2627351","title":"Algebra of Parameterised Graphs","display_name":"Algebra of Parameterised Graphs","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W2680592554","doi":"https://doi.org/10.1145/2627351","mag":"2680592554"},"language":"en","primary_location":{"id":"doi:10.1145/2627351","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2627351","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","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/A5041019594","display_name":"Andrey Mokhov","orcid":"https://orcid.org/0000-0002-2493-3177"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Andrey Mokhov","raw_affiliation_strings":["Newcastle University"],"affiliations":[{"raw_affiliation_string":"Newcastle University","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008744860","display_name":"Victor Khomenko","orcid":"https://orcid.org/0000-0001-6422-2006"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Victor Khomenko","raw_affiliation_strings":["Newcastle University"],"affiliations":[{"raw_affiliation_string":"Newcastle University","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041019594"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":6.7655,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.97347031,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"13","issue":"4s","first_page":"1","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9939000010490417,"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/computer-science","display_name":"Computer science","score":0.7199048399925232},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6905399560928345},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6150792837142944},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5467435717582703},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5386462211608887},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4993302822113037},{"id":"https://openalex.org/keywords/algebraic-specification","display_name":"Algebraic specification","score":0.4685291647911072},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.45028361678123474},{"id":"https://openalex.org/keywords/relation-algebra","display_name":"Relation algebra","score":0.4350968897342682},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.36010152101516724},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.23685356974601746},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1895354688167572},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.14151468873023987},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.09975656867027283}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7199048399925232},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6905399560928345},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6150792837142944},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5467435717582703},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5386462211608887},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4993302822113037},{"id":"https://openalex.org/C2777691520","wikidata":"https://www.wikidata.org/wiki/Q4724019","display_name":"Algebraic specification","level":3,"score":0.4685291647911072},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.45028361678123474},{"id":"https://openalex.org/C10282146","wikidata":"https://www.wikidata.org/wiki/Q5965969","display_name":"Relation algebra","level":5,"score":0.4350968897342682},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.36010152101516724},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.23685356974601746},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1895354688167572},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.14151468873023987},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09975656867027283},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C100899422","wikidata":"https://www.wikidata.org/wiki/Q5058347","display_name":"Cellular algebra","level":4,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2627351","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2627351","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1606029758","display_name":null,"funder_award_id":"EP/I038357/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3188201065","display_name":null,"funder_award_id":"EP/K001698/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G4986008598","display_name":null,"funder_award_id":"EP/I038357/1 (eFuturesXD, project POWERPROP) and EP/K001698/1 (UNCOVER)","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1502820232","https://openalex.org/W1565525547","https://openalex.org/W1970144643","https://openalex.org/W2008160316","https://openalex.org/W2013672985","https://openalex.org/W2014211132","https://openalex.org/W2016113382","https://openalex.org/W2053619330","https://openalex.org/W2054260295","https://openalex.org/W2072644897","https://openalex.org/W2110425399","https://openalex.org/W2120039934","https://openalex.org/W2121303600","https://openalex.org/W2128932399","https://openalex.org/W2129183345","https://openalex.org/W2137865376","https://openalex.org/W2143446142","https://openalex.org/W2155339719","https://openalex.org/W2160249188","https://openalex.org/W2164920557","https://openalex.org/W2561675875","https://openalex.org/W2896263354","https://openalex.org/W3144368627","https://openalex.org/W4211008702","https://openalex.org/W4285719527","https://openalex.org/W4403159200"],"related_works":["https://openalex.org/W1877180621","https://openalex.org/W2160450472","https://openalex.org/W2071986313","https://openalex.org/W2339541395","https://openalex.org/W4245902489","https://openalex.org/W2045910943","https://openalex.org/W4244227262","https://openalex.org/W2014569219","https://openalex.org/W1801366570","https://openalex.org/W1965711296"],"abstract_inverted_index":{"One":[0],"of":[1,21,58,68,80,88,161,172,196,203,215],"the":[2,10,51,78,81,107,127,166,188,194,201,204,213],"difficulties":[3],"in":[4,74,109,135],"designing":[5],"modern":[6],"hardware":[7],"systems":[8],"is":[9,30,151,175],"necessity":[11],"for":[12],"comprehending":[13],"and":[14,26,35,41,45,54,66,95,105,181],"dealing":[15],"with":[16,56,141],"a":[17,75,110,118,170],"very":[18],"large":[19],"number":[20],"system":[22,82],"configurations,":[23],"operational":[24],"modes,":[25],"behavioural":[27,96],"scenarios.":[28],"It":[29,125],"often":[31],"infeasible":[32],"to":[33,47,71,103,177,186],"consider":[34],"specify":[36],"each":[37],"individual":[38,52,62],"mode":[39],"explicitly,":[40],"one":[42,99,185],"needs":[43],"methodologies":[44],"tools":[46],"exploit":[48],"similarities":[49],"between":[50],"modes":[53,59,65,69],"work":[55],"groups":[57,67],"rather":[60,144],"than":[61,145],"ones.":[63],"The":[64],"have":[70],"be":[72,84,101,178],"managed":[73],"compositional":[76],"way:":[77],"specification":[79],"should":[83,100],"composed":[85],"from":[86,212],"specifications":[87,108,189],"its":[89],"blocks.":[90],"This":[91,183],"includes":[92],"both":[93],"structural":[94],"composition.":[97],"Furthermore,":[98],"able":[102],"transform":[104],"optimise":[106],"formal":[111],"way.":[112],"In":[113],"this":[114,197],"article,":[115],"we":[116,157],"propose":[117],"new":[119],"formalism,":[120],"called":[121],"parameterised":[122,162],"graphs":[123,132,143,163],".":[124],"extends":[126],"existing":[128],"conditional":[129],"partial":[130,147],"order":[131],"(CPOGs)":[133],"formalism":[134,206],"several":[136,208],"ways.":[137],"First,":[138],"it":[139,150],"deals":[140],"general":[142],"just":[146],"orders.":[148],"Moreover,":[149],"fully":[152],"compositional.":[153],"To":[154],"achieve":[155],"this,":[156],"introduce":[158],"an":[159],"algebra":[160],"by":[164,169],"specifying":[165],"equivalence":[167],"relation":[168],"set":[171],"axioms,":[173],"which":[174],"proved":[176],"sound,":[179],"minimal,":[180],"complete.":[182],"allows":[184],"manipulate":[187],"as":[190],"algebraic":[191],"expressions":[192],"using":[193],"rules":[195],"algebra.":[198],"We":[199],"demonstrate":[200],"usefulness":[202],"developed":[205],"on":[207],"case":[209],"studies":[210],"coming":[211],"area":[214],"microelectronics":[216],"design.":[217]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}