A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon

After 20 years of Triple Graph Grammars (TGGs) and numerous actively maintained implementations, there is now a need for challenging examples and success stories to show that TGGs can be used for real-world bidirectional model transformations. Our primary goal in recent years has been to increase the expressiveness of TGGs by providing a set of pragmatic features that allow a controlled fallback to programmed graph transformations and Java. Based on the Flowgraphs case study of the Transformation Tool Contest (TTC 2013), we present (i) attribute constraints used to express complex bidirectional attribute manipulation, (ii) binding expressions for specifying arbitrary context relationships, and (iii) post-processing methods as a black box extension for TGG rules. In each case, we discuss the enabled trade-off between guaranteed formal properties and expressiveness. Our solution, implemented with our metamodelling and model transformation tool eMoflon (www.emoflon.org), is available as a virtual machine hosted on Share.Comment: In Proceedings TTC 2013, arXiv:1311.753

Towards a pivotal-based approach for business process alignment.

This article focuses on business process engineering, especially on alignment between business analysis and implementation. Through a business process management approach, different transformations interfere with process models in order to make them executable. To keep the consistency of process model from business model to IT model, we propose a pivotal metamodel-centric methodology. It aims at keeping or giving all requisite structural and semantic data needed to perform such transformations without loss of information. Through this we can ensure the alignment between business and IT. This article describes the concept of pivotal metamodel and proposes a methodology using such an approach. In addition, we present an example and the resulting benefits

Estimation of photosynthetic capacity using MODIS polarization: 1988 proposal to NASA Headquarters

The remote sensing community has clearly identified the utility of NDVI (normalized difference vegetation index) and SR (simple ratio) and other vegetation indices for estimating such metrics of landscape ecology as green foliar biomass, photosynthetic capacity, and net primary production. Both theoretical and empirical investigations have established cause and effect relationships between the photosynthetic process in plant canopies and these combinations of remotely sensed data. Yet it has also been established that the relationships exhibit considerable variability that appears to be ecosystem-dependent and may represent a source of ecologically important information. The overall hypothesis of this proposal is that the ecosystem-dependent variability in the various vegetation indices is in part attributable to the effects of specular reflection. The polarization channels on MODIS provide the potential to estimate this specularly reflected light and allow the modification of the vegetation indices to better measure the photosynthetic process in plant canopies. In addition, these polarization channels potentially provide additional ecologically important information about the plant canopy

The Image as a Communication Tool for Virtual Museums. Narration and the Enjoyment of Cultural Heritage

The challenge of contemporary museums is to make content accessible to a wider audience; in this way information related to the good becomes more communicative and usable in order to enhance its uniqueness. Accessibility goes through an innovative communication of content: the Information and Communication Technologies (ICT) that are increasingly part of people’s daily lives. Communication in most cases occurs visually, so ICTs are increasingly focusing on a rethinking of this expressive form; images become a better support for high-quality data transfer

Nitrogen retention in the riparian zone of watersheds underlain by discontinuous permafrost

Thesis (M.S.) University of Alaska Fairbanks, 2005Riparian zones function as important ecotones for reducing nitrate concentration in groundwater and inputs into streams. In the boreal forest of interior Alaska, permafrost confines subsurface flow through the riparian zone to shallow organic horizons, where plant uptake of nitrate and denitrification are typically high. Two research questions were addressed in this study: 1) how does riparian zone nitrogen retention vary in watersheds underlain by discontinuous permafrost, and 2) what is the contribution of denitrification to riparian zone nitrogen retention? To estimate the contribution of the riparian zone to watershed nitrogen retention, I analyzed groundwater chemistry using an end-member mixing model. To assess the importance of denitrification as a mechanism of nitrogen retention, I conducted field denitrification assays using the acetylene block technique. Over the summer, nitrogen retention averaged 0.75 and 0.22 mmol N m⁻² d⁻¹ in low and high permafrost watersheds, respectively. Compared with the fluvial export of nitrogen, the retention rate of nitrogen in the riparian zone is 10 - 15% of the loss rate in stream flow. Denitrification accounted for a small proportion (3%) of total nitrogen retention in the riparian zone. Variation in nitrogen retention between watersheds did not account for differences in stream nitrate concentration between watersheds.Introduction -- Factors controlling denitrification -- Riparian zones as nutrient filters -- Models of riparian zone function -- Permafrost and hydrology -- Caribou Poker Creeks Research Watershed (CPCRW) -- References -- Nitrogen retention in the riparian zone of watersheds underlain by discontinuous permafrost -- Conclusions -- References

Towards rigorously faking bidirectional model transformations

Bidirectional model transformations (bx) are mechanisms for auto-matically restoring consistency between multiple concurrently modified models. They are, however, challenging to implement; many model transformation languages not supporting them at all. In this paper, we propose an approach for automatically obtaining the consistency guarantees of bx without the complexities of a bx language. First, we show how to “fake” true bidirectionality using pairs of unidirectional transformations and inter-model consistency constraints in Epsilon. Then, we propose to automatically verify that these transformations are consistency preserving — thus indistinguishable from true bx — by defining translations to graph rewrite rules and nested conditions, and leveraging recent proof calculi for graph transformation verification

Bidirectional Transformation "bx" (Dagstuhl Seminar 11031)

Bidirectional transformations bx are a mechanism for maintaining the consistency of two (or more) related sources of information. Researchers from many different areas of computer science including databases (DB), graph transformations (GT), software engineering (SE), and programming languages (PL) are actively investigating the use of bx to solve a diverse set of problems. Although researchers have been actively working on bidirectional transformations in the above mentioned communities for many years already, there has been very little cross-discipline interaction and cooperation so far. The purpose of a first International Meeting on Bidirectional Transformations (GRACE-BX), held in December 2008 near Tokyo, was therefore to bring together international elites, promising young researchers, and leading practitioners to share problems, discuss solutions, and open a dialogue towards understanding the common underpinnings of bx in all these areas. While the GRACE-BX meeting provided a starting point for exchanging ideas in different communities and confirmed our believe that there is a considerable overlap of studied problems and developed solutions in the identified communities, the Dagstuhl Seminar 11031 on ``Bidirectional Transformations\u27\u27 also aimed at providing a place for working together to define a common vocabulary of terms and desirable properties of bidirectional transformations, develop a suite of benchmarks, solve some challenging problems, and launch joint efforts to form a living bx community of cooperating experts across the identified subdisciplines. This report documents the program and the outcomes of Dagstuhl Seminar 11031 with abstracts of tutorials, working groups, and presentations on specific research topics