Abstract In this paper we show our approach to the automatic generation of modelling environments... more Abstract In this paper we show our approach to the automatic generation of modelling environments for Visual Languages (VLs) supporting multiple views. The approach is based on the metamodelling tool AToM 3. Starting from a metamodel description of the VL and its ...
Proceedings of the 35th Conference on Winter Simulation Driving Innovation, Dec 7, 2003
Page 1. Proceedings of the 2003 Winter Simulation Conference S. Chick, PJ Sánchez, D. Ferrin, and... more Page 1. Proceedings of the 2003 Winter Simulation Conference S. Chick, PJ Sánchez, D. Ferrin, and DJ Morrice, eds. A META-THEORETIC APPROACH TO MODELING AND SIMULATION Mamadou K. Traoré LIMOS CNRS ...
Las gramáticas de grafos triples fueron propuestas por Andy Schürr con el objetivo de reescribir ... more Las gramáticas de grafos triples fueron propuestas por Andy Schürr con el objetivo de reescribir grafos triples . Sonútiles para mantener relaciones entre dos modelos que se están manipulando. Este documento presenta una formalización de las gramáticas de grafos triples basada en el enfoque algebraico Double Pushout. Comenzaremos definiendo un grafo triple en base al concepto de E − graf o propuesto en , el cual nos permite tener atributos en nodos y relaciones. A continuación usaremos los resultados obtenidos en , donde las categorías y los sistemas de reemplazo de alto nivel (HLR) adhesivos se utilizan como marco para la transformación de grafos. De este modo, la mayoría de los resultados obtenidos para la categoría de los grafos pueden ser extrapolados y aplicados a cualquier categoría HLR adhesiva. Por esta razón nuestra formalización demuestra que grafos triples y morfismos de grafo triples son una categoría HLR adhesiva, demostrando para ello que grafos triples y morfismos de grafo triples son isomorfos a una categoría coma. Además, extendemos la noción de regla de gramática de grafos triple con condiciones de aplicación, y con un concepto de herencia similar al propuesto en , pero permitiendo también herencia en relaciones.
This paper presents the procedures, tools and techniques that we use to teach partial differentia... more This paper presents the procedures, tools and techniques that we use to teach partial differential equations through Internet. This is accomplished by means of an object oriented continuous simulation language called OOCSMP, a compiler (C-OOL) that is able to generate Java applets, and a tool (MGEN) that allows the student to interact with the problem, design the geometry, discretize it, declare equations, conditions, etc. Different interaction levels can be set by the teacher, allowing the student to change only some aspects of the problem definition.
Graph transformation has been widely used for expressing model transformations. Especially transf... more Graph transformation has been widely used for expressing model transformations. Especially transformations of visual models can be naturally formulated by graph transformations, since graphs are well suited to describe the underlying structures of models. Based on a com-mon sample model transformation, four different model transformation approaches are presented which all perform graph transformations. At first, a basic solution is presented and crucial points of model transforma-tions are indicated. Subsequent solutions focus mainly on the indicated problems. Finally, a first comparison of the chosen approaches to model transformation is presented where the main ingredients of each approach are summarized.
In this paper we propose a method to derive OCL invariants from declar- ative model-to-model tran... more In this paper we propose a method to derive OCL invariants from declar- ative model-to-model transformations in order to enable their veriflcation and analysis. For this purpose we have deflned a number of invariant-based veriflcation properties which provide increasing degrees of confldence about transformation correctness, such as whether a rule (or the whole transfor- mation) is satisflable by some model,
Journal of Logical and Algebraic Methods in Programming, 2014
Esta es la versión de autor del artículo publicado en: This is an author produced version of a pa... more Esta es la versión de autor del artículo publicado en: This is an author produced version of a paper published in:
The comprehensive use of models in design has created a set of challenges beyond that of supporti... more 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 levels of abstraction and in different formalisms is posing a set of specific problems that the field of Computer Automated Multi-Paradigm Modeling (CAMPaM) is aiming to address. This paper summarizes the results of the 2nd Workshop on Multi-Paradigm Modeling: Concepts and Tools.
Abstract. In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Too... more Abstract. 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, we propose a num-ber of dimensions along which choices had to ...
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement - ESEM '08, 2008
Universidad Autónoma de Madrid Universidad San Pablo-CEU Universidad Autónoma de Madrid 28049 Mad... more Universidad Autónoma de Madrid Universidad San Pablo-CEU Universidad Autónoma de Madrid 28049 Madrid, Spain +34 91 4972275 28668 Madrid, Spain +34 91 3726435 28049 Madrid, Spain +34 91 4972277 ... ABSTRACT This paper analyses the relationships between ...
Revista Española de Cardiología (English Edition), 2006
Planning cardiology provision in Spain requires knowledge of the resources available and the dema... more Planning cardiology provision in Spain requires knowledge of the resources available and the demand, both now and in the future. In this report, we present the results of a study carried out by the Spanish Society of Cardiology on the availability of and demand for cardiologists in the country. The current situation is characterized by an imbalance of around 14% between the number of active cardiologists and the estimated number required. The demographic distribution of cardiologists shows that they are predominantly male and middle-aged. Expectations are that the situation will get worse until the year 2020. To correct this imbalance, alternative forms of training or clinical department organization, or both, are required. Some possible alternatives are presented in the final part of this document, as proposals for open discussion.
... One exception is the SDMetric tool (SDMetric), which allows the definition of metrics for UML... more ... One exception is the SDMetric tool (SDMetric), which allows the definition of metrics for UML models using a relational-like language based on XML. In ATHENA (Tsalidis et al., 1992) the set of predefined metrics can be extended by using a textual language. ...
Model-to-model (M2M) transformation consists in transforming models from a source to a target lan... more Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a declarative and relational style with a formal underpinning able to show properties of the transformation. Pattern-based transformation is an algebraic, bidirectional, and relational approach to M2M transformation. Specifications are made of patterns stating the allowed or forbidden relations between source and target models, and then compiled into low level operational mechanisms to perform source-to-target or target-to-source transformations. In this paper, we study the compilation into operational triple graph grammar rules and show: (i) correctness of the compilation of a specification without negative patterns; (ii) termination of the rules, and (iii) completeness, as each generated model from the specification can be built by the rules.
... 1 Escuela Politécnica Superior Ingenierıa Informática Universidad Autónoma de Madrid (Juan.La... more ... 1 Escuela Politécnica Superior Ingenierıa Informática Universidad Autónoma de Madrid (Juan.Lara,Esther.Guerra Sanchez)@ii.uam.es 2 School of Computer ... The user can spec-ify the CTL formula in two ways: graphically (drawing the graph of the CTL formula using the meta ...
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling - MPM '12, 2012
Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produc... more Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produced version of a paper published in:
Lecture Notes in Business Information Processing, 2008
This paper shows our model-driven approach for the formal construction and validation of Digital ... more This paper shows our model-driven approach for the formal construction and validation of Digital Libraries (DLs). We have defined a Domain Specific Visual Language (DSVL) called VisMODLE, which allows the description of a DL using five different viewpoints: services, behaviour, collections, structure and society. From a meta-model based description of the different viewpoints, we have generated a modelling environment for VisMODLE. We have provided the environment with a code generator that produces XUL code for the DL's user interface and composes the application using predefined components that implement the different services. Moreover, we have also added validation and simulation capabilities to the environment. Using the behavioural models (state-machine based), we can visually animate the system. In addition, the combined behaviour of actors and services can be transformed into a Petri net for further analysis.
Abstract In this paper we show our approach to the automatic generation of modelling environments... more Abstract In this paper we show our approach to the automatic generation of modelling environments for Visual Languages (VLs) supporting multiple views. The approach is based on the metamodelling tool AToM 3. Starting from a metamodel description of the VL and its ...
Proceedings of the 35th Conference on Winter Simulation Driving Innovation, Dec 7, 2003
Page 1. Proceedings of the 2003 Winter Simulation Conference S. Chick, PJ Sánchez, D. Ferrin, and... more Page 1. Proceedings of the 2003 Winter Simulation Conference S. Chick, PJ Sánchez, D. Ferrin, and DJ Morrice, eds. A META-THEORETIC APPROACH TO MODELING AND SIMULATION Mamadou K. Traoré LIMOS CNRS ...
Las gramáticas de grafos triples fueron propuestas por Andy Schürr con el objetivo de reescribir ... more Las gramáticas de grafos triples fueron propuestas por Andy Schürr con el objetivo de reescribir grafos triples . Sonútiles para mantener relaciones entre dos modelos que se están manipulando. Este documento presenta una formalización de las gramáticas de grafos triples basada en el enfoque algebraico Double Pushout. Comenzaremos definiendo un grafo triple en base al concepto de E − graf o propuesto en , el cual nos permite tener atributos en nodos y relaciones. A continuación usaremos los resultados obtenidos en , donde las categorías y los sistemas de reemplazo de alto nivel (HLR) adhesivos se utilizan como marco para la transformación de grafos. De este modo, la mayoría de los resultados obtenidos para la categoría de los grafos pueden ser extrapolados y aplicados a cualquier categoría HLR adhesiva. Por esta razón nuestra formalización demuestra que grafos triples y morfismos de grafo triples son una categoría HLR adhesiva, demostrando para ello que grafos triples y morfismos de grafo triples son isomorfos a una categoría coma. Además, extendemos la noción de regla de gramática de grafos triple con condiciones de aplicación, y con un concepto de herencia similar al propuesto en , pero permitiendo también herencia en relaciones.
This paper presents the procedures, tools and techniques that we use to teach partial differentia... more This paper presents the procedures, tools and techniques that we use to teach partial differential equations through Internet. This is accomplished by means of an object oriented continuous simulation language called OOCSMP, a compiler (C-OOL) that is able to generate Java applets, and a tool (MGEN) that allows the student to interact with the problem, design the geometry, discretize it, declare equations, conditions, etc. Different interaction levels can be set by the teacher, allowing the student to change only some aspects of the problem definition.
Graph transformation has been widely used for expressing model transformations. Especially transf... more Graph transformation has been widely used for expressing model transformations. Especially transformations of visual models can be naturally formulated by graph transformations, since graphs are well suited to describe the underlying structures of models. Based on a com-mon sample model transformation, four different model transformation approaches are presented which all perform graph transformations. At first, a basic solution is presented and crucial points of model transforma-tions are indicated. Subsequent solutions focus mainly on the indicated problems. Finally, a first comparison of the chosen approaches to model transformation is presented where the main ingredients of each approach are summarized.
In this paper we propose a method to derive OCL invariants from declar- ative model-to-model tran... more In this paper we propose a method to derive OCL invariants from declar- ative model-to-model transformations in order to enable their veriflcation and analysis. For this purpose we have deflned a number of invariant-based veriflcation properties which provide increasing degrees of confldence about transformation correctness, such as whether a rule (or the whole transfor- mation) is satisflable by some model,
Journal of Logical and Algebraic Methods in Programming, 2014
Esta es la versión de autor del artículo publicado en: This is an author produced version of a pa... more Esta es la versión de autor del artículo publicado en: This is an author produced version of a paper published in:
The comprehensive use of models in design has created a set of challenges beyond that of supporti... more 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 levels of abstraction and in different formalisms is posing a set of specific problems that the field of Computer Automated Multi-Paradigm Modeling (CAMPaM) is aiming to address. This paper summarizes the results of the 2nd Workshop on Multi-Paradigm Modeling: Concepts and Tools.
Abstract. In this paper we describe the Ludo case, one of the case studies of the AGTIVE 2007 Too... more Abstract. 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, we propose a num-ber of dimensions along which choices had to ...
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement - ESEM '08, 2008
Universidad Autónoma de Madrid Universidad San Pablo-CEU Universidad Autónoma de Madrid 28049 Mad... more Universidad Autónoma de Madrid Universidad San Pablo-CEU Universidad Autónoma de Madrid 28049 Madrid, Spain +34 91 4972275 28668 Madrid, Spain +34 91 3726435 28049 Madrid, Spain +34 91 4972277 ... ABSTRACT This paper analyses the relationships between ...
Revista Española de Cardiología (English Edition), 2006
Planning cardiology provision in Spain requires knowledge of the resources available and the dema... more Planning cardiology provision in Spain requires knowledge of the resources available and the demand, both now and in the future. In this report, we present the results of a study carried out by the Spanish Society of Cardiology on the availability of and demand for cardiologists in the country. The current situation is characterized by an imbalance of around 14% between the number of active cardiologists and the estimated number required. The demographic distribution of cardiologists shows that they are predominantly male and middle-aged. Expectations are that the situation will get worse until the year 2020. To correct this imbalance, alternative forms of training or clinical department organization, or both, are required. Some possible alternatives are presented in the final part of this document, as proposals for open discussion.
... One exception is the SDMetric tool (SDMetric), which allows the definition of metrics for UML... more ... One exception is the SDMetric tool (SDMetric), which allows the definition of metrics for UML models using a relational-like language based on XML. In ATHENA (Tsalidis et al., 1992) the set of predefined metrics can be extended by using a textual language. ...
Model-to-model (M2M) transformation consists in transforming models from a source to a target lan... more Model-to-model (M2M) transformation consists in transforming models from a source to a target language. Many transformation languages exist, but few of them combine a declarative and relational style with a formal underpinning able to show properties of the transformation. Pattern-based transformation is an algebraic, bidirectional, and relational approach to M2M transformation. Specifications are made of patterns stating the allowed or forbidden relations between source and target models, and then compiled into low level operational mechanisms to perform source-to-target or target-to-source transformations. In this paper, we study the compilation into operational triple graph grammar rules and show: (i) correctness of the compilation of a specification without negative patterns; (ii) termination of the rules, and (iii) completeness, as each generated model from the specification can be built by the rules.
... 1 Escuela Politécnica Superior Ingenierıa Informática Universidad Autónoma de Madrid (Juan.La... more ... 1 Escuela Politécnica Superior Ingenierıa Informática Universidad Autónoma de Madrid (Juan.Lara,Esther.Guerra Sanchez)@ii.uam.es 2 School of Computer ... The user can spec-ify the CTL formula in two ways: graphically (drawing the graph of the CTL formula using the meta ...
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling - MPM '12, 2012
Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produc... more Esta es la versión de autor de la comunicación de congreso publicada en: This is an author produced version of a paper published in:
Lecture Notes in Business Information Processing, 2008
This paper shows our model-driven approach for the formal construction and validation of Digital ... more This paper shows our model-driven approach for the formal construction and validation of Digital Libraries (DLs). We have defined a Domain Specific Visual Language (DSVL) called VisMODLE, which allows the description of a DL using five different viewpoints: services, behaviour, collections, structure and society. From a meta-model based description of the different viewpoints, we have generated a modelling environment for VisMODLE. We have provided the environment with a code generator that produces XUL code for the DL's user interface and composes the application using predefined components that implement the different services. Moreover, we have also added validation and simulation capabilities to the environment. Using the behavioural models (state-machine based), we can visually animate the system. In addition, the combined behaviour of actors and services can be transformed into a Petri net for further analysis.
Uploads
Papers by Juan de Lara