Abstract | ||
---|---|---|
Runtime configuration validation is a critical requirement if we are to build reliable self-adaptive systems. This paper describes a model-based approach that supports runtime validation of candidate configurations. The approach is based on MeCSV, a metamodel we propose, that allows a technologyneutral specification of systems' configurations and validity constraints. A constraint-checker relying on this specification verifies dynamically candidate configurations before their deployment. Experimental results with a messaging platform show viable validation overhead demonstrating the feasibility of the approach. |
Year | Venue | Keywords |
---|---|---|
2013 | Integrated Network Management | formal specification,formal verification,message passing,middleware,self-adjusting systems,MeCSV,constraint checker,dynamically verifies,messaging platform,metamodel,model-based approach,reliable self-adaptive system,runtime configuration validation,self-configurable system,system configurations,technology-neutral specification,validation overhead,validity constraint |
Field | DocType | ISBN |
Middleware,Software deployment,Computer science,Configurable systems,Formal specification,Runtime verification,Message passing,Metamodeling,Distributed computing,Formal verification | Conference | 978-1-4673-5229-1 |
Citations | PageRank | References |
0 | 0.34 | 6 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ludi Akue | 1 | 0 | 0.34 |
Emmanuel Lavinal | 2 | 42 | 8.53 |
Thierry Desprats | 3 | 71 | 16.66 |
Michelle Sibilla | 4 | 29 | 9.07 |