K. Altmanninger and A. Pierantonio, A categorization for conflicts in model versioning. e & i Elektrotechnik und Informationstechnik, vol.128, pp.421-426, 2011.

K. Altmanninger, M. Seidl, and M. Wimmer, A survey on model versioning approaches, International Journal of Web Information Systems, vol.5, pp.271-304, 2009.

I. Bayley and H. Zhu, Formal specification of the variants and behavioural features of design patterns, Journal of Systems and Software, vol.83, pp.209-221, 2010.

L. Bettini, Implementing domain-specific languages with Xtext and Xtend, 2016.

P. Brosch, G. Kappel, P. Langer, M. Seidl, K. Wieland et al., An introduction to model versioning, International School on Formal Methods for the Design of Computer, Communication and Software Systems, pp.336-398, 2012.

P. Brosch, H. Kargl, P. Langer, M. Seidl, K. Wieland et al., Conflicts as first-class entities: a UML profile for model versioning, International Conference on Model Driven Engineering Languages and Systems, pp.184-193, 2010.

P. Brosch, M. Seidl, and M. Widl, Semantics-Aware Versioning Challenge: Merging Sequence Diagrams along with State Machine Diagrams, Softwaretechnik-Trends, vol.33, pp.84-86, 2013.

A. Cicchetti, D. D. Ruscio, and A. Pierantonio, Managing model conflicts in distributed development, International Conference on Model Driven Engineering Languages and Systems, pp.311-325, 2008.

T. Clark, OCL Pattern Matching, OCL Workshop @ MoDELS, ser. CEUR Workshop Proceedings, vol.1092, pp.33-42, 2013.

H. K. Dam, A. Egyed, M. Winikoff, A. Reder, and R. E. Lopez-herrejon, Consistent merging of model versions, Journal of Systems and Software, vol.112, issue.1, pp.137-155, 2016.

M. Franzago, D. D. Ruscio, I. Malavolta, and H. Muccini, Collaborative model-driven software engineering: a classification framework and a research map, IEEE Transactions on Software Engineering, vol.44, pp.1146-1175, 2017.

D. Jordan, J. Evdemon, A. Alves, A. Arkin, S. Askary et al., Web services business process execution language version 2.0, OASIS standard, vol.11, p.5, 2007.

F. Jouault, O. Beaudoux, and M. Brun, Towards functional model transformations with ocl, International Conference on Theory and Practice of Model Transformations, pp.111-120, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01179294

N. Kanagasabai, O. Alam, and J. Kienzle, Towards online collaborative multi-view modelling, International Conference on System Analysis and Modeling, pp.202-218, 2018.

S. Dimitris, R. Kolovos, and . Paige, The epsilon pattern language, International Workshop on Modelling in Software Engineering (MiSE). IEEE, pp.54-60, 2017.

L. Mandel and M. Victoria-cengarle, On the Expressive Power of OCL, FM'99 -Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, vol.1708, pp.854-874, 1999.

C. Masson, J. Corley, and E. Syriani, Feature Model for Collaborative Modeling Environments, MODELS, pp.164-173, 2017.

T. Mens, A state-of-the-art survey on software merging, IEEE Transactions on Software Engineering, vol.28, pp.449-462, 2002.

T. Mens, G. Taentzer, and O. Runge, Detecting Structural Refactoring Conflicts Using Critical Pair Analysis, Electronic Notes in Theoretical Computer Science, vol.127, pp.113-128, 2005.

, Object Constraint Language (OCL) Specification, 2014.

D. S. Richard-f-paige, . Kolovos, M. Louis, N. Rose, F. A. Drivalos et al., The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering (14th IEEE International Conference on Engineering of Complex Computer Systems), pp.162-171, 2009.

S. Pérez-soler, E. Guerra, J. De, and L. , Collaborative modeling and group decision making using chatbots in social networks, IEEE Software, vol.35, pp.48-54, 2018.

H. Radke, T. Arendt, J. S. Becker, A. Habel, and G. Taentzer, Translating essential OCL invariants to nested graph constraints for generating instances of meta-models, Science of Computer Programming, vol.152, pp.38-62, 2018.

S. Ram and V. Ramesh, Collaborative Conceptual Schema Design: A Process Model and Prototype System, ACM Trans. Inf. Syst, vol.16, issue.4, pp.347-371, 1998.

A. Rouhi and B. Zamani, Towards a formal model of patterns and pattern languages, Information and Software Technology, vol.79, pp.1-16, 2016.

F. Sepehr and D. Materassi, Blind Learning of Tree Network Topologies in the Presence of Hidden Nodes, IEEE Trans. Automat. Control, 2019.

M. Sharbaf and B. Zamani, A UML profile for modeling the conflicts in model merging, International Conference on Knowledge-Based Engineering and Innovation (KBEI), pp.197-0202, 2017.

M. Sharbaf and B. Zamani, Configurable Three-way Model Merging. Software: Practice and Experience, vol.50, pp.1565-1599, 2020.

M. Sharbaf, B. Zamani, and B. Ladani, Towards automatic generation of formal specifications for UML consistency verification, International Conference on Knowledge-Based Engineering and Innovation (KBEI), pp.860-865, 2015.

G. Sunyé, Model Consistency for Distributed Collaborative Modeling, Modelling Foundations and Applications -13th European Conference, vol.10376, pp.197-212, 2017.

G. Sunyé, D. Pollet, Y. L. Traon, and J. Jézéquel, Refactoring UML Models, «UML» 2001 -The Unified Modeling Language, Modeling Languages, Concepts, and Tools, 4th International Conference, vol.2185, pp.134-148, 2001.

J. Whitehead, Collaboration in software engineering: A roadmap, Future of Software Engineering (FOSE'07), pp.214-225, 2007.

H. Zhu, On the theoretical foundation of meta-modelling in graphically extended BNF and first order logic, International Symposium on Theoretical Aspects of Software Engineering, pp.95-104, 2010.

H. Zhu and L. Shan, Well-formedness, consistency and completeness of graphic models, 9th UKSim-AMSS International Conference on Computer Modelling and Simulation, pp.47-53, 2006.