Understanding Model Quality Concerns When Using Process Models in an Industrial Company
Modelling has been used as a general technique in many companies for the last decades. Some already started using...
Towards Metamodelling-In-The-Large: Interface-Based Composition for Modular Metamodel Development
Modelling language engineering approaches based on metamodelling provide powerful concepts to define metamodels, pivotal constructs for language definition. With...
Towards Static Analysis of Executable DSMLs Using Model Typing
Executable domain-specific modeling languages (xDSMLs) are enriched with sufficient details which allows their direct execution. An important challenge hampering...
Real-Time Design Patterns: Architectural Designs for Automatic Semi-Partitioned and Global Scheduling
The scheduling problem is becoming an important topic for different fields especially for Real-Time applications. Considering the complexity of...
A Generic Traceability Framework for Model Composition Operation
In order to handle complexity, model driven engineering aims at building systems by developing several models, where each model...
A Workaround Design System for Anticipating, Designing, and/or Preventing Workarounds
Idealized system design produces requirements reflecting management intentions and “best practices.” This paper proposes a workaround design system (WDS)...
An Evaluation of an Enhanced Model Driven Approach for Computer Game Creation
Various game authoring tools have been used to ease the game creation. However, these pre-defined tools may not be...
Enabling Self-adaptive Workflows for Cyber-physical Systems
The ongoing development of Internet of Things technologies leads to the interweaving of the virtual world of software with...
Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes
Business processes are usually designed by means of imperative languages to model the acceptable execution of the activities performed...
Applying Predicate Abstraction to Abstract State Machines
Abstract State Machines (ASMs) represent a general model of computation which subsumes all other classic computational models. Since the...
