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
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
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.