A Model-driven Migration Approach among Cloud Providers
ARGON helps you to define your cloud infrastructure provisioning (via its own DSL) and, based on that, automate the migration process from one cloud provider to the other
Validating Large Models with Mogwaï
Validate efficiently large models using OCL rewriting techniques and optimized database query generation using the Mogwaï tool.
Expressing Confidence in Models and Model Transformation
Models need to represent the reality as accurately as possible. Nevertheless, complex systems are subject to uncertainty something difficult to express with plain UML. We propose a way to represent uncertainty on software models. Our uncertainty values can then be propagated through model transformations to evaluate the impact on other parts of the system.
Robust Hashing for Models
We present a novel robust hashing mechanism for models. Robust hashing algorithms (i.e. hashing algorithms that generate similar outputs from similar input data) are useful as a key building block in intellectual property protection, authenticity assessment and fast comparison and retrieval solutions
Enabling Performance Modeling for the Masses: Initial Experiences
We automate the creation of performance models out of standard design models. Such performance models can be automatically solved to evaluate performance aspects early in the development process
Towards a Language Server Protocol Infrastructure for Graphical Modeling
LSP (Language Server Protocol) facilitates the development of IDEs but so far only language server for textual languages are supported. Read our proposal to adapt LSP for graphical lenguages
Modeling: all you need to know
