Henning Berg's research while affiliated with University of Oslo and other places

Publications (10)

Conference Paper
In order to be able to specialise metamodels and thereby enhance reusability of metamodels, we introduce the notions of metamodel types and subtypes. Model-driven engineering considers models and metamodels as first-class entities, however, there has not been much work on how to type models or metamodels. In this paper we discuss how a metamodel ca...
Conference Paper
Metamodels are important artefacts in Model-Driven Engineering. Composition and adaptation of metamodels have been studied thoroughly during the last decade. However, there are still challenges concerning how to co-evolve modelling artefacts as metamodels are changed. Specifically, conformant models will no longer be valid instances of their change...
Conference Paper
Supporting adaptation of metamodels is essential for realising Model-Driven Engineering. However, adapting and changing metamodels impact other artefacts of the metamodelling ecosystem. In particular, conformant models will no longer be valid instances of their changed metamodel. This gives rise to co-evolution issues where metamodels and models ar...
Conference Paper
Several metamodel composition mechanisms have been proposed during the course of the last decade. However, most of the composition mechanisms do not consider existing models or other artefacts like editors, transformations and semantics which are defined relatively to a metamodel. Consequently, the models and the artefacts typically become invalid...
Article
An essential operation in model-driven engineering is composition of models and their metamodels. There exist several mechanisms for model composition. However, most of these only consider composition of either models or metamodels and not both kinds of models simultaneously, and do not address how the composition impacts modelling artefacts like e...
Article
In model-driven engineering, models are considered first-class entities. Model-driven engineering has been around for over a decade. Still, there has not been much work on how to type models or metamodels, which is important to realise true model-driven software development. In this paper, we discuss how a metamodel can be typed by means of an encl...
Conference Paper
Metamodel composition is a central operation in model-driven engineering approaches. Composition of metamodels is not trivial. The essence of the problem is that metamodels are not defined as reusable artefacts. Moreover, most composition mechanisms focus on the structural aspects of metamodels without considering how metamodels may be composed sem...
Conference Paper
Full-text available
Composition of models is a key operation in model-driven engineering where it is used for, e.g., elaborating models with additional concepts, acquiring a holistic system view, or making model variants. However, there are few state-of-the-art composition mechanisms that support type-safe symmetric composition of metamodels and their behavioural sema...
Article
Full-text available
Domain-Specific Languages (DSLs) allow modelling concerns at a high abstraction level. This simplifies the modelling process and ensures that non-technical stakeholders can be more closely involved in software development. However, in-creasing the abstraction level causes details of the problem domain to be excluded from the problem space. In some...
Article
Full-text available
Programming languages provide users with a rich palette of advanced mechanisms. Languages for metamodelling, on the other hand, usually provide simple mechanisms for making class models, i.e. classes with relations like specialisation, composition and associations. A metamodel defines the abstract syntax (and to some degree semantics) of Domain Spe...

Citations

... This can end up creating massive metamodels that are difficult to navigate and apply during modeling. This notion of type has led to a number of works in metamodeling that apply formal semantics from programming languages, which attempt to manage this process [10][11][12]. Composition of type entities can then lead to new types without extending the base metamodel. Composition of different metamodels can lead to modeling tool interoperability [20], which speaks to the need to create small compact metamodels for particular modeling efforts and "-ilities" associated with them. ...
... It semi-automatically generates transformation with the help of AtlanMod matching language. Yu et al. [21] proposed a framework for metamodel which is based on formal analysis for composition and adaptation. The framework is able to explore and evolve metamodel based on certain strategies. ...
... This can end up creating massive metamodels that are difficult to navigate and apply during modeling. This notion of type has led to a number of works in metamodeling that apply formal semantics from programming languages, which attempt to manage this process [10][11][12]. Composition of type entities can then lead to new types without extending the base metamodel. Composition of different metamodels can lead to modeling tool interoperability [20], which speaks to the need to create small compact metamodels for particular modeling efforts and "-ilities" associated with them. ...
... This can end up creating massive metamodels that are difficult to navigate and apply during modeling. This notion of type has led to a number of works in metamodeling that apply formal semantics from programming languages, which attempt to manage this process [10][11][12]. Composition of type entities can then lead to new types without extending the base metamodel. Composition of different metamodels can lead to modeling tool interoperability [20], which speaks to the need to create small compact metamodels for particular modeling efforts and "-ilities" associated with them. ...