Specifying dynamic and deonitc integrity constraints
Data & Knowledge Engineering
Categorical semantics of parallel program design
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Advances in exception handling techniques
Advances in exception handling techniques
Sharing Actions and Attributes in Modal Action Logic
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
A Specification Language for Static, Dynamic and Deontic Integrity Constraints
MFDBS '89 Proceedings of the 2nd Symposium on Mathematical Fundamentals of Database Systems
The Prescription and Description of State Based Systems
Temporal Logic in Specification
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
A fault-tolerant software architecture for COTS-based software systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Advanced Systems Design with Java, UML and MDA
Advanced Systems Design with Java, UML and MDA
Self-healing by means of automatic workarounds
Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems
Incorporating fault tolerance tactics in software architecture patterns
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Methods, Models and Tools for Fault Tolerance
On specifying systems that connect to the physical world
Proceedings of the 2006 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fifth SoMeT_06
A pattern-based approach for modeling and analyzing error recovery
Architecting dependable systems IV
A complete and compact propositional deontic logic
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
dCTL: a branching time temporal logic for fault-tolerant system verification
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Analysing monitoring and switching problems for adaptive systems
Journal of Systems and Software
Model checking propositional deontic temporal logic via a μ-calculus characterization
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Representing dynamic pluggable software units
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |
In this paper we describe initial ideas about modeling and analyzing fault tolerance mechanisms in self managed/self healing systems. Specifications are component based, with coordination mechanisms for building systems from components. A modal action logic is augmented with deontic operators to describe normal vs abnormal behaviours. Fault tolerance mechanisms can be specified in terms of the kind of abnormality encountered and the desired recovery route. Abstract programming models can be systematically constructed from the specifications in LTSA, a finite state, process algebra based modeling tool. LTSA then enables us to check that various properties do or do not hold for the specified fault tolerance mechanisms.