Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Conflict analysis for management policies
Proceedings of the fifth IFIP/IEEE international symposium on Integrated network management V : integrated management in a virtual world: integrated management in a virtual world
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Dynamic Conflict Detection in Policy-Based Management Systems
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Finite State Transducers for Policy Evaluation and Conflict Resolution
POLICY '04 Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks
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
POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
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
Modere: the model-checking engine of Rebeca
Proceedings of the 2006 ACM symposium on Applied computing
Modeling and Verification of Reactive Systems using Rebeca
Fundamenta Informaticae
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
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
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
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Journal of Systems and Software
Hi-index | 0.00 |
PobSAM is a flexible actor-based model with formal foundation for model-based development of self-adaptive systems. In PobSAM policies are used to control and adapt the system behavior, and allow us to decouple the adaptation concerns from the application code. In this paper, we use the actor-based language Rebeca to model check PobSAM models. Since policies are used to govern the system behavior, it is required to verify if the governing policies are enforced correctly. To this aim, we present a new generic classification of the policy conflicts and provide temporal patterns expressed in LTL to detect each class of conflicts. Moreover, we propose LTL patterns for checking the correctness of adaptation. An approach based on static analysis of adaptation policies is presented to check the system stability as well.