Approaches to Identify Object Correspondences Between Source Models and Their View Models

Model-based collaborative development of embedded, complex and safety critical systems has increased in the last few years. Several subcontractors, vendors and development teams integrate their models and components to develop complex systems. Thus, the protection of confidentiality and integrity of design artifacts is required. In practice, each collaborator obtains a filtered local copy of the source model (called view model) containing only those model elements which they are allowed to read. Write access control policies are checked upon submitting model changes back to the source model. In this context, it is a crucial task to properly identify that which element in the view model is associated to which element in the source model. In this paper, we overview the approaches to identify correspondences between objects in the filtered views and source models. We collect pros and cons against each approach. Finally, we illustrate the approaches on a case-study extracted from the MONDO EU project

Secure Views for Collaborative Modeling

Model-based systems engineering necessitates effective collaboration between different collaborators, teams, and stakeholders. Traditional approaches used for managing concurrent code-based development do not naturally extend to collaborative modeling, which implies novel challenges. We present a collaborative modeling framework that provides secure views with precisely defined model access to each collaborator by rule-based model-level access control policies

Property-Based Methods for Collaborative Model Development

Industrial applications of mo del-driven engineering to de- velop large and complex systems resulted in an increasing demand for collab oration features. However, use cases such as mo del di�erencing and merging have turned out to b e a di�cult challenge, due to (i) the graph- like nature of mo dels, and (ii) the complexity of certain op erations (e.g. hierarchy refactoring) that are common to day. In the pap er, we present a novel search-based automated mo del merge approach where rule-based design space exploration is used to search the space of solution candi- dates that represent con�ict-free merged mo dels. Our metho d also allows engineers to easily incorp orate domain-sp eci�c knowledge into the merge pro cess to provide b etter solutions. The merge pro cess automatically cal- culates multiple merge candidates to b e presented to domain exp erts for �nal selection. Furthermore, we prop ose to adopt a generic synthetic b enchmark to carry out an initial scalability assessment for mo del merge with large mo dels and large change sets

Query-based access control for secure collaborative modeling using bidirectional transformations

Large-scale model-driven system engineering projects are carried out collaboratively. Engineering artifacts stored in model repositories are developed in either offline (checkout-modify-commit) or online (GoogleDoc-style) scenarios. Complex systems frequently integrate models and components developed by different teams, vendors and suppliers. Thus confidentiality and integrity of design artifacts need to be protected by access control policies. We propose a technique for secure collaborative modeling where (1) fine-grained access control for models can be defined by model queries, and (2) such access control policies are strictly enforced by bidirectional model transformations. Each collaborator obtains a filtered local copy of the model containing only those model elements which they are allowed to read; write access control policies are checked on the server upon submitting model changes. We illustrate the approach and carry out an initial scalability assessment using a case study of the MONDO EU project