1,721,009 research outputs found
Foster the use of Hackathons in Collaborative Research Projects: Methodology, Experience Report and Lesson Learned
No full textIncorporating uncertainty into bidirectional model transformations and their delta-lens formalization
Full text linkIn Model-Driven Engineering, bidirectional transformations are key to managing consistency and synchronization of related models. Delta-lenses are a exible algebraic framework designed for specifying delta-based synchronization operations. Since model consistency is usually not a one-to-one correspondence, the synchronization process is inherently ambiguous, and consistency restoration can be achieved in many different ways. This can be seen as an uncertainty reducing process:the unknown uncertainty at design-time is translated into known un-certainty at run-time by generating multiple choices. However, many current tools only focus on a specific strategy (an update policy) to select only one amongst many possible alternatives, providing developers with little control over how models are synchronized. In this paper, we propose to extend the delta-lenses framework to cover incomplete transformations producing a multitude of possible solutions to consistency restoration. This multitude is managed in an intentional manner via models with built-in uncertainty
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models
No full textSoftware architecture is nowadays subject to frequent changes due to multiple reasons, such as evolution induced by new requirements. Architectural changes driven by non-functional requirements are particularly difficult to identify, because they attain quantitative analyses that are usually carried out with specific languages and tools. A considerable number of approaches, based on model transformations, have been proposed in the last decades to derive non-functional models from software architectural descriptions. However, there is a clear lack of automation in the backward path that brings the analysis results back to the software architecture. In this paper we address this problem in the context of software availability. We introduce a bidirectional model transformation between UML State Machines (SM), annotated with availability properties, and Generalized Stochastic Petri Nets (GSPN). Such transformation, implemented in the JTL language, is used both to derive a GSPN-based availability model from a SM-based software architecture and, after the analysis, to propagate back on the SM the changes carried out on the GSPN. We demonstrate the effectiveness of our approach on an Environmental Control System to which we apply well-known fault tolerance patterns aimed at improving its software availability
Uncertainty in bidirectional transformations
No full textIn Model-Driven Engineering, models are primary artifact manipulated by means of automated transformations. Recently, a notion of uncertainty has been introduced in models permitting modelers to postpone design decisions in case of lack of information. Interestingly, other forms of model uncertainty are induced by bidirectional transformations. In fact, in certain situations more than one admissible solution is in principle possible, despite most of the current languages generate only one model at time, possibly not the desired one. In this paper, the uncertainty due to the solution multiplicity in bidirectional transformations is discussed. In particular, we propose to represent the models in the solution space as concretizations of an uncertain model because there are cases where the responsibility of identifying the solution must be left to the modeler. The problem is illustrated by a round-tripping scenario realized with the JTL transformation language
Managing uncertainty in bidirectional model transformations
No full textIn Model-Driven Engineering bidirectionality in transformations is regarded as a key mechanism. Recent approaches to non-deterministic transformations have been proposed for dealing with non-bijectivity. Among them, the JTL language is based on a relational model transformation engine which restores consistency by returning all admissible models. This can be regarded as an uncertainty reducing process: the unknown uncertainty at design-time is translated into known uncertainty at run-time by generating multiple choices. Unfortunately, little changes in a model usually correspond to a combinatorial explosion of the solution space. In this paper, we propose to represent the multiple solutions in a intensional manner by adopting a model for uncertainty. The technique is applied to JTL demonstrating the advantages of the proposal
Tool-support of socio-technical coordination in the context of heterogeneous modeling
Full text linkThe growing complexity of everyday life systems (and devices) over the last decades has forced the industry to use and investigate different development techniques to manage the many different aspects of the systems. In this context, the use of model driven engineering (MDE) has emerged and is now common practice for many engineering disciplines. However, this comes with important challenges. As set of main challenges relates to the fact that different modeling techniques, languages, and tools are required to deal with the different system aspects, and that support is required to ensure consistence and coherence between the different models. This paper identifies a number of the challenges and paints a roadmap on how tooling can support a multi-model integrated way of working
Enhancing the JTL tool for bidirectional transformations
No full textIn Model-Driven Engineering, the potential advantages of using bidirectional transformations in various scenarios are largely recognized; as for instance, assuring the overall consistency of a set of interrelated models which requires the capability of propagating changes back and forth the transformation chain. Among the existing approaches, JTL (Janus Transformation Language) is a constraint-based bidirectional transformation language specifically tailored to support change propagation and nondeterministic transformations. In fact, its relational and constraintbased semantics allows to restore consistency by returning all admissible models. This paper introduces the new implementation of the language and presents the tools and its features by means of a running example
Experiences and challenges from a software ecosystem for cyber-physical systems development: An empirical study on industry-academia collaboration
No full textUna aproximación a la dinámica de precios minoristas para hortalizas en el Área Metropolitana de Buenos Aires y ciudades intermedias de la Provincia de Buenos Aires
No full textEramo, Romina Noemí. Universidad de Buenos Aires. Facultad de Agronomía. Departamento de Economía, Desarrollo y Planeamiento Agrícola. Cátedra de Economía Agraria. Buenos Aires, Argentina.Pescio, Francisco José. Universidad de Buenos Aires. Facultad de Agronomía. Departamento de Economía, Desarrollo y Planeamiento Agrícola. Cátedra de Economía Agraria. Buenos Aires, Argentina.Monzón, Julieta. Universidad de Buenos Aires. Facultad de Agronomía. Departamento de Economía, Desarrollo y Planeamiento Agrícola. Cátedra de Economía Agraria. Buenos Aires, Argentina.Harris, Marcela Moira. Universidad de Buenos Aires. Facultad de Agronomía. Departamento de Producción Vegetal. Cátedra de Horticultura. Buenos Aires, Argentina.El Area Metropolitana de Buenos Aires (AMBA) concentra casi el 40 por ciento de la población de Argentina, con 15 millones de habitantes, la convierte en un importante centro de consumo de alimentos, incluyendo frutas y hortalizas (Kessler, 2015). La producción hortícola en la región, que abastece el 30 por ciento de la demanda urbana, se realiza principalmente en pequeños y medianos establecimientos (Barsky y Aboitiz, 2011; Benencia et al, 2009; Mosca, 2021). Este trabajo es un breve resumen de un estudio realizado por un grupo de estudiantes y docentes de la Facultad de Agronomía de la UBA , que analizó la evolución de los precios de una selección de hortalizas en el AMBA y ciudades intermedias de Buenos Aires. El estudio analizó la variabilidad de los precios y los márgenes de comercialización, con el objetivo de entender mejor las dinámicas de los mercados de productos hortícolas en la región.grafs.Edición especial en la que se publican las ponencias de Primera Jornada de Economía y Administración Agrarias “Creando un espacio de interacción entre el conocimiento y la práctica profesional”, que tuvo lugar el 15 de mayo del 2025
- …
