Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Talk "On Modeling Software Engineering Models' Intentions with Institutions"

by Mohamed Bettaz

Tue, 05 September 2017 at 09:00 am in Berlin, Germany

Joint work with: Mourad Maouche

Abstract: Institution theory is a categorical approach to abstract model theory free of commitment to any particular logical system. As regards to modeling, institution theoretic thinking contributed to a better understanding of various modeling concepts, and permitted the elaboration of satisfactory answers to questions raised by the semantic correctness of model transformation. In the context of intentional modeling, intention sharing is relevant to model transformation and to answering the crucial question of when a model of a system view can be used to represent a model of a different view. The objective of this paper is twofold: First, show how to represent sharing of intentions in a uniform way using an institutional theoretic approach; second, show how to capture the consistency of such a sharing, answering by the way the upper asked question. Our approach is illustrated by a case study using the Model Driven Architecture approach. The underlying motivation is to contribute to the effort aiming at a better understanding of the concepts of modeling and model transformation conducted by the concerned community. Keywords: model driven architecture; model driven engineering methodolgy; intentional modeling; categories; institutions