Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
An Adaptive Policy Based Management Framework for Differentiated Services Networks
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Verifying the adaptation behavior of embedded systems
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems
Generic Support for Policy-Based Self-Adaptive Systems
DEXA '06 Proceedings of the 17th International Conference on Database and Expert Systems Applications
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Policy-driven self-management for an automotive middleware
HotAC II Hot Topics in Autonomic Computing on Hot Topics in Autonomic Computing
Safety and Dependability Analysis of Self-Adaptive Systems
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Semantics and expressiveness of ordered SOS
Information and Computation
From model-based design to formal verification of adaptive embedded systems
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Engineering Policy-Based Ubiquitous Systems
The Computer Journal
Route guidance system based on self adaptive multiagent algorithm
ICCCI'11 Proceedings of the Third international conference on Computational collective intelligence: technologies and applications - Volume Part II
Ten years of analyzing actors: Rebeca experience
Formal modeling
Context-based behavioral equivalence of components in self-adaptive systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
Fuzzy cognitive maps for artificial emotions forecasting
Applied Soft Computing
Hi-index | 0.00 |
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for developing and 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 managers and managed actors. Managed actors are dedicated to functional behavior 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., 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. Managers are modeled as meta-actors whose policies are described using an algebra. Managed actors are expressed by an actor model. Furthermore, we provide an operational semantics for PobSAM described using labeled transition systems.