INNoVaServ is a modeling toolkit to support all modeling tasks part of Service Design. INNoVaServ facilitates the creation of technological bridges among modeling notations such as BPMN, e3, business model canvas,…
Industrial IoT (IIoT) architectures are typically distributed and asynchronous with event-driven communication, e.g. based on the publication (and corresponding subscription) of messages. These asynchronous architectures enhance scalability and tolerance to changes,...
JetUML lets you quickly sketch informal UML diagrams that you can easily integrate in other documents. Use the full power of UML only when you really need it.
Now announcing new PhD and Postdoc opportunities to join our team
Model-driven development has become a leading paradigm for developing CPS because it enables the developer to verify safety requirements in early development phases and refine the models into an implementation preserving the verified requirements.
After witnessing the growing interest in the combination of AI and Model-driven engineering (see for instance our MDE Intelligence workshops at Models but similar workshops have popped up in other conferences, like ER , as well), we are now organizing the special...
If we want software verification techniques to be more adopted in the industry, we need to move to incremental verification approaches, where we reuse previous analysis to avoid reevaluating the whole model every time it is modified.
We explore the benefits of using time-series databases to store models data. Thanks to this we can now query historical model information and perform advanced time-series analysis on it, especially useful when dealing with run-time models.
I don’t see any significant technical novelty in the low-code movement. But I do not see this as being negative. More the opposite. Read why I think the low-code movement represents a great opportunity for the modeling community.
We propose a few techniques to improve the quality of OCR over DSLs. The key idea is to use information about the DSL specification (e.g. lexicon, grammar) itself to drive the recognition process.
A lightweight approach to generate domain models that automatically respect and enforce your business process definition