Supporting Incremental Synchronization in Hybrid Multi-view Modelling
Multi-view modelling is a widely accepted technique to reduce the complexity in the development of modern software systems. It allows developers to focus on a narrowed portion of the specification dealing with a selected aspect of the problem. However, multi-view modelling support discloses a number of issues mainly due to consistency management, expressiveness, and customization needs. A possible solution to alleviate those problems is to adopt a hybrid solution for multi-view modelling based on an arbitrary number of custom views defined on top of an underlying modelling language. In this way it is possible to benefit from the consistency by-construction granted by well-formed views while at the same time providing malleable perspectives through which the system under development can be specified. In this respect, this paper presents an approach for supporting synchronization mechanism based on model differences in hybrid multi-view modelling. Model differences allow to focus only on the manipulations operated by the user in a particular view, and to propagate them to the other views in a incremental way thus reducing the overhead of a complete recomputation of modified models.
KeywordsMulti-view modelling separation of concerns model-driven engineering model synchronization higher-order model transformation
Unable to display preview. Download preview PDF.
- 3.Chechik, M., Lai, W., Nejati, S., Cabot, J., Diskin, Z., Easterbrook, S., Sabetzadeh, M., Salay, R.: Relationship-based change propagation: A case study. In: MISE 2009, pp. 7–12. IEEE CS, Washington, DC (2009)Google Scholar
- 4.Cicchetti, A., Ciccozzi, F., Krekola, M., Mazzini, S., Panunzio, M., Puri, S., Santamaria, C., Vardanega, T., Zovi, A.: CHESS Tool presentation. In: 1st TOPCASED Days, Toulouse (2011)Google Scholar
- 6.Cicchetti, A., Ciccozzi, F., Leveque, T.: A hybrid approach for multi-view modeling. Electronic Communications of the EASST 10 (2011), to appear in the Proceedings of the 5th International Workshop on Multi-Paradigm Modeling (MPM)Google Scholar
- 7.Cicchetti, A., Ciccozzi, F., Leveque, T., Sentilles, S.: Evolution management of extra-functional properties in component-based embedded systems. In: The 14th Int’l ACM SIGSOFT Symposium on Component Based Software Engineering (2011)Google Scholar
- 9.Del Fabro, M.D., Bézivin, J., Jouault, F., Breton, E., Gueltas, G.: AMW: a Generic Model Weaver. In: Procs. of IDM 2005 (2005)Google Scholar
- 11.ISO/IEC/(IEEE): ISO/IEC 42010 (IEEE Std) 1471-2000 : Systems and Software engineering - Recommended practice for architectural description of software-intensive systems (2007)Google Scholar
- 12.Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: An analysis of approaches to support model differencing. In: Procs. of the ICSE Workshop on Comparison and Versioning of Software Models (CVSM 2009), pp. 1–6. IEEE Computer Society, Washington, DC (2009)CrossRefGoogle Scholar
- 13.Miotto, E., Vardanega, T.: On the integration of domain-specific and scientific bodies of knowledge in model driven engineering. In: Procs. of STANDRTS 2009, Dublin, Ireland (2009)Google Scholar
- 14.Nassar, M.: VUML : a Viewpoint oriented UML Extension. In: Procs. of ASE 2003, pp. 373–376. IEEE Computer Society (2003)Google Scholar
- 15.Romero, J.R., Jaen, J.I., Vallecillo, A.: Realizing correspondences in multi-viewpoint specifications. In: Procs. of the 13th IEEE EDOC, Auckland, New Zealand, September 1-4, pp. 163–172. IEEE CS (2009)Google Scholar
- 17.Vangheluwe, H.L.M.: DEVS as a Common Denominator for Multi-formalism Hybrid Systems Modelling, pp. 129–134 (2000)Google Scholar