{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,8]],"date-time":"2023-12-08T09:39:26Z","timestamp":1702028366666},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2016,3,1]],"date-time":"2016-03-01T00:00:00Z","timestamp":1456790400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2016,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Correctness of the behavior of an adaptive system during dynamic adaptation is an important challenge to realize correct adaptive systems. Dynamic adaptation refers to changes to both the functionality of the computational entities that comprise a composite system, as well as the structure of their interconnections, in response to variations in the environment, e.g., the load of requests on a server system. In this research, we view the problem of correct structural adaptation as a supervisory control problem and synthesize a reconfiguration controller that guides the behavior of a system during adaptation. The reconfiguration controller observes the system behavior during an adaptation and controls the system behavior by allowing\/disallowing actions in a way to ensure that a given property is satisfied and a deadlock is avoided. The system during adaptation is modeled using a graph transition system and properties to be enforced are specified using a graph automaton. We adapt a classical theory of supervisory control for synthesizing a controller for controlling the behavior of a system modeled using graph transition systems. This theory is used to synthesize a controller that can impose both behavioral and structural constraints on the system during an adaptation. We apply a tool that we have implemented to support our approach on a case study involving https servers.<\/jats:p>","DOI":"10.1007\/s00165-015-0346-y","type":"journal-article","created":{"date-parts":[[2016,1,4]],"date-time":"2016-01-04T12:12:30Z","timestamp":1451909550000},"page":"21-43","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Synthesizing structural and behavioral control for reconfigurations in component-based systems"],"prefix":"10.1145","volume":"28","author":[{"given":"Narges","family":"Khakpour","sequence":"first","affiliation":[{"name":"Department of Computer Science, Linnaeus University, V\u00e4xj\u00f6, Sweden"},{"name":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands"}]},{"given":"Farhad","family":"Arbab","sequence":"additional","affiliation":[{"name":"Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands"},{"name":"CWI, Amsterdam, The Netherlands"}]},{"given":"Eric","family":"Rutten","sequence":"additional","affiliation":[{"name":"INRIA, Grenoble, France"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Autili M Flammini M Inverardi P Navarra A Tivoli M (2006) Synthesis of concurrent and distributed adaptors for component-based systems. In: Third European workshop on software architecture LNCS vol 4344. Springer pp 17\u201332","DOI":"10.1007\/11966104_3"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.04.006"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.767"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2008.02.005"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"crossref","unstructured":"Bouhadiba T Sabah Q Delaval G Rutten \u00c9 (2011) Synchronous control of reconfiguration in fractal component-based systems\u2014a case study. In: Proceedings of the ACM conference on embedded software EMSOFT Taiwan Oct 2011","DOI":"10.1145\/2038642.2038690"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"crossref","unstructured":"Chakrabarti A de Alfaro L Henzinger TA Mang FYC (2002) Synchronous and bidirectional component interfaces. In: Computer aided verification LNCS Copenhagen Denmark vol 2404 pp 414\u2013427","DOI":"10.1007\/3-540-45657-0_34"},{"key":"e_1_2_1_2_7_2","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito N Braberman V A Kramer J Magee J Sykes D Uchitel S (2014) Hope for the best prepare for the worst: multi-tier control for adaptive systems. In: 36th international conference on software engineering ICSE \u201914 pp 688\u2013699","DOI":"10.1145\/2568225.2568264"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-013-0163-5"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","unstructured":"Filieri A Hoffmann H Maggio M (2014) Automated design of self-adaptive software with control-theoretical formal guarantees. In: Proceedings of the 36th international conference on software engineering ICSE 2014. ACM New York pp 299\u2013310","DOI":"10.1145\/2568225.2568272"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","unstructured":"Ghezzi C Greenyer J Manna VPL (2012) Synthesizing dynamically updating controllers from changes in scenario-based specifications. In: 2012 ICSE workshop on Software engineering for adaptive and self-managing systems (SEAMS) pp 145\u2013154","DOI":"10.1109\/SEAMS.2012.6224401"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2010.57"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Gaudin B Nixon P (2012) Supervisory control for software runtime exception avoidance. In: Proceedings of the fifth international C* conference on computer science and software engineering C3S2E \u201912. ACM New York pp 109\u2013112","DOI":"10.1145\/2347583.2347598"},{"key":"e_1_2_1_2_13_2","unstructured":"Graphviz-graph visualization software. http:\/\/www.graphviz.org\/"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","unstructured":"Gaudin B Vassev E I Nixon P Hinchey M (2011) A control theory based approach for self-healing of un-handled runtime exceptions. In: Proceedings of the 8th ACM international conference on Autonomic computing ICAC \u201911. ACM New York pp 217\u2013220","DOI":"10.1145\/1998582.1998633"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"crossref","unstructured":"Heinzemann C Henkler S (2011) Reusing dynamic communication protocols in self-adaptive embedded component architectures. In: Proceedings of the 14th international ACM sigsoft symposium on component based software engineering CBSE \u201911. ACM New York pp 109\u2013118","DOI":"10.1145\/2000229.2000246"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"crossref","unstructured":"Hirsch M Henkler S Giese H (2008) Modeling collaborations with dynamic structural adaptation in mechatronic uml. In: Proceedings of the 2008 international workshop on software engineering for adaptive and self-managing systems SEAMS \u201908. ACM New York pp 33\u201340","DOI":"10.1145\/1370018.1370026"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"crossref","unstructured":"Jobstmann B (2007) Applications and Optimizations for LTL Synthesis. Ph.D. thesis IST\u2014Institute for Software Technology TU Graz","DOI":"10.1109\/FMCAD.2006.22"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"crossref","unstructured":"Khakpour N Arbab F Rutten E (2014) Supervisory controller synthesis for safe software adaptation. In: Proceedings of the 12th IFAC workshop on discrete event systems","DOI":"10.3182\/20140514-3-FR-4046.00035"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"crossref","unstructured":"Kulkarni SS Biyani KN (2004) Correctness of component-based adaptation. In: Component-based software engineering LNCS vol 3054\/2004. Springer pp 48\u201358","DOI":"10.1007\/978-3-540-24774-6_6"},{"key":"e_1_2_1_2_20_2","unstructured":"Koenig B (2004) Analysis and verification of systems with dynamically evolving structure. Ph.D. thesis Universitat Stuttgart"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"crossref","unstructured":"Tivoli M Fradet P Girault A G\u00f6\u00dfler G (2007) Adaptor synthesis for real-time components. In: Tools and algorithms for the construction and analysis of systems LNCS vol 4424. Springer pp 185\u2013200","DOI":"10.1007\/978-3-540-71209-1_16"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"crossref","unstructured":"Winetzhammer S Greenyer J Tichy M (2014) Integrating graph transformations and modal sequence diagrams for specifying structurally dynamic reactive systems. In: Amyot D Fonseca~i Casas P Mussbacher G (eds) System analysis and modeling: models and reusability Lecture notes in computer science vol 8769. Springer International Publishing Berlin pp 126\u2013141","DOI":"10.1007\/978-3-319-11743-0_9"},{"key":"e_1_2_1_2_24_2","doi-asserted-by":"crossref","unstructured":"Zhang J Cheng BHC (2006) Model-based development of dynamically adaptive software. In: Proceedings of the 28th international conference on Software engineering ICSE \u201906. ACM New York pp 371\u2013380","DOI":"10.1145\/1134285.1134337"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00165-015-0346-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00165-015-0346-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-015-0346-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T16:17:05Z","timestamp":1641485825000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-015-0346-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["10.1007\/s00165-015-0346-y"],"URL":"https:\/\/doi.org\/10.1007\/s00165-015-0346-y","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,3]]}}}