Statecharts: A visual formalism for complex systems
Science of Computer Programming
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Domain-Specific Modeling
Grammar-driven generation of domain-specific language debuggers
Software—Practice & Experience
Integrating Performance Analysis in the Model Driven Development of Software Product Lines
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automating Co-evolution in Model-Driven Engineering
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
The Palladio component model for model-driven performance prediction
Journal of Systems and Software
Introducing the VMTS Mobile Toolkit
Applications of Graph Transformations with Industrial Relevance
Qos-driven runtime adaptation of service oriented architectures
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Model Transformation by Demonstration
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Qos architectural patterns for self-architecting software systems
Proceedings of the 7th international conference on Autonomic computing
Modular synthesis of mobile device applications from domain-specific models
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
Domain-specific templates for refinement transformations
Proceedings of the First International Workshop on Model-Driven Interoperability
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Application of advanced model-driven techniques in performance engineering
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Debugging in domain-specific modelling
SLE'10 Proceedings of the Third international conference on Software language engineering
Domain-specific engineering of domain-specific languages
Proceedings of the 10th Workshop on Domain-Specific Modeling
Hi-index | 0.00 |
Domain-specific modelling reduces the gap between problem domain and solution domain. It supports modelling using constructs familiar to experts of a specific domain. Domain-specific models (DSms) are (semi)automatically transformed to various lower-level artifacts, including configuration files, documentation and executable programs. Although various aspects of model-driven development have been investigated, such as model versioning, debugging and transformation, relatively not much attention has been paid to formalise how artifacts are synthesised from DSms. State-of-the-art approaches rely on ad hoc coded generators that essentially use modelling tool APIs to programmatically iterate through internal representations of DSm entities to produce target-platform artifacts. In this work, we propose a more structured approach to artifact generation, where layered model transformations are used to modularly isolate, compile and re-combine various concerns within DSms, while maintaining traceability links between corresponding constructs at different levels of abstraction. We study and demonstrate how our approach simplifies addressing non-functional requirements (e.g., timing and resource utilisation constraints) of modern embedded systems. This is achieved through the modular synthesis of performance models from DSms. We illustrate our work by means of the synthesis of fully functional Google Android applications, performance predictions, simulations and performance measurement facilities from DSms of mobile phone applications.