Dynamic Software Architectures Verification using DynAlloy (2009)
Antonio Bucchiarone, Juan P. Galeotti, Claudia Ermel, Reiko Heckel, Juan De Lara, Tiziana Margaria, ...
Abstract: Graph Grammars have been often used for modeling dynamic changes in software architectures. In particular, we have previously characterized some classes of dynamicity in terms of particular...
www.elsevier.com/locate/biosystems Two-level evolution of foraging agent communities (2009)
Manuel Alfonseca, Juan De Lara
This paper presents simulation results of artificial foraging agent communities. The goal of each agent in the community is to find food. Once a food source is found, agents eat portions of it and...
Formal Support for Model Driven Development with Graph Transformation Techniques (2009)
Juan De Lara, Escuela Politécnica Superior, Esther Guerra
In this paper we give an overview of our approach for Model Driven Development (MDD), based on graph transformation techniques. In MDD, models are the primary assets in the development process. They...
Metamodel-based definition of interaction with visual environments (2009)
Paolo Bottoni, Esther Guerra, Juan De Lara
Metamodel approaches to building visual environments are becoming common in the field of domain specific visual languages, mainly focusing on the definition of visual editors and of simulation...
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations (2009)
Jordi Cabot, Esther Guerra, Juan De Lara
Abstract. 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...
Jordi Cabot, Esther Guerra, Juan De Lara
Abstract. 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...
Current Issues in Multi-Paradigm Modeling (2009)
Juan De Lara, Tihamér Levendovszky, Pieter J. Mosterman
Abstract. 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...
Juan De Lara, Escuela Politecnica Superior
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed graph transformation...
1 ETS Inform'atica Universidad Aut'onoma de Madrid (2008)
1 Introduction Modelling complex systems is a difficult task, as such systems often have components and aspects whose structure as well as behaviour cannot be described in a single formalism....
Petri Nets and Matrix Graph Grammars: Reachability (2008)
Pedro Pablo, Pérez Velasco, Juan De Lara
Abstract. This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to Petri...
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (2008)
Juan De Lara, Esther Guerra, Hans Vangheluwe, Escuela Politécnica Superior, Ingeniería Informática
Abstract. This position paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are composed by...
Abstract. In this paper we present a new approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of a...
Domain- and formalism-specific modelling have the potential to greatly improve productivity. They are able to exploit features inherent to a specific domain or formalism. This will for example enable...
On the Description of Complex Systems with Multi-View Visual Languages 1. Presentation (2008)
Juan De Lara, Escuela Politécnica Superior
are broadly in the areas of modelling and simulation, domain specific visual languages, and graph transformation. For my PhD thesis (2000) I worked in the design of OOCSMP, an object oriented...
Towards a New Algebraic Approach to Graph Transformation: Long Version (2008)
Pedro Pablo, Pérez Velasco, Juan De Lara, Escuela Politécnica Superior, Ingeniería Informática, Pedro Pablo, ...
This paper presents a new characterization of graph transformation rules for simple digraphs based on boolean matrix algebra. We introduce the concept of coherence, which allows the analysis of...
HIERARCHICAL VISUALIZATION IN A SIMULATION-BASED EDUCATIONAL MULTIMEDIA WEB SYSTEM (2008)
Juan De Lara, Manuel Alfonseca
Keywords: Web-based simulation, distance learning, courseware, electronics, OOCSMP. Abstract: This paper presents a system that generates web documents (courses, presentations or articles) enriched...
Model View Management with Triple Graph Transformation Systems (2008)
Abstract. 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...
Dynamical Object Generation During the Execution of Continuous Simulation Models (2007)
Manuel Alfonseca, Juan De Lara, Estrella Pulido
. This paper describes the OOCMSP language, an object-oriented extension of CSMP, one of the most used continuous simulation languages of the seventies and eighties. The language is especially...
Output visualization modes in a Java generating Continuous Simulation Compiler (2007)
Manuel Alfonseca, Juan De Lara
This paper describes the automatic generation of Simulation Java applets, by means of an object oriented simulation language (called OOCSMP), and a compiler for this language (called COOL). Several...
Universidad Autonoma de Madrid (2007)
Juan De Lara, Manuel Alfonseca
The currently most successful hypermedia system is the World Wide Web (WWW), wich has many advantages on traditional hypertext applications. This has brought around the current proliferation of...
Education in Ecology at the Internet with an Object-Oriented Simulation Language (2007)
Manuel Alfonseca, Rosa Carro, Juan De Lara, Estrella Pulido
This paper describes the procedure we have used to generate semiautomatically a course on Ecology for the high-school level, using an extension of the Volterra equations to describe the interaction...
Teaching Partial Differential Equations trough Internet: an interactive (2007)
Manuel Alfonseca, Juan De Lara, Germán Montoro
approach
In this article we discuss the limitations found in regular programming language types when used in the context of multiparadigm modelling. By multi-paradigm, we mean the combination of...
Universidad Autonoma de Madrid (2007)
Abstract. We introduce ATOM 3, a tool for multi-formalism and metamodelling, which relies on graph-grammars for the denition of transformations between formalisms as well as the specication of...
Automatic Generation of Simulation-Based Web Courses and Model Documentation (2007)
Manuel Alfonseca, Juan De Lara
This paper presents the procedures and tools that we are using to generate fully automatic multimedia Web courses based on simulations. These courses are composed of HTML pages with interactive...
Verifying Model Transformations by Structural Correspondence (2007)
Anantha Narayanan, Gabor Karsai, Claudia Ermel, Reiko Heckel, Juan De Lara, Tiziana Margaria, ...
Abstract: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. We have...
Multipactor Prediction for On-Board Spacecraft RF Equipment with the MEST Software Tool (2006)
Juan De Lara, Francisco Pérez, Manuel Alfonseca, Luis Galán, Isabel Montero, Elisa Román, ...
Abstract—Within the framework of a project sponsored by the European Space Agency (ESA), we have developed a software tool to predict the occurrence of multipactor discharge in a simple radio...
Termination criteria for model transformation (2005)
Hartmut Ehrig, Karsten Ehrig, Juan De Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-gyapay
Abstract. 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...
Termination criteria for model transformation (2005)
Hartmut Ehrig, Karsten Ehrig, Juan De Lara, Gabriele Taentzer, Dániel Varró, Szilvia Varró-gyapay
Abstract. 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...
Attributed Graph Transformation with Node Type Inheritance: Long Version (2005)
Juan De Lara, Roswitha Bardohl, Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer, ...
The aim of this technical report is to integrate typed attributed graph transformation with node type inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the...
S.: Model Transformations by Graph Transformations: A Comparative Study (2005)
Gabriele Taentzer, Karsten Ehrig, Esther Guerra, Juan De Lara, Tihamer Levendovszky, Ulrike Prange, ...
Abstract. Graph transformation has been widely used for expressing model transformations. Especially transformations of visual models can be naturally formulated by graph transformations, since...
Event-Driven Grammars: Towards the Integration of Meta-Modelling and Graph Transformation (2004)
Esther Guerra, Juan De Lara, Escuela Politécnica Superior, Ingeniería Informática
Abstract. 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...
Meta-modelling hybrid formalisms (2004)
Simon Lacoste-julien, Hans Vangheluwe, Juan De Lara, Pieter J. Mosterman
Abstract — This article demonstrates how meta-modelling can simplify the construction of domain- and formalismspecific modelling environments. Using AToM 3 (A Tool for Multi-formalism and...
Meta-modelling and graph grammars for multi-paradigm modelling (2004)
Abstract. 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...
Node Type Inheritance Concept for Typed Graph Transformation (2003)
Roswitha Bardohl, Hartmut Ehrig, Juan De Lara, Olga Runge, Gabi Taentzer, Ingo Weinhold, ...
Visual languages 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...
APPLICATIONS Visual Interactive Simulation for Distance Education (2003)
Juan De Lara, Manuel Alfonseca, Juan De Lara, Manuel Alfonseca
On behalf of:
ATOM 3 : A Tool for Multi-Formalism Modelling and Meta-Modelling (2002)
Abstract. 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...
Using meta-modelling and graph grammars to process GPSS models (2002)
This paper discusses the benefits of combining metamodelling and graph transformations to automatically generate modelling tools for simulation formalisms. In metamodelling, formalisms are modelled...
Processing Causal Block Diagrams with Graph Grammars in AToM 3 (2002)
Ernesto Posse, Juan De Lara, Hans Vangheluwe, Ets Informática
Abstract. AToM 3 is a tool which supports multi-formalism modelling and metamodelling to facilitate computer assisted analysis and design of complex systems. To enable the automatic generation of...
Web-Based Simulation Of Systems Described By Partial Differential Equations (2001)
Manuel Alfonseca, Juan De Lara, Hans Vangheluwe
This paper describes how to take advantage of Internet services and object technology to solve 2D partial differential equations (PDEs) in a distributed manner. This is accomplished by means of a...
Using simulation and virtual reality for distance education. SIIE’2000 (2000)
Juan De Lara, Manuel Alfonseca
Abstract: This paper describes the construction of virtual reality simulations for distance education trough Internet. This is accomplished by means of an object oriented continuous simulation...
Simulating Partial Differential equations in the World-Wide Web (1999)
Juan De Lara, Manuel Alfonseca, Estrella Pulido
This paper describes the extensions we have added to our special-purpose objectoriented continous simulation language (OOCSMP) to solve partial differential equations. We also describe the procedure...
Manuel Alfonseca, Juan De Lara, Estrella Pulido
This paper describes a language designed to write and generate object-oriented simulation code, especially applicable when the model may be decomposed into similar interacting components. The...
Educational Simulation of Complex Ecosystems in the World-Wide Web (1998)
Manuel Alfonseca, Juan De Lara, Estrella Pulido
This paper describes the procedure we have used to generate semiautomatically a course on Ecology for the high-school level, using an extension of the Volterra equations to describe the interaction...