TY - GEN
T1 - PobSAM : policy-based managing of actors in self-adaptive systems
AU - Khakpour, N.
AU - Jalili, S.
AU - Talcott, C.
AU - Sirjani, M.
AU - Mousavi, M.R.
PY - 2010
Y1 - 2010
N2 - In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modelingself-adaptive systems. In this model, policies are used as a mechanism to direct and adapt the behaviorof self-adaptive systems. A PobSAM model consists of a set of self-managed modules(SMM). An SMMis a collection of autonomous managers and managed actors. Managed actors are dedicated to functionalbehavior while autonomous managers govern the behavior of managed actors by enforcing suitable policies.To adapt SMM behavior in response to changes, policies governing an SMM are adjusted, i.e., dynamicpolicies are used to govern and adapt system behavior. We employ the combination of an algebraic formalismand an actor-based model to specify this model formally. Managers are modeled as meta-actors whosepolicies are described using an algebra. Managed actors are expressed by an actor model. Furthermore, weprovide an operational semantics for PobSAM described using labeled transition systems.
Keywords: Adaptive systems; Policy-based Computing; Component-based Design; Algebra; Actor Models.
AB - In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modelingself-adaptive systems. In this model, policies are used as a mechanism to direct and adapt the behaviorof self-adaptive systems. A PobSAM model consists of a set of self-managed modules(SMM). An SMMis a collection of autonomous managers and managed actors. Managed actors are dedicated to functionalbehavior while autonomous managers govern the behavior of managed actors by enforcing suitable policies.To adapt SMM behavior in response to changes, policies governing an SMM are adjusted, i.e., dynamicpolicies are used to govern and adapt system behavior. We employ the combination of an algebraic formalismand an actor-based model to specify this model formally. Managers are modeled as meta-actors whosepolicies are described using an algebra. Managed actors are expressed by an actor model. Furthermore, weprovide an operational semantics for PobSAM described using labeled transition systems.
Keywords: Adaptive systems; Policy-based Computing; Component-based Design; Algebra; Actor Models.
U2 - 10.1016/j.entcs.2010.05.008
DO - 10.1016/j.entcs.2010.05.008
M3 - Conference contribution
T3 - Electronic Notes in Theoretical Computer Science
SP - 129
EP - 143
BT - Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS'09, Eindhoven, The Netherlands, November 2-3, 2009)
A2 - Sun, M.
A2 - Schätz, B.
ER -