Objective The basis for a physically active lifestyle and participation in adapted physical activ... more Objective The basis for a physically active lifestyle and participation in adapted physical activity for many individuals with a disability will be laid during the initial phase of clinical rehabilitation. Little is known of the outcome and effectiveness of clinical rehabilitation on physical activity, fitness and restoration of mobility. A spinal cord injury is a common and typical diagnosis in
Grain growers in Latin America are concerned on how to ensure the quality and safety of the stora... more Grain growers in Latin America are concerned on how to ensure the quality and safety of the storage method for their crops. This concern is derived from the fact that the storage conditions strongly influence both the quality of the food that people consume and the profits that growers can obtain from their production. To preserve the quality of the grains, the storage strategy must fulfill several requirements e.g. to protect grains against bad weather, to diminish the badly effect produced by insects and microorganisms and to maintain for the longer time as possible the initial quality conditions in which grains have been received. In addition to those requirements, in the last years, some factors have leaded the growers, specially small and medium ones, to develop ad-hoc strategies for the storage and quality assurance of their grains. For example, most small farmers cannot afford the cost of traditional storage methods (such as galvanized silos), there is an insufficiency (and i...
This paper establishes a formal connection among data models. It applies Meta Object Facility (MO... more This paper establishes a formal connection among data models. It applies Meta Object Facility (MOF), based on metamodeling techniques to represent the translation, by means of an algorithm, from the temporal Entity-Relationship model into the temporal multidimensional model. MOF class diagrams and their corresponding OCL rules were used to establish constraints to the metamodel, which implemented in a CASE tool will make it possible to keep the model consistency.
Model-Driven Architecture (MDA) is a widely accepted approach to the complex software systems des... more Model-Driven Architecture (MDA) is a widely accepted approach to the complex software systems design. MDA proposes the use of models in every software development phase, from specification and analysis to implementation. Model transformation is the foundation of MDA, starting from a platform independent model, the aim is to achieve more specific models, in each step. According to this philosophy we present a temporal multidimensional design methodology which allows us to define concepts independently of any implementation issue. In the present work our aim is using ATL (Atlas Trasformation Language) to define both the metamodel and the transformation rules for providing a framework to derive a relational logical schema from an abstract temporal data model. Additionally we are designing an Eclipse plug-in for implementing the transformation.
Resumen. El presente trabajo establece una conexión formal entre modelos de datos. Utiliza técnic... more Resumen. El presente trabajo establece una conexión formal entre modelos de datos. Utiliza técnicas de metamodelo basado en Meta Object Facility para representar la transformación, mediante un algoritmo, del esquema entidad interrelación temporal al modelo multidimensional temporal. Emplea diagramas de clases MOF y sus correspondientes reglas OCL para establecer restricciones en el metamodelo que permitan, implementadas en una herramienta CASE, mantener la consistencia de los modelos en el sistema.
Resumen La generación automática de código a partir de modelos ha cobrado impulso a partir de la ... more Resumen La generación automática de código a partir de modelos ha cobrado impulso a partir de la propuesta de MDA (Model Driven Architecture); en ella se crean modelos conceptuales y, mediante sucesivas transformaciones, se obtiene código ejecutable en un ambiente específico. La metodología propuesta para el diseño conceptual de un datawarehouse temporal incluye modelos que permiten definir conceptos independientes de la implementación. En este trabajo se presentan metamodelos y reglas de transformación formales que permiten refinar un modelo de datos temporal para obtener un modelo multidimensional temporal en el marco de la filosofía MDA.
Abstract. Computing is widely regarded as a scientific discipline that empha-sizes on three diffe... more Abstract. Computing is widely regarded as a scientific discipline that empha-sizes on three different perspectives: mathematics, present in the development of formalisms, theories and algorithms; engineering, linked to the goal of mak-ing things better, faster, smaller, cheaper and, finally, the science that can be de-fined as the activity to develop general and predictive theories that allow these theories to be evaluated and tested. However, research in software engineering rarely describes explicitly its research paradigms and standards to assess the quality of its results. Due to a growing understanding in the computer science community that empirical studies are needed to improve processes, methods and tools for the development and maintenance of software, an emerging area in software engineering is developed: the Empirical Software Engineering. This subarea is one step down in the claims of scientificity but it aims to address this shortcoming. The objective of this work is to...
Silobag is an ad-hoc low-cost storage technique that consists in keeping the grains into hermetic... more Silobag is an ad-hoc low-cost storage technique that consists in keeping the grains into hermetic polyethylene bags which are stored in the same field of crop (on-farm). Research confirms that although Silobags have some limitations, they offer to growers a relatively cheap and reliable grain storage solution. Therefore, it is important to work towards the improvement of such technique; in particular, the incorporation of computer technology would be a valuable asset. In this paper we describe the results of our project aimed at developing low-cost wireless software technology for monitoring and adapting the internal conditions of the grain stored into Silobags in order to improve their preservation state. This technology is addressed to small and medium growers and it is being developed using modern techniques of software engineering.
Resumen. En algunos trabajos académicos surge la disyuntiva de utilizar UML (Unified Modeling Lan... more Resumen. En algunos trabajos académicos surge la disyuntiva de utilizar UML (Unified Modeling Language) ó DSL (Domain Specific Lenguage) para modelar un determinado artefacto. UML es un lenguaje de propósito general el cual en un nivel de abstracción elevado resulta de gran aplicabilidad, pero cuando se comienza a bajar dicho nivel de abstracción y se requiere comenzar a modelar características propias de un dominio, UML debe ser adaptado. Es posible adaptar a UML generando un perfil propio para dicho dominio pero esta actividad resulta compleja y en algunos dominios son muy pocos los elementos y diagramas existentes que son directamente aplicables y por lo tanto es necesario realizar una gran cantidad de extensiones para lograr modelar el dominio. En cambio DSL es un lenguaje más simple de aplicar a un dominio específico. En este trabajo se presenta una propuesta que permite dentro del enfoque MDA (Model-Driven Architecture) utilizar UML y DSL en distintos niveles de abstracción y ...
Documenting the refinement relationship between layers allows developers to verify whether the co... more Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model's vocabulary by translating them to the concrete model's vocabulary. Refinement has been studied in many formal notations such as Z and B and in different contexts, but there is still a lack of formal definitions of refinement in semi-formal languages, such as the UML. The contribution of this article is to clarify the abstraction/refinement relationship between UML models, providing basis for tools supporting the refinement driven modeling process. We formally describe a number of refinement patterns and present PAMPERO, a tool integrated in the Eclipse environment, based on the formal definition of model refinement.
ion A metamodel is a model for the information that can be expressed during (software) modeling. ... more ion A metamodel is a model for the information that can be expressed during (software) modeling. Basically, a metamodel is a model of models. It consists of entities defining the model elements and therefore the modeling language. The main purpose of a metamodel is to relate these model elements. The different levels of abstraction are illustrated in Fig. 2 [Ode95].
Objective The basis for a physically active lifestyle and participation in adapted physical activ... more Objective The basis for a physically active lifestyle and participation in adapted physical activity for many individuals with a disability will be laid during the initial phase of clinical rehabilitation. Little is known of the outcome and effectiveness of clinical rehabilitation on physical activity, fitness and restoration of mobility. A spinal cord injury is a common and typical diagnosis in
Grain growers in Latin America are concerned on how to ensure the quality and safety of the stora... more Grain growers in Latin America are concerned on how to ensure the quality and safety of the storage method for their crops. This concern is derived from the fact that the storage conditions strongly influence both the quality of the food that people consume and the profits that growers can obtain from their production. To preserve the quality of the grains, the storage strategy must fulfill several requirements e.g. to protect grains against bad weather, to diminish the badly effect produced by insects and microorganisms and to maintain for the longer time as possible the initial quality conditions in which grains have been received. In addition to those requirements, in the last years, some factors have leaded the growers, specially small and medium ones, to develop ad-hoc strategies for the storage and quality assurance of their grains. For example, most small farmers cannot afford the cost of traditional storage methods (such as galvanized silos), there is an insufficiency (and i...
This paper establishes a formal connection among data models. It applies Meta Object Facility (MO... more This paper establishes a formal connection among data models. It applies Meta Object Facility (MOF), based on metamodeling techniques to represent the translation, by means of an algorithm, from the temporal Entity-Relationship model into the temporal multidimensional model. MOF class diagrams and their corresponding OCL rules were used to establish constraints to the metamodel, which implemented in a CASE tool will make it possible to keep the model consistency.
Model-Driven Architecture (MDA) is a widely accepted approach to the complex software systems des... more Model-Driven Architecture (MDA) is a widely accepted approach to the complex software systems design. MDA proposes the use of models in every software development phase, from specification and analysis to implementation. Model transformation is the foundation of MDA, starting from a platform independent model, the aim is to achieve more specific models, in each step. According to this philosophy we present a temporal multidimensional design methodology which allows us to define concepts independently of any implementation issue. In the present work our aim is using ATL (Atlas Trasformation Language) to define both the metamodel and the transformation rules for providing a framework to derive a relational logical schema from an abstract temporal data model. Additionally we are designing an Eclipse plug-in for implementing the transformation.
Resumen. El presente trabajo establece una conexión formal entre modelos de datos. Utiliza técnic... more Resumen. El presente trabajo establece una conexión formal entre modelos de datos. Utiliza técnicas de metamodelo basado en Meta Object Facility para representar la transformación, mediante un algoritmo, del esquema entidad interrelación temporal al modelo multidimensional temporal. Emplea diagramas de clases MOF y sus correspondientes reglas OCL para establecer restricciones en el metamodelo que permitan, implementadas en una herramienta CASE, mantener la consistencia de los modelos en el sistema.
Resumen La generación automática de código a partir de modelos ha cobrado impulso a partir de la ... more Resumen La generación automática de código a partir de modelos ha cobrado impulso a partir de la propuesta de MDA (Model Driven Architecture); en ella se crean modelos conceptuales y, mediante sucesivas transformaciones, se obtiene código ejecutable en un ambiente específico. La metodología propuesta para el diseño conceptual de un datawarehouse temporal incluye modelos que permiten definir conceptos independientes de la implementación. En este trabajo se presentan metamodelos y reglas de transformación formales que permiten refinar un modelo de datos temporal para obtener un modelo multidimensional temporal en el marco de la filosofía MDA.
Abstract. Computing is widely regarded as a scientific discipline that empha-sizes on three diffe... more Abstract. Computing is widely regarded as a scientific discipline that empha-sizes on three different perspectives: mathematics, present in the development of formalisms, theories and algorithms; engineering, linked to the goal of mak-ing things better, faster, smaller, cheaper and, finally, the science that can be de-fined as the activity to develop general and predictive theories that allow these theories to be evaluated and tested. However, research in software engineering rarely describes explicitly its research paradigms and standards to assess the quality of its results. Due to a growing understanding in the computer science community that empirical studies are needed to improve processes, methods and tools for the development and maintenance of software, an emerging area in software engineering is developed: the Empirical Software Engineering. This subarea is one step down in the claims of scientificity but it aims to address this shortcoming. The objective of this work is to...
Silobag is an ad-hoc low-cost storage technique that consists in keeping the grains into hermetic... more Silobag is an ad-hoc low-cost storage technique that consists in keeping the grains into hermetic polyethylene bags which are stored in the same field of crop (on-farm). Research confirms that although Silobags have some limitations, they offer to growers a relatively cheap and reliable grain storage solution. Therefore, it is important to work towards the improvement of such technique; in particular, the incorporation of computer technology would be a valuable asset. In this paper we describe the results of our project aimed at developing low-cost wireless software technology for monitoring and adapting the internal conditions of the grain stored into Silobags in order to improve their preservation state. This technology is addressed to small and medium growers and it is being developed using modern techniques of software engineering.
Resumen. En algunos trabajos académicos surge la disyuntiva de utilizar UML (Unified Modeling Lan... more Resumen. En algunos trabajos académicos surge la disyuntiva de utilizar UML (Unified Modeling Language) ó DSL (Domain Specific Lenguage) para modelar un determinado artefacto. UML es un lenguaje de propósito general el cual en un nivel de abstracción elevado resulta de gran aplicabilidad, pero cuando se comienza a bajar dicho nivel de abstracción y se requiere comenzar a modelar características propias de un dominio, UML debe ser adaptado. Es posible adaptar a UML generando un perfil propio para dicho dominio pero esta actividad resulta compleja y en algunos dominios son muy pocos los elementos y diagramas existentes que son directamente aplicables y por lo tanto es necesario realizar una gran cantidad de extensiones para lograr modelar el dominio. En cambio DSL es un lenguaje más simple de aplicar a un dominio específico. En este trabajo se presenta una propuesta que permite dentro del enfoque MDA (Model-Driven Architecture) utilizar UML y DSL en distintos niveles de abstracción y ...
Documenting the refinement relationship between layers allows developers to verify whether the co... more Documenting the refinement relationship between layers allows developers to verify whether the code meets its specification or not, trace the impact of changes in the business goals and execute test assertions written in terms of abstract model's vocabulary by translating them to the concrete model's vocabulary. Refinement has been studied in many formal notations such as Z and B and in different contexts, but there is still a lack of formal definitions of refinement in semi-formal languages, such as the UML. The contribution of this article is to clarify the abstraction/refinement relationship between UML models, providing basis for tools supporting the refinement driven modeling process. We formally describe a number of refinement patterns and present PAMPERO, a tool integrated in the Eclipse environment, based on the formal definition of model refinement.
ion A metamodel is a model for the information that can be expressed during (software) modeling. ... more ion A metamodel is a model for the information that can be expressed during (software) modeling. Basically, a metamodel is a model of models. It consists of entities defining the model elements and therefore the modeling language. The main purpose of a metamodel is to relate these model elements. The different levels of abstraction are illustrated in Fig. 2 [Ode95].
Uploads
Papers by Claudia Pons