PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems

Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani and MohammadReza Mousavi. Proceedings of Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS 2009), Eindhoven, The Netherlands, Electronic Notes in Theoretical Computer Science, Elsevier, November 2009.

Abstract

In this paper, we present a formal model named PobSAM (Policy-based Self-Adaptive Model) for modeling self-adaptive systems. In this model, policies are used as a mechanism to direct and adapt the behavior of self-adaptive systems. A PobSAM model consists of a set of self-managed modules(SMM). An SMM is a collection of autonomous manager agents and managed actors. Managed actors are dedicated to functional behavior while autonomous manager agents 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., dynamic policies are used to govern and adapt system behavior. We employ the combination of an algebraic formalism and an actor-based model to specify this model formally. Manager agents are modeled using an algebra while managed actors are expressed by an actor model. Furthermore, we provide an operational semantics for PobSAM described using labeled transition systems.

@InProceedings{MousaviFMICS09,
    author      = " and Mousavi, MohammadReza",
    title       = "{PobSAM}: Policy-based Managing of Actors in Self-Adaptive Systems",
    booktitle   = "Proceedings of Proceedings of the 6th International Workshop on Formal Aspects of Component Software ({FACS} 2009)",
    series      = "Electronic Notes in Theoretical Computer Science",
    address     = "Eindhoven, The Netherlands",
    publisher  = "Elsevier Science B.V.",
    year        = "2009"
}

Back to Publications Page