https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3AFormal_modeling_of_evolving_self-adaptive_systems 2026-05-21T04:08:17Z Revision history for this page on the wiki MediaWiki 1.22.6 https://wiki.hh.se/ceres/index.php?title=Publications:Formal_modeling_of_evolving_self-adaptive_systems&diff=4128&oldid=prev 2014-06-26T03:43:33Z

<p>Created page with &quot;&lt;div style=&#039;display: none&#039;&gt; == Do not edit this section == &lt;/div&gt; {{PublicationSetupTemplate|Author=Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani, Mohammad Re...&quot;</p> <p><b>New page</b></p><div>&lt;div style='display: none'&gt;<br /> == Do not edit this section ==<br /> &lt;/div&gt;<br /> {{PublicationSetupTemplate|Author=Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani, Mohammad Reza Mousavi<br /> |PID=583415<br /> |Name=Khakpour, Narges (Tarbiat Modares University, Tehran, Iran);Jalili, Saeed (SRI International, Menlo Park, CA, United States);Talcott, Carolyn (Reykjavík University, Reykjavík, Iceland);Sirjani, Marjan (University of Tehran and IPM, Tehran, Iran);Mousavi, Mohammad Reza [mohmou] (Eindhoven University of Technology, Eindhoven, Netherlands)<br /> |Title=Formal modeling of evolving self-adaptive systems<br /> |PublicationType=Journal Paper<br /> |ContentType=Refereegranskat<br /> |Language=eng<br /> |Journal=Science of Computer Programming<br /> |JournalISSN=0167-6423<br /> |Status=published<br /> |Volume=78<br /> |Issue=1<br /> |HostPublication=<br /> |Conference=<br /> |StartPage=3<br /> |EndPage=26<br /> |Year=2012<br /> |Edition=<br /> |Pages=<br /> |City=Amsterdam<br /> |Publisher=Elsevier<br /> |Series=<br /> |SeriesISSN=<br /> |ISBN=<br /> |Urls=<br /> |ISRN=<br /> |DOI=http://dx.doi.org/10.1016/j.scico.2011.09.004<br /> |ISI=000310125400002<br /> |PMID=<br /> |ScopusId=2-s2.0-84866410297<br /> |NBN=urn:nbn:se:hh:diva-20321<br /> |LocalId=<br /> |ArchiveNumber=<br /> |Keywords=<br /> |Categories=Data- och informationsvetenskap (102)<br /> |ResearchSubjects=<br /> |Projects=<br /> |Notes=<br /> |Abstract=&lt;p&gt;In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for developing and modeling self-adaptive evolving systems. In this model, policies are used as a mechanism to direct and adapt the behavior of self-adaptive systems. A PobSAM model is a collection of autonomous managers and managed actors. The managed actors are dedicated to the functional behavior while the autonomous managers govern the behavior of managed actors by enforcing suitable policies. A manager has a set of configurations including two types of policies: governing policies and adaptation policies. To adapt the system behavior in response to the changes, the managers switch among different configurations. We employ the combination of an algebraic formalism and an actor-based model to specify this model formally. Managed actors are expressed by an actor model. Managers are modeled as meta-actors whose configurations are described using a multi-sorted algebra called CA. We provide an operational semantics for PobSAM using labeled transition systems. Furthermore, we provide behavioral equivalence of different sorts of CA in terms of splitting bisimulation and prioritized splitting bisimulation. Equivalent managers send the same set of messages to the actors. Using our behavioral equivalence theory, we can prove that the overall behavior of the system is preserved by substituting a manager by an equivalent one. © 2011 Elsevier B.V. All rights reserved.&lt;/p&gt;<br /> |Opponents=<br /> |Supervisors=<br /> |Examiners=<br /> |Patent=<br /> |ThesisLevel=<br /> |Credits=<br /> |Programme=<br /> |Subject=<br /> |Uppsok=<br /> |DefencePlace=<br /> |DefenceLanguage=<br /> |DefenceDate=<br /> |CreatedDate=2013-01-08<br /> |PublicationDate=2013-01-08<br /> |LastUpdated=2013-01-10<br /> |diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&amp;pid=diva2:583415}}<br /> &lt;div style='display: none'&gt;<br /> <br /> == Keep all hand-made modifications below ==<br /> &lt;/div&gt;{{PublicationDisplayTemplate}}</div>

Slawek