| dc.contributor.author | Fleurey, Franck | |
| dc.date.accessioned | 2017-02-09T14:53:32Z | |
| dc.date.available | 2017-02-09T14:53:32Z | |
| dc.date.created | 2015-09-24T20:23:51Z | |
| dc.date.issued | 2009 | |
| dc.identifier.citation | Models in Software Engineering, Workshops and Symposia at MODELS 2008 | nb_NO |
| dc.identifier.isbn | 9783642016479 | |
| dc.identifier.uri | http://hdl.handle.net/11250/2430207 | |
| dc.description.abstract | This paper discusses preliminary work on modeling and validation dynamic adaptation. The proposed approach is on the use of aspect-oriented modeling (AOM) and models at runtime. Our approach covers design and runtime phases. At design-time, a base model and different variant architecture models are designed and the adaptation model is built. Crucially, the adaptation model includes invariant properties and constraints that allow the validation of the adaptation rules before execution. During runtime, the adaptation model is processed to produce a correct system configuration that can be executed. | |
| dc.description.abstract | Modeling and Validating Dynamic Adaptation | |
| dc.language.iso | eng | nb_NO |
| dc.relation.ispartof | Models in Software Engineering, Workshops and Symposia at MODELS 2008 | |
| dc.title | Modeling and Validating Dynamic Adaptation | nb_NO |
| dc.type | Chapter | nb_NO |
| dc.source.pagenumber | 97-108 | nb_NO |
| dc.identifier.cristin | 1272239 | |
| cristin.unitcode | 7401,90,12,0 | |
| cristin.unitname | Nettbaserte systemer og tjenester | |
| cristin.ispublished | true | |
| cristin.fulltext | postprint | |
| cristin.qualitycode | 1 | |
