A Framework for Multi-view Reconciliation and for Medical Devices Personalization

摘要

Software product family approaches have found broad adoption in the embedded systems industry, where systems are modelled from several views such as the software view and the hardware view. A view uses the feature perceived only from the view's perspective. For example, from a hardware view we perceive only the hardware features. Generating the feasible products of the considered family from these views and the constraints imposed on them is called view reconciliation. The paper presents a mathematical framework to reason on view reconciliation. It articulates this process as a product of sets of product families. We give the conditions under which the product forms a direct product. We also demonstrate that (multi-) view reconciliation is an operation that is indifferent to the order of integrating the views. Finally, we show that personalizing medical devices is a simple view reconciliation operation that gives a direct-product allowing, using projections, the retrieval of any of the involved views from the conciliated view.