UbiCompForAll banner

A Developer-Friendly Approach for the Validation of Dynamic Compositions
A major challenge of dynamic composition is to find ways to model components and analyze their composition in order to guaran- tee that the composition is free from interaction errors and deadlocks. Existing techniques for validation typically require expert knowledge in formal modelling and reasoning, and do not lend themselves to be used at runtime. However, we find that a coarse-grained description of a com- position can be sufficient to ensure the consistency of compositions and to detect potential deadlocks. Our approach requires software developers to specify component models from which the properties needed for vali- dation at runtime can be derived, and to perform some well-formedness and compliancy checks at design time. The new development tasks are integrated in a UML-based development process using concepts that de- velopers are familiar with. The assessment of the approach indicates that developers with ordinary modelling skills are able to detect problems in composition at an early stage, and thereby design safe systems in an efficient manner.

Floch Jacqueline, Carrez Cyril (2011). A Developer-Friendly Approach for the Validation of Dynamic Compositions. System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers. (s. 18-35). Heidelberg Dordrecht London New York: Springer.

Link to the full paper: http://dx.doi.org/10.1007/978-3-642-21652-7_2

Published October 4, 2010

© UbiCompForAll | Jacqueline Floch