Model-driven Security for Cyber-Physical Systems
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.
AI-enhanced Model-driven engineering – Sosym Journal Special Issue
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...
Incremental verification of software models
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.
Temporal Models on Time Series Databases
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.
Low-code vs model-driven: are they the same?
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.
Towards the Optical Character Recognition of DSLs
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.
Automatic Generation of Workflow-Aware Domain Models
A lightweight approach to generate domain models that automatically respect and enforce your business process definition
MDENet: The expert network for Model-Driven Engineering
We are pleased to announce the creation of a new expert network on Model-Driven Engineering. With initial funding from the Engineering and Physical Sciences Research Council in the United Kingdom, MDENet brings together research and practice, in the UK and...
PapyGame – Let’s play modeling
PapyGame is an initiative to gamify the process of learning modeling. It’s a gamified version of Papyrus that instructors can use to easily create new modeling games to help students learning any specific modeling aspect.
A Modeling Editor and Code Generator for event-driven architectures with AsyncAPI
AsyncAPI allows you to define Message-Driven APIs in a machine-readable format. Our AsyncAPI toolkit helps you to model and create AsyncAPI specifications and automatically generate code from them.
Opportunities in Intelligent Modeling Assistance
We present a conceptual reference framework to identify the foundations for intelligent modeling assistance as well as the open challenges and the opportunities they bring to the modeling world.
Modeling: all you need to know
