DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment

Lamo, Yngve; Wang, Xiaoliang; Mantz, Florian; MacCaull, Wendy; Rutle, Adrian

doi:10.1007/978-3-642-30454-5_3

Cited by 14 publications

(14 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We plan to extend our formalism with support for composition of behavioural models with structural models, as found in [16]. As a proof of concept, the proposed approach will be implemented as a plugin to the DPF Workbench [19], a workbench that supports multi-level, diagrammatic (meta)modelling. …”

Section: Discussionmentioning

confidence: 99%

“…In fact, constructing an instance editor from a model is analogous to constructing a model editor from a metamodel since a metamodel is just a model that has the role of being a metamodel wrt. models defined by the associated model editor [19]. In this way we can construct a metamodelling hierarchy in which a model at any level can be considered a metamodel wrt.…”

Section: Metamodellingmentioning

confidence: 99%

See 1 more Smart Citation

A metamodelling approach to behavioural modelling

Rutle

MacCaull

Wang

et al. 2012

Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications

Self Cite

View full text Add to dashboard Cite

In this paper we propose a metamodelling approach to behavioural modelling. The approach combines diagrammatic modelling with formal foundations based on category theory and graph transformations. The static semantics of behavioural models is represented by instances of (meta)models, while their dynamic semantics is represented by transition systems. Transitions are described by coupled model transformations. To illustrate the approach, we present a running example of a workflow model for health services delivery.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Metamodellingmentioning

confidence: 99%

A metamodelling approach to behavioural modelling

Rutle

MacCaull

Wang

et al. 2012

Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications

Self Cite

View full text Add to dashboard Cite

show abstract

“…Their approach is extending the Diagram Predicate Framework (DPF) [109], a tool that allows the definition of metamodels and models using diagrammatic specifications and constraints. In order to support model completion, the framework was extended with the notion of completion rules.…”

Section: Partial Modelsmentioning

confidence: 99%

Type Inference in Flexible Model-Driven Engineering

Zolotas

Matragkas

Devlin

et al. 2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Model-driven Engineering (MDE) is an approach to software development that promises increased productivity and product quality. Domain models that conform to metamodels, both of which are the core artefacts in MDE approaches, are manipulated to perform different development processes using specific MDE tools.However, domain experts, who have detailed domain knowledge, typically lack the technical expertise to transfer this knowledge using MDE tools. Flexible or bottom-up Model-driven Engineering is an emerging approach to domain and systems modelling that tackles this challenge by promoting the use of simple drawing tools to increase the involvement of domain experts in MDE processes. In this approach, no metamodel is created upfront but instead the process starts with the definition of example models that will be used to infer a draft metamodel. When complete knowledge of the domain is acquired, a final metamodel is devised and a transition to traditional MDE approaches is possible. However, the lack of a metamodel that encodes the semantics of conforming models and of tools that impose these semantics bears some drawbacks, among others that of having models with nodes that are unintentionally left untyped. In this thesis we propose the use of approaches that use algorithms from three different research areas, that of classification algorithms, constraint programming and graph similarity to help with the type inference of such untyped nodes. We perform an evaluation of the proposed approaches in a number of randomly generated example models from 10 different domains with results suggesting that the approaches could be used for type inference both in an automatic or a semi-automatic style. 3For my parents Despoina and Michalis

show abstract

“…The conformance of models to metamodels is formalized and checked in the DPF Workbench by validating both typing and diagrammatic constraints. The DPF specification editor was presented for the first time in [20]. Later, in [21], the DPF specification editor was extended with an editor for creating diagrammatic signatures facilitating the definition of userdefined predicates.…”

Section: Introductionmentioning

confidence: 99%

“…The DPF specification editor was presented for the first time in [20]. Later, in [21], the DPF specification editor was extended with an editor for creating diagrammatic signatures facilitating the definition of userdefined predicates. In this paper we combine the functionality from the specification and signature editors with the newly added code generation functionality, which is an important step on the way to make a complete MDE workbench.…”

Section: Introductionmentioning

confidence: 99%

DPF Workbench: a multi-level language workbench for MDE

Lamo¹,

Wang²,

Mantz³

et al. 2013

Proc. Estonian Acad. Sci.

View full text Add to dashboard Cite

This paper presents the DPF Workbench, a language workbench for (meta)modelling and code generation. The DPF Workbench includes a graphical specification editor for the Diagram Predicate Framework (DPF), which provides a graph-based formalization of (meta)modelling and model transformation. The tool offers functionality for fully diagrammatic specifications of domain-specific modelling languages. Moreover, the DPF Workbench supports the development of metamodelling hierarchies with an arbitrary number of metalevels; i.e. each model at a metalevel can be used as a metamodel for the metalevel below. The DPF Workbench facilitates the generation of domain-specific diagrammatic editors out of these metamodels. The conformance relations between adjacent metalevels are checked using typing morphisms and validation of diagrammatic constraints. In addition, the DPF Workbench provides a signature editor for the definition of software constraints and their corresponding validators. The code generator is a newly added component that facilitates the generation of software from models defined in the DPF Workbench. The features of the DPF Workbench are illustrated by a running example presenting a metamodelling hierarchy for business process modelling and sketching how these models can be transformed to programs by the code generation facility.

show abstract

DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment

Cited by 14 publications

References 7 publications

A metamodelling approach to behavioural modelling

A metamodelling approach to behavioural modelling

Type Inference in Flexible Model-Driven Engineering

DPF Workbench: a multi-level language workbench for MDE

Contact Info

Product

Resources

About