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.
Sismic is a lightweight approach for defining, validating and executing statecharts thanks to an open source API implemented in Python 3
Learn how to model classes (and their logic) in this next chapter of our Executable UML tutorial. Via an illustrative example, you’ll learn all the trade-offs you must consider when identifying, naming and modeling the main concepts of your system.