Rewriting logic is a simple computational logic that can naturally express both concurrent
computation and logical deduction with great generality. This paper provides a gentle …

As the complexity and heterogeneity of a system grows, the challenge of specifying,
documenting and synthesizing correct, machine-readable designs increases dramatically …

Embedded systems, with their tight technology integration, and multiple requirements and
stakeholders, are characterized by tightly interrelated processes, information and tools …

The need for real-time collaborative solutions in model-driven engineering has been
increasing over the past years. Conflict-free replicated data types (CRDT) provide scalable …

Software development often involves a set of models defined in different metamodels, each
model capturing a specific view of the system. We call this set a mutlimodel, and its elements …

Within the Model-Driven Engineering paradigm, software development is based on the
definition of models providing different views of the system to be constructed and model …

There are several well established applications of category theory (CT) in theoretical
computer science; typical examples are programming language semantics and concurrency …

In the context of complex system development, heterogeneous modeling responds to the
need to integrate several domains. This need requires the use of the most appropriate …

Abstract Model management is a central activity in Software Engineering. The most
challenging aspect of model management is to keep inter-related models consistent with …

Model-based Systems Engineering (MBSE) advocates the use of models in every stage of
development, leading to large number of models that need coordination, collaboration, and …