{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:11:40Z","timestamp":1761621100938,"version":"3.41.0"},"reference-count":10,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2012,4,1]],"date-time":"2012-04-01T00:00:00Z","timestamp":1333238400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Auton. Adapt. Syst."],"published-print":{"date-parts":[[2012,4]]},"abstract":"<jats:p>Advances in pervasive technology have made it possible to consider large-scale application types that potentially span heterogeneous organizations, technologies, and device types. This class of application will have a multilayer architecture, where each layer is likely to use languages and technologies appropriate to its own concerns. An example application is a geographically large-scale crisis management system. Typically, such applications are required to dynamically adapt their behavior based on current circumstances, with adaptations potentially affecting all layers of the application. The complexities involved in dynamically adapting multilayer applications will significantly benefit from formal approaches to its specification.<\/jats:p>\n          <jats:p>This article presents a new methodology for flexible, multilayer application adaptation, with layer-specific adaptation solution templates bound to application mismatches that are organized into hierarchical taxonomies. Templates can be linked either through direct invocations or through adaptation events, supporting flexible cross-layer adaptation. The methodology illustrates the use of different formalisms for different elements of its specification. In particular, we combine semiformal metamodeling techniques for the system model specification with formal Petri nets, which are used to capture template matchmaking using reachability analysis. This work demonstrates how existing formalisms can be used for the specification of a generic adaptation model for pervasive applications.<\/jats:p>","DOI":"10.1145\/2168260.2168267","type":"journal-article","created":{"date-parts":[[2012,5,1]],"date-time":"2012-05-01T13:43:38Z","timestamp":1335879818000},"page":"1-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["A formalized, taxonomy-driven approach to cross-layer application adaptation"],"prefix":"10.1145","volume":"7","author":[{"given":"Razvan","family":"Popescu","sequence":"first","affiliation":[{"name":"Trinity College Dublin, Dublin, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Athanasios","family":"Staikopoulos","sequence":"additional","affiliation":[{"name":"Trinity College Dublin, Dublin, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[{"name":"University of Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peng","family":"Liu","sequence":"additional","affiliation":[{"name":"Trinity College Dublin, Dublin, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siobh\u00e1n","family":"Clarke","sequence":"additional","affiliation":[{"name":"Trinity College Dublin, Dublin, Ireland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,5,4]]},"reference":[{"volume-title":"ICT","author":"Coordination","key":"e_1_2_1_1_1","unstructured":"ALIVE. 2010. Coordination , organisation and model driven approaches for dynamic, flexible, robust software and services engineering. European Commission 7th Framework Programme , ICT , http:\/\/www.ist-alive.eu\/. ALIVE. 2010. Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering. European Commission 7th Framework Programme, ICT, http:\/\/www.ist-alive.eu\/."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11786160_11"},{"key":"e_1_2_1_3_1","first-page":"143","article-title":"Decibility Issues for Petri Nets - A survey","volume":"30","author":"Esparza J.","year":"1994","unstructured":"Esparza , J. and Nielsen , M. 1994 . Decibility Issues for Petri Nets - A survey . J. Inf. Process. Cybernet. 30 , 3, 143 -- 160 . Esparza, J. and Nielsen, M. 1994. Decibility Issues for Petri Nets - A survey. J. Inf. Process. Cybernet. 30, 3, 143--160.","journal-title":"J. Inf. Process. Cybernet."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647738.735634"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2009.12"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168260.2168267"},{"key":"e_1_2_1_8_1","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 00)","author":"Verbeek E.","unstructured":"Verbeek , E. and van der Aalst , W. M. P. 2000. Woflan 2. 0 : A petri-net-based workflow diagnosis tool . In Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 00) . Lecture Notes in Computer Science , vol. 1825 , Springer , 475--484. Verbeek, E. and van der Aalst, W. M. P. 2000. Woflan 2.0: A petri-net-based workflow diagnosis tool. In Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 00). Lecture Notes in Computer Science, vol. 1825, Springer, 475--484."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.811516"},{"key":"e_1_2_1_10_1","unstructured":"WoPeD. Workflow Petri net designer. http:\/\/www.woped.org\/.  WoPeD. Workflow Petri net designer. http:\/\/www.woped.org\/."}],"container-title":["ACM Transactions on Autonomous and Adaptive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2168260.2168267","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2168260.2168267","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:00:33Z","timestamp":1750276833000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2168260.2168267"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,4]]}},"alternative-id":["10.1145\/2168260.2168267"],"URL":"https:\/\/doi.org\/10.1145\/2168260.2168267","relation":{},"ISSN":["1556-4665","1556-4703"],"issn-type":[{"type":"print","value":"1556-4665"},{"type":"electronic","value":"1556-4703"}],"subject":[],"published":{"date-parts":[[2012,4]]},"assertion":[{"value":"2010-05-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-12-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2012-05-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}