{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:29Z","timestamp":1750306649737,"version":"3.41.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"4s","license":[{"start":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T00:00:00Z","timestamp":1404172800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/I038357\/1 (eFuturesXD, project POWERPROP) and EP\/K001698\/1 (UNCOVER)"],"award-info":[{"award-number":["EP\/I038357\/1 (eFuturesXD, project POWERPROP) and EP\/K001698\/1 (UNCOVER)"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Embed. Comput. Syst."],"published-print":{"date-parts":[[2014,7]]},"abstract":"<jats:p>One of the difficulties in designing modern hardware systems is the necessity for comprehending and dealing with a very large number of system configurations, operational modes, and behavioural scenarios. It is often infeasible to consider and specify each individual mode explicitly, and one needs methodologies and tools to exploit similarities between the individual modes and work with groups of modes rather than individual ones. The modes and groups of modes have to be managed in a compositional way: the specification of the system should be composed from specifications of its blocks. This includes both structural and behavioural composition. Furthermore, one should be able to transform and optimise the specifications in a formal way.<\/jats:p>\n          <jats:p>\n            In this article, we propose a new formalism, called\n            <jats:italic>parameterised graphs<\/jats:italic>\n            . It extends the existing conditional partial order graphs (CPOGs) formalism in several ways. First, it deals with general graphs rather than just partial orders. Moreover, it is fully compositional. To achieve this, we introduce an algebra of parameterised graphs by specifying the equivalence relation by a set of axioms, which is proved to be sound, minimal, and complete. This allows one to manipulate the specifications as algebraic expressions using the rules of this algebra. We demonstrate the usefulness of the developed formalism on several case studies coming from the area of microelectronics design.\n          <\/jats:p>","DOI":"10.1145\/2627351","type":"journal-article","created":{"date-parts":[[2014,11,18]],"date-time":"2014-11-18T13:49:53Z","timestamp":1416318593000},"page":"1-22","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Algebra of Parameterised Graphs"],"prefix":"10.1145","volume":"13","author":[{"given":"Andrey","family":"Mokhov","sequence":"first","affiliation":[{"name":"Newcastle University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Khomenko","sequence":"additional","affiliation":[{"name":"Newcastle University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,28]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692060"},{"key":"e_1_2_1_2_1","doi-asserted-by":"crossref","unstructured":"E. Best R. Devillers and M. Koutny. 2001. Petri Net Algebra. Monographs in Theoretical Computer Science Springer.   E. Best R. Devillers and M. Koutny. 2001. Petri Net Algebra. Monographs in Theoretical Computer Science Springer.","DOI":"10.1007\/978-3-662-04457-5"},{"key":"e_1_2_1_3_1","unstructured":"A. Bizjak and A. Bauer. 2011. Alg User Manual. http:\/\/hg.andrej.com\/alg\/.  A. Bizjak and A. Bauer. 2011. Alg User Manual. http:\/\/hg.andrej.com\/alg\/."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/imamat\/7.3.273"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2006.23"},{"key":"e_1_2_1_6_1","unstructured":"G. de Micheli. 1994. Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education.   G. de Micheli. 1994. Synthesis and Optimization of Digital Circuits. McGraw-Hill Higher Education."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90041-D"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645934.673514"},{"volume-title":"Automata, Languages and Programming","series-title":"Lecture Notes in Computer Science","author":"G\u00e9cseg F.","key":"e_1_2_1_9_1"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_2_1_11_1","unstructured":"ITRS. 2011. International Technology Roadmap for Semiconductors: Design. http:\/\/www.itrs.net\/Links\/2011ITRS\/2011Chapters\/2011Design.pdf.  ITRS. 2011. International Technology Roadmap for Semiconductors: Design. http:\/\/www.itrs.net\/Links\/2011ITRS\/2011Chapters\/2011Design.pdf."},{"volume":"1","volume-title":"Proceedings of the 26th Hawaii International Conference on System Sciences.","author":"Josephs M. B.","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.dam.2004.02.017"},{"key":"e_1_2_1_14_1","volume-title":"Lecture Notes in Computer Science","volume":"92","author":"Milner R.","year":"1982"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt.2010.0158"},{"volume-title":"Technical Report CS-TR-1307. School of Computing Science","year":"2011","author":"Mokhov A.","key":"e_1_2_1_18_1"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.58"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/T-AIEE.1938.5057767"},{"key":"e_1_2_1_21_1","unstructured":"Texas Instruments. 2013. MSP430x4xx Family User's Guide. http:\/\/www.ti.com\/lit\/ug\/slau056l\/slau056l.pdf.  Texas Instruments. 2013. MSP430x4xx Family User's Guide. http:\/\/www.ti.com\/lit\/ug\/slau056l\/slau056l.pdf."}],"container-title":["ACM Transactions on Embedded Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2627351","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2627351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:08Z","timestamp":1750229768000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2627351"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7]]},"references-count":20,"journal-issue":{"issue":"4s","published-print":{"date-parts":[[2014,7]]}},"alternative-id":["10.1145\/2627351"],"URL":"https:\/\/doi.org\/10.1145\/2627351","relation":{},"ISSN":["1539-9087","1558-3465"],"issn-type":[{"type":"print","value":"1539-9087"},{"type":"electronic","value":"1558-3465"}],"subject":[],"published":{"date-parts":[[2014,7]]},"assertion":[{"value":"2013-10-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}