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 …

Metamodeling is foundational to many modeling frameworks, and so it is important to
formalize and reason about it. Ideally, correctness proofs and test-case generation on the …

This paper introduces a formal approach to constraint-aware model transformation which
supports specifying constraints in the definition of transformation rules. These constraints are …

Rewriting logic is an executable logical framework well suited for the semantic definition of
languages. Any such framework has to be judged by its effectiveness to bridge the existing …

Critical and distributed systems need to be reliable and comply with the required
performance at run-time. In this vein, data distribution service for real-time systems (DDS) …

Software models are the core development artifact in model-based engineering (MBE). The
MBE paradigm promotes the use of software models to describe structure and behavior of …

In large-scale collaborative environments, data interoperability faces challenges due to
varying data standards, differences in time and space, and rising demands for data services …

With the growing importance of modeling in software engineering and knowledge
engineering, and the accelerating convergence of these two disciplines through the …

Graph transformation is being increasingly used to express the semantics of domain-specific
visual languages since its graphical nature makes rules intuitive. However, many application …

Design and development of complex software systems usually comprises multiple inter-
related models, ie abstract representations of certain aspects of the underlying system. The …