Testing M2T/T2M Transformations

Presentado en: 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). Del 29 de septiembre al 4 de octubre. Miami, EEUU.Testing model-to-model (M2M) transformations is becoming a prominent topic in the current Model-driven Engineering landscape. Current approaches for transformation testing, however, assume having explicit model representations for the input domain and for the output domain of the transformation. This excludes other important transformation kinds, such as model-to-text (M2T) and text-to-model (T2M) transformations, from being properly tested since adequate model representations are missing either for the input domain or for the output domain. The contribution of this paper to overcome this gap is extending Tracts, a M2M transformation testing approach, for M2T/T2M transformation testing. The main mechanism we employ for reusing Tracts is to represent text within a generic metamodel. By this, we transform the M2T/T2M transformation specification problems into equivalent M2M transformation specification problems. We demonstrate the applicability of the approach by two examples and present how the approach is implemented for the Eclipse Modeling Framework (EMF). Finally, we apply the approach to evaluate code generation capabilities of several existing UML tools.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Proyecto TIN2011-2379

Extending the D'Alembert Solution to Space-Time Modified Riemann-Liouville Fractional Wave Equations

In the realm of complexity, it is argued that adequate modeling of TeV-physics demands an approach based on fractal operators and fractional calculus (FC). Non-local theories and memory effects are connected to complexity and the FC. The non-differentiable nature of the microscopic dynamics may be connected with time scales. Based on the Modified Riemann-Liouville definition of fractional derivatives, we have worked out explicit solutions to a fractional wave equation with suitable initial conditions to carefully understand the time evolution of classical fields with a fractional dynamics. First, by considering space-time partial fractional derivatives of the same order in time and space, a generalized fractional D'Alembertian is introduced and by means of a transformation of variables to light-cone coordinates, an explicit analytical solution is obtained. To address the situation of different orders in the time and space derivatives, we adopt different approaches, as it will become clear throughout the paper. Aspects connected to Lorentz symmetry are analyzed in both approaches.Comment: 8 page

Transforming landscapes: Modeling land-use patterns of environmental borderlands

How did socio-cultural transformation processes change land-use patterns? Throughout the last 50 years, outstanding comprehensive geographic, archaeobiological, and archaeological data have been produced for the area of Oldenburger Graben, Schleswig-Holstein, Germany. Based on this exceptional data set, we are able to study the land-use patterns for a period ranging from the Final Mesolithic until the Late Neolithic (4600–1700 BCE). By application of fuzzy modeling techniques, these patterns are investigated diachronically in order to assess the scale of transformations between the different archaeological phases. Based on nutrient requirements and proposed dietary composition estimates derived from empirical archaeobotanical, archaeozoological, and stable isotope data, the required extent of the areas for different land-use practices are modeled. This information is made spatially explicit using a fuzzy model that reconstructs areas of potential vegetation and land-use for each transformation phase. Pollen data are used to validate the type and extent of land-use categories. The model results are used to test hypotheses on the dynamics of socio-cultural transformations: can we observe a diversification of land-use patterns over time or does continuity of land-use practices prevail? By integrating the different lines of evidence within a spatially explicit modeling approach, we reach a new quality of data analysis with a high degree of contextualization. This allows testing of hypotheses about Neolithic transformation processes by an explicit adjustment of our model assumptions, variables, and parameters

Spatial Dynamic Modeling and Urban Land Use Transformation:

Assessing the economic impacts of urban land use transformation has become complex and acrimonious. Although community planners are beginning to comprehend the economic trade-offs inherent in transforming the urban fringe, they find it increasingly difficult to analyze and assess the trade-offs expediently and in ways that can influence local decisionmaking. New and sophisticated spatial modeling techniques are now being applied to urban systems that can quickly assess the probable spatial outcomes of given communal policies. Applying an economic impact assessment to the probable spatial patterns can provide to planners the tools needed to quickly assess scenarios for policy formation that will ultimately help inform decision makers. This paper focuses on the theoretical underpinnings and practical application of an economic impact analysis submodel developed within the Land use Evolution and Impact Assessment Modeling (LEAM) environment. The conceptual framework of LEAM is described, followed by an application of the model to the assessment of the cost of urban sprawl in Kane County, Illinois. The results show the effectiveness of spatially explicit modeling from a theoretical and a practical point of view. The agent-based approach of spatial dynamic modeling with a high spatial resolution allows for discerning the macro-level implications of micro-level behaviors. These phenomena are highlighted in the economic submodel in the discussion of the implications of land use change decisions on individual and communal costs; low-density development patterns favoring individual behaviors at the expense of the broader community.