Combining Techniques to Verify Service-based Components - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Combining Techniques to Verify Service-based Components


Early verification is essential in model-driven development because late error detection involves a costly correction and approval process. Modelling real life systems covers three aspects of a system (structure, dynamics and functions) and one verification technique is not sufficient to check the properties related to these aspects. Considering Service-based Component Models, we propose a unifying schema called multi-level contracts that enables a combination of verification techniques (model checking, theorem proving and model testing) to cover the V&V requirements. This proposal is illustrated using the Kmelia language and its COSTO tool.
Fichier principal
Vignette du fichier
aam_amaretto2017-submission.pdf (861.17 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01628303 , version 1 (03-11-2017)



Pascal Andre, Christian Attiogbe, Jean-Marie Mottu. Combining Techniques to Verify Service-based Components. MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development , Feb 2017, Porto, Portugal. pp.645 - 656, ⟨10.5220/0006212106450656⟩. ⟨hal-01628303⟩
201 View
156 Download



Gmail Facebook X LinkedIn More