102 Result(s)
within
Juan de Lara
Computer Science
-
Chapter and Conference Paper
Agent Oriented Simulation with OOCSMP. An Example in Evolutionary Ant Colonies
Agent-based simulation [1] is a powerful and natural way to carry out complex simulation experiments, in which many autonomous and interacting entities take part. The key abstraction in this methodology is the au...
-
Chapter and Conference Paper
AToM3: A Tool for Multi-formalism and Meta-modelling
This article introduces the combined use of multi-formalism modelling and meta-modelling to facilitate computer assisted modelling of complex systems. The approach allows one to model different parts of a system ...
-
Chapter and Conference Paper
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
This paper proposes a Multi-Paradigm approach to the modelling of complex systems. The approach consists of the combination of meta-modelling, multi-formalism modelling, and modelling at multiple levels of abstra...
-
Chapter and Conference Paper
Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation
Visual languages (VLs) play a central role in modelling various system aspects. Besides standard languages like UML, a variety of domain-specific languages exist which are the more used the more tool support i...
-
Chapter and Conference Paper
Automated Model Transformation and Its Validation Using AToM3 and AGG
Complex systems are characterized by components that may have to be described using different notations. For the analysis of such a system, our approach is to transform each component (preserving behaviour) in...
-
Article
Meta-modelling and graph grammars for multi-paradigm modelling in AToM3
This paper presents the combined use of meta-modelling and graph grammars for the generation of visual modelling tools for simulation formalisms. In meta-modelling, formalisms are described at a meta-level. Th...
-
Chapter and Conference Paper
Termination Criteria for Model Transformation
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by its transformati...
-
Chapter and Conference Paper
Model View Management with Triple Graph Transformation Systems
In this paper, we present our approach for model view management in the context of Multi-View Visual Languages (MVVLs). These are made of a number of diagram types (or viewpoints) that can be used for the spec...
-
Chapter and Conference Paper
Matrix Approach to Graph Transformation: Matching and Sequences
In this work we present our approach to (simple di-)graph transformation based on an algebra of boolean matrices. Rules are represented as boolean matrices for nodes and edges and derivations can be efficientl...
-
Article
Event-driven grammars: relating abstract and concrete levels of visual languages
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these grammars may be triggered by user...
-
Chapter and Conference Paper
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
In this paper we propose a method to derive OCL invariants from declarative specifications of model-to-model transformations. In particular we consider two of the most prominent approaches for specifying such ...
-
Chapter and Conference Paper
Pattern-Based Model-to-Model Transformation
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple graphs declaring the allowed o...
-
Chapter and Conference Paper
Analysing Graph Transformation Rules through OCL
In this paper we present an approach to the analysis of graph transformation rules based on an intermediate OCL representation. We translate different semantics of rules into OCL, together with the properties ...
-
Chapter and Conference Paper
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools
The comprehensive use of models in design has created a set of challenges beyond that of supporting one isolated design task. In particular, the need to combine, couple, and integrate models at different level...
-
Chapter and Conference Paper
Ludo: A Case Study for Graph Transformation Tools
In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Tool Contest (see [22]). After summarising the case description, we give an overview of the submitted solutions. In particular, ...
-
Chapter and Conference Paper
Domain Specific Languages with Graphical and Textual Views
We show our approach for the definition of Domain Specific Languages integrating both graphical and textual views. The approach is based on the meta-modelling concepts provided by the AToM3 tool. In this way, the...
-
Chapter and Conference Paper
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph transformation rules. The ap...
-
Chapter and Conference Paper
Formal Foundation for Pattern-Based Modelling
We present a new visual and formal approach to the specification of patterns, supporting pattern analysis and pattern-based model completion. The approach is based on graphs, morphisms and operations from cate...
-
Chapter and Conference Paper
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
There is a growing need to explicitly represent the behavioral semantics of Modeling Languages in a precise way, something especially important in industrial environments in which simulation and verification a...
-
Chapter and Conference Paper
Formal Support for QVT-Relations with Coloured Petri Nets
QVT is the OMG standard language for specifying model-to-model transformations in MDA. Even though it plays a crucial role in model driven development, there are scarce tools supporting the execution of its su...
