A Methodology for Verifying Refinements of Partial Models

Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny
2015 Journal of Object Technology  
Models are typically used for expressing information that is known at a particular stage in the software development process. Yet, it is also important to express what information a modeler is still uncertain about and to ensure that model refinements actually reduce this uncertainty. Furthermore, when a refining transformation is applied to a model containing uncertainty, it is natural to consider the effect that the transformation has on the level of uncertainty, e.g., whether it always
more » ... her it always reduces it. In our previous work, we have presented a general approach for precisely expressing uncertainty within models. In this paper, we use these foundations and define formal conditions for uncertainty reducing refinement between individual models and within model transformations. We describe tooling for automating the verification of these conditions within transformations and describe its application to example transformations.
doi:10.5381/jot.2015.14.3.a3 fatcat:wso4hliccbh4pkuq7rzuj5uqeu