An e-graph efficiently represents a congruence relation over many expressions. Although
they were originally developed in the late 1970s for use in automated theorem provers, a …

Model transformations are touted to play a key role in Model Driven Development™.
Although well-established standards for creating metamodels such as the Meta-Object …

Abstract The Model-Driven Architecture is an initiative by the Object Management Group to
automate the generation of platform-specific models from platformindependent models …

Abstract Model transformation lies at the very core of model-driven engineering, and a large
number of model transformation languages and tools have been proposed over the last few …

Graph transformation or graph rewriting has been developed for nearly 50 years and has
become a mature and manifold formal technique. Basically, rewrite rules are used to …

Although security plays an important role in the development of multiagent systems, a
careful analysis of software development processes shows that the definition of security …

Even sophisticated techniques start out from simple ideas. Later, in reply to application
needs or theoretical problems new concepts are introduced and new formalisations …

In this paper we explore the issue of transforming models to models, an essential part of the
OMG's Model Driven Architecture (MDA) vision. Drawing from the literature and our …

In this paper, dynamic meta modeling is proposed as a new approach to the operational
semantics of behavioral UML diagrams. The dynamic meta model extends the well-known …

Embedded systems are often modeled using Matlab's Simulink and Stateflow (MSS), to
simulate plant and controller behavior but these models lack support for formal verification …