Digital Twins have emerged since the beginning of this millennium to better support the
management of systems based on (real-time) data collected in different parts of the …

Microservices are quite widely impacting on the software industry in recent years. Rapid
evolution and continuous deployment represent specific benefits of microservice-based …

Even with the help of powerful metamodeling frameworks, the development of domain-
specific graphical modeling tools is usually a complex, repetitive, and tedious task, which …

Blockchain provides an immutable distributed ledger for storing transactions. One of the
challenges of blockchain is the particular processing of dynamic queries due to …

Assurance cases are used to demonstrate confidence in properties of interest for a system,
eg For safety or security. A model-based assurance case seeks to bring the benefits of …

As with other software development artifacts, model transformations are not bug-free and so
must be systematically verified. Their nature, however, means that transformations require …

During the development of large software-intensive systems, developers use several
modeling languages and tools to describe a system from different viewpoints. Model-driven …

Semantic Web Services are a promising combination of Semantic Web and Web service
technology, aiming at providing means of automatically executing, discovering and …

Abstract The Object Constraint Language (OCL) substantially enriches modeling languages
like UML, MOF or EMF with respect to formulating meaningful model properties. In model …

Model comparison has been widely used to support many tasks in model-driven software
development. For this reason, many techniques of comparing them have been proposed in …