Verification of an alternating bit protocol by means of process algebra
Proceedings of the International Spring School on Mathematical method of specification and synthesis of software systems '85
The Evolving Philosophers Problem: Dynamic Change Management
IEEE Transactions on Software Engineering
Dynamic structure in software architectures
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
An Architecture for the Effective Support of Adaptive Context-Aware Applications
MDM '01 Proceedings of the Second International Conference on Mobile Data Management
A Hierarchic Architecture Model for Dynamic Reconfiguration
PDSE '97 Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
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 Framework for Network Services Management
Journal of Network and Systems Management
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A survey of self-management in dynamic software architecture specifications
WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems
Specifying adaptation semantics
WADS '05 Proceedings of the 2005 workshop on Architecting dependable 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
Policy-based Coordination in PAGODA: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Policy-driven self-management for an automotive middleware
HotAC II Hot Topics in Autonomic Computing on Hot Topics in Autonomic Computing
Connector Rewriting with High-Level Replacement Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Time-bounded adaptation for automotive system software
Proceedings of the 30th international conference on Software engineering
Assurance of dynamic adaptation in distributed systems
Journal of Parallel and Distributed Computing
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Software Engineering for Self-Adaptive Systems
Software Engineering for Self-Adaptive Systems
Modeling Dimensions of Self-Adaptive Software Systems
Software Engineering for Self-Adaptive Systems
Formalizing Adaptation On-the-Fly
Electronic Notes in Theoretical Computer Science (ENTCS)
Coordination Models Based on a Formal Model of Distributed Object Reflection
Electronic Notes in Theoretical Computer Science (ENTCS)
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
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering Policy-Based Ubiquitous Systems
The Computer Journal
Formal analysis and verification of self-healing systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Model theory for process algebra
Processes, Terms and Cycles
Actors, roles and coordinators — a coordination model for open distributed and embedded systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A framework for policy driven auto-adaptive systems using dynamic framed aspects
Transactions on Aspect-Oriented Software Development II
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Ten years of analyzing actors: Rebeca experience
Formal modeling
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
Modeling adaptation with Klaim
ACM SIGAPP Applied Computing Review
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 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.