Abstract | ||
---|---|---|
This paper introduces a theory of fault recovery for component-based models. In our framework, a model is specified in terms of a set of atomic components that are incrementally composed and synchronized by a set of glue operators. We define what it means for such models to provide a recovery mechanism, so that the model converges to its normal behavior in the presence of faults. We identify corrector (atomic or composite) components whose presence in a model is essential to guarantee recovery after the occurrence of faults. We also formalize component-based models that effectively separate recovery from functional concerns. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-33536-5_31 | SSS'12 Proceedings of the 14th international conference on Stabilization, Safety, and Security of Distributed Systems |
Keywords | DocType | ISSN |
component-based model,formalize component-based model,functional concern,recovery mechanism,fault-tolerance,corrector component identification,fault tolerant computing,glue operators,corrector component,model converges,component-based,separate recovery,bip,atomic component,recovery,recovery task,system recovery,fault recovery,glue operator,composite component,equivalent model,object-oriented programming,separation of concerns,normal behavior,modularity,component based model formalization,component-based models,fault recovery theory,formal specification,synchronisation,fault tolerance,context modeling,computational modeling,object oriented programming,bismuth,semantics | Conference | 1060-9857 |
Citations | PageRank | References |
4 | 0.38 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Borzoo Bonakdarpour | 1 | 490 | 45.02 |
Marius Bozga | 2 | 2100 | 127.83 |
Gregor Goessler | 3 | 66 | 4.25 |