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
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
Current ECAD tools are expensive, complex to use and rely on proprietary exchange formats. We propose to leverage an existing modeling standard like SysML to build a better (and cheaper) ECAD solution with a focus on the design of electrical cables.
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
We explain why you should think about learning ANTLR to generate your future parsers and what are the best resources for that
Read about our access-control mechanisms for models. We rely on a new domain-specific language tailored to the definition of RBAC rules on models and on its enforcement thanks to the automatic generation of security compliant (virtual) views.
Defining the right constraints for any system is a challenging task that risks over-constraining or under-constraining the data. Our method helps designers to find the proper constraints by automatically mutating them to fit the sample data
We propose a model-based approach to compose data-driven REST APIs. Our approach creates a global API exposing a unified data model. This global model is exposed as an OData service
We propose to employ graph kernels for clustering software modeling artifacts. Among other benefits, this would improve the efficiency and usability of a variety of software modeling activities, e.g., design space exploration, testing or verification and validation.
Washing symbols are a universal way to quickly explain key properties of a piece of cloth and how you should handle it. A similar approach for models would help designers to understand the context, goal, quality,… of a model they just ran into.
Sismic is a lightweight approach for defining, validating and executing statecharts thanks to an open source API implemented in Python 3