Domain-Specific Modelling for Human-Computer Interaction

  title={Domain-Specific Modelling for Human-Computer Interaction},
  author={Simon Van Mierlo and Yentl Van Tendeloo and Bart Meyers and Hans Vangheluwe},
  booktitle={Handbook of Formal Methods in Human-Computer Interaction},
Model-driven engineering (MDE) is an important enabler in the development of complex, reactive, often real-time, and software-intensive systems, as it shifts the level of specification from computing concepts (the “how”) to conceptual models or abstractions in the problem domain (the “what”). Domain-specific modelling (DSM) in particular allows to specify these models in a domain-specific modelling language (DSML), using concepts and notations of a specific domain. It allows the use of a custom… 
Concrete syntax: a multi-paradigm modelling approach
This paper presents a framework that explicitly models the bi-directional mapping between the abstract and concrete syntax, thereby making these restrictions easy to overcome.
A Modelled Visual Multi-Paradigm Modelling and Enactment Environment for Workflow Modelling
This thesis realizes the semantics of a PM using Statecharts Class-diagram (SCCD) formalism, which facilitates the specification of dynamic-structure systems that are timed, autonomous and reactive.
Unifying Model- and Screen Sharing
  • Yentl Van Tendeloo, H. Vangheluwe
  • Computer Science
    2018 IEEE 27th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)
  • 2018
This work presents a unifying framework integrating both types of collaboration, based on the different collaboration needs between modellers: screenshare and modelshare, similar to the existing framework for concrete syntax, reusing existing modelling tool infrastructure.
Design Ontology Supporting Model-based Systems-engineering Formalisms
An ontology based upon graphs, objects, points, properties, roles, and relationships with entensions (GOPPRRE), providing meta models that support the various lifecycle stages of MBSE formalisms and demonstrates that the proposed ontology supports both formal structures and the descriptive logic of the systems engineering lifecycle.
Debugging of Model Transformations and Contracts in SyVOLT
Techniques built into the analysis, monitoring, and reporting stages of the SyVOLT tool include detection of invalid rules and contracts, a form of reachability analysis during state-space generation, and assisting the user in understanding why a contract fails to be satisfied.
Research on Business-oriented Smart Grid Asset Information Modeling Technology
A meta-model of asset information modeling language is proposed and a modeling tool is implemented, which can be used to model and edit asset account specifications for business personnel and is easy for experts in the field of asset management to understand and use.


A methodology for the development of complex domain specific languages
The main goal of this thesis is tackling the domain of interactive systems and applying a DSML-based workflow which leads from a system specification to the prototyping of a Graphical User Interface.
A Multi-Paradigm Modelling Approach for the Engineering of Modelling Languages
The solution is a tool that supports language engineers in modelling domain-specific modelling languages (DSMLs) in a more structured way, and investigates the composition of one, yet common, way of describing semantics, leading to the next research question.
A multi-paradigm foundation for model transformation language engineering
T-Core, a collection of transformation language primitives for model transformation, is introduced and the notion of exception handling in model transformation is explored to strengthen the robustness and dependability of the software built using this technology.
Towards domain-specific property languages: the ProMoBox approach
Traditional Domain-Specific Modeling Languages for design are extended with ProMoBox, a language family comprising three DSMLs covering design, property specification, and verification results, and temporal properties can be described for finite-state systems and verified by the SPIN model checker.
ProMoBox: A Framework for Generating Domain-Specific Property Languages
The ProMoBox framework consists of generic languages for modelling properties and representing verification results, a fully automated method to specialize and integrate these generic languages to a given DSM language, and a verification backbone based model checking directly plug-able to DSM environments.
Semantic Adaptation for Models of Computation
Through the example of a power window system, this article presents an approach to the specification of the semantic adaptation of data, time and control between models of computation.
A Visual Specification Language for Model-to-Model Transformations
This paper presents a visual, formal, declarative specification language to express model-to-model transformations and their correctness properties and provides a compilation of specifications into OCL as this has many practical applications, e.g. it allows injecting assertions and correctness properties for automated testing of transformation implementations based on OMG standards.
Foundations of Modelling and Simulation of Complex Systems
  • H. Vangheluwe
  • Computer Science
    Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
  • 2008
In this paper, the basic concepts of modelling and simulation are introduced and it will be shown how different formalisms all share a common structure and differ in the choice of time base, state space, and description of temporal evolution.
A framework for modeling and implementing visual notations with applications to software engineering
A framework for modeling visual notations and for generating the corresponding visual programming environments is presented, which has been used to model several diagrammatic notations used in software development methodologies, including those of the Unified Modeling Language.
Automated verification of model transformations based on visual contracts
A declarative language for the specification of visual contracts is proposed, enabling the verification of transformations defined with any transformation language, i.e., irrespective of the actual transformation language used.