Categorical Mechanisms in Multi-level Modeling Methods

This book is the result of my research, under the supervision of o. Univ.-Prof. Prof. h.c. Dr. Dimitris Karagiannis, from the University of Vienna, in order to complete my PhD thesis. My work focused on finding theoretical and practical mechanisms to ensure the optimal methodological construction of modeling tools. Following the research carried out in the literature from the domain of metamodeling mechanisms and technologies that support the formalization and implementation of modeling methods, we found that concerns in this domain are quite rare. Therefore, the importance of developing domain specific modeling tools associated with the lack of satisfactory concerns in the domain, the remarkable expressiveness of categorical mechanisms in specifying models associated with their insuficient use in the mathematical formalization of metamodels, platform dependence in implementing modeling tools, make up the main motivation of this work.

The author of this book has worked for over 15 years in the field of software application development and design. He is currently an assistant professor with the Department of Computers and Electrical Engineering of the Lucian Blaga University in Sibiu, where he was involved in various research projects. The author’s main concerns are in the fields of Technologies for the development of software applications, Modeling, Diagrammatic modeling languages, Design and development of modeling tools.