PrIMe: A Methodology for Developing Provenance-Aware Applications

Provenance refers to the past processes that brought about a given (version of an) object, item or entity. By knowing the provenance of data, users can often better understand, trust, reproduce, and validate it. A provenance-aware application has the functionality to answer questions regarding the provenance of the data it produces, by using documentation of past processes. PrIMe is a software engineering technique for adapting application designs to enable them to interact with a provenance middleware layer, thereby making them provenance-aware. In this article, we specify the steps involved in applying PrIMe, analyse its effectiveness, and illustrate its use with two case studies, in bioinformatics and medicine.

The Open Provenance Model Core Specification (v1.1)

The Open Provenance Model is a model of provenance that is designed to meet the following requirements: (1) To allow provenance information to be exchanged between systems, by means of a compatibility layer based on a shared provenance model. (2) To allow developers to build and share tools that operate on such a provenance model. (3) To define provenance in a precise, technology-agnostic manner. (4) To support a digital representation of provenance for any 'thing', whether produced by computer systems or not. (5) To allow multiple levels of description to coexist. (6) To define a core set of rules that identify the valid inferences that can be made on provenance representation. This document contains the specification of the Open Provenance Model (v1.1) resulting from a community-effort to achieve inter-operability in the Provenance Challenge series.

Mapping Attribution Metadata to the Open Provenance Model

A description of a data item's provenance can be provided in dierent forms, and which form is best depends on the intended use of that description. Because of this, dierent communities have made quite distinct underlying assumptions in their models for electronically representing provenance. Approaches deriving from the library and archiving communities emphasise agreed vocabulary by which resources can be described and, in particular, assert their attribution (who created the resource, who modied it, where it was stored etc.) The primary purpose here is to provide intuitive metadata by which users can search for and index resources. In comparison, models for representing the results of scientific workflows have been developed with the assumption that each event or piece of intermediary data in a process' execution can and should be documented, to give a full account of the experiment undertaken. These occurrences are connected together by stating where one derived from, triggered, or otherwise caused another, and so form a causal graph. Mapping between the two approaches would be benecial in integrating systems and exploiting the strengths of each. In this paper, we specify such a mapping between Dublin Core and the Open Provenance Model. We further explain the technical issues to overcome and the rationale behind the approach, to allow the same method to apply in mapping similar schemes.

Transparent Provenance Derivation for User Decisions

It is rare for data's history to include computational processes alone. Even when software generates data, users ultimately decide to execute software procedures, choose their configuration and inputs, reconfigure, halt and restart processes, and so on. Understanding the provenance of data thus involves understanding the reasoning of users behind these decisions, but demanding that users explicitly document decisions could be intrusive if implemented naively, and impractical in some cases. In this paper, therefore, we explore an approach to transparently deriving the provenance of user decisions at query time. The user reasoning is simulated, and if the result of the simulation matches the documented decision, the simulation is taken to approximate the actual reasoning. The plausibility of this approach requires that the simulation mirror human decision -making, so we adopt an automated process explicitly modelled on human psychology. The provenance of the decision is modelled in OPM, allowing it to be queried as part of a larger provenance graph, and an OPM profile is provided to allow consistent querying of provenance across user decisions.

Automatically Adapting Source Code to Document Provenance

Being able to ask questions about the provenance of some data requires documentation on each influence on that data's existence and content. Much software exists, and is being developed, for which there is no provenance-awareness, i.e. at best, the data it outputs can be connected to its inputs, but with no record of intermediate processing. Further, where some record of processing does exist, e.g. as logs, it is not in a form easily connected with that of other processes. We would like to enable compiled software to record useful documentation without requiring prior manual adaptation. In this paper, we present an approach to adapting source code from its original form without manual manipulation, to record information on data provenance during execution.

Requirements for Provenance on the Web

From where did this tweet originate? Was this quote from the New York Times modified? Daily, we rely on data from the Web but often it is difficult or impossible to determine where it came from or how it was produced. This lack of provenance is particularly evident when people and systems deal with Web information or with any environment where information comes from sources of varying quality. Provenance is not captured pervasively in information systems. There are major technical, social, and economic impediments that stand in the way of using provenance effectively. This paper synthesizes requirements for provenance on the Web for a number of dimensions focusing on three key aspects of provenance: the content of provenance, the management of provenance records, and the uses of provenance information. To illustrate these requirements, we use three synthesized scenarios that encompass provenance problems faced by Web users today.

Calibration Strategies Designed For Long Term Sediment Transport Modelling

The presented work deals with the calibration of a 2D numerical model for the simulation of long term bed load transport. A settled basin along an alpine stream was used as a case study. The focus is to parameterise the used multi fractional transport model such that a dynamically balanced behavior regarding erosion and deposition is reached. The used 2D hydrodynamic model utilizes a multi-fraction multi-layer approach to simulate morphological changes and bed load transport. The mass balancing is performed between three layers: a top mixing layer, an intermediate subsurface layer and a bottom layer. Using this approach bears computational limitations in calibration. Due to the high computational demands, the type of calibration strategy is not only crucial for the result, but as well for the time required for calibration. Brute force methods such as Monte Carlo type methods may require a too large number of model runs. All here tested calibration strategies used multiple model runs utilising the parameterization and/or results from previous run. One concept was to reset to initial bed elevations after each run, allowing the resorting process to convert to stable conditions. As an alternative or in combination, the roughness was adapted, based on resulting nodal grading curves, from the previous run. Since the adaptations are a spatial process, the whole model domain is subdivided in homogeneous sections regarding hydraulics and morphological behaviour. For a faster optimization, the adaptation of the parameters is made section wise. Additionally, a systematic variation was done, considering results from previous runs and the interaction between sections. The used approach can be considered as similar to evolutionary type calibration approaches, but using analytical links instead of random parameter changes.

Numerical Simulation Of Sediment Transport And Bedmorphology Around A Hydraulic Structure On A River

Scour around hydraulic structures is a critical problem in hydraulic engineering. Under prediction of scour depth may lead to costly failures of the structure, while over prediction might result in unnecessary costs. Unfortunately, up-to-date empirical scour prediction formulas are based on laboratory experiments that are not always able to reproduce field conditions due to complicated geometry of rivers and temporal and spatial scales of a physical model. However, computational fluid dynamics (CFD) tools can perform using real field dimensions and operating conditions to predict sediment scour around hydraulic structures. In Korea, after completing the Four Major Rivers Restoration Project, several new weirs have been built across Han, Nakdong, Geum and Yeongsan Rivers. Consequently, sediment deposition and bed erosion around such structures have became a major issue in these four rivers. In this study, an application of an open source CFD software package, the TELEMAC-MASCARET, to simulate sediment transport and bed morphology around Gangjeong weir, which is the largest multipurpose weir built on Nakdong River. A real bathymetry of the river and a geometry of the weir have been implemented into the numerical model. The numerical simulation is carried out with a real hydrograph at the upstream boundary. The bedmorphology obtained from the numerical results has been validated against field observation data, and a maximum of simulated scour depth is compared with the results obtained by empirical formulas of Hoffmans. Agreement between numerical computations, observed data and empirical formulas is judged to be satisfactory on all major comparisons. The outcome of this study does not only point out the locations where deposition and erosion might take place depending on the weir gate operation, but also analyzes the mechanism of formation and evolution of scour holes after the weir gates.

Kinetics and Adsorption Isotherms of Bisphenol A, Estrone, 17 beta-Estradiol, and 17 alpha-Ethinylestradiol in Tropical Sediment Samples

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Effects of dredging operations on sediment quality: contaminant mobilization in dredged sediments from the Port of Santos, SP, Brazil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

SEDIMENT BIOTURBATION POTENTIAL of UCA RAPAX and UCA URUGUAYENSIS AS A RESULT of THEIR FEEDING ACTIVITY

Bioturbation of mangrove sediments by Uca uruguayensis (Nobili, 1901) and U. rapax (Smith, 1870) was compared based on the grain-size composition and organic content in surface sediment around the burrow and feeding pellets in two mangrove zones of the Sao Vicente Estuary, state of São Paulo, Brazil. For each species, 25 burrows with active crabs were selected. All pellets within a 15-cm radius of each burrow were carefully collected; samples of substrate were taken; and the crab occupant was excavated, sexed, and measured for carapace width (CW). The number of spoon-tipped setae on the second maxilliped of each species was estimated; U. uruguayensis showed more of these setae than U. rapax. For both species, the sediment post-processed by feeding activity (feeding pellets) showed a similar increase of coarser fractions and a smaller organic content. However. U. uruguayensis was more efficient in removing organic matter (88.1%) from the sediment than U. rapax (37.5%). These results suggest that different numbers of spoon-tipped setae on the second maxillipeds of the fiddler crabs do not affect the potential for grain-size selection, but result in differing abilities to remove organic matter from the sediment.

Integrated sediment quality assessment in Paranagua Estuarine System, Southern Brazil

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Development of site-specific sediment quality guidelines for North and South Atlantic littoral zones: Comparison against national and international sediment quality benchmarks

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sediment toxicity assessment of Guanabara Bay, Rio de Janeiro, Brazil.

Guanabara Bay (GB) comprises of estuarine and marine environments of high ecological and socio-economic relevance, together with port, industrial and urban areas. The anthropogenic activities produce environmental impacts, including the aquatic pollution. The sediment quality assessment is important to evaluate the effects of contamination, once sediments are a repository for most of the contaminants. In this Study, the quality of sediments from GB was evaluated, in rainy and dry periods, throughout the employment of acute toxicity tests with the amphipod Tiburonella viscana, and chronic bioassays with embryos of the sea-urchin Lytechinus variegatus. In the dry period, acute toxicity was found in the sediments from stations 1, 2 3 (NW) and 7 (near Guapimirim Environmental Protection Area). The bioassays with liquid phases showed effects, but were strongly influenced by the unionized ammonia levels, which were high in this period. In the rainy period, acute toxicity was found in sediments samples from stations 1, 2, 3, 6, 8, 10, 11, 12 and 15. Chronic toxicity could be clearly detected, as ammonia concentrations tended to be low in the most part of the samples. The results showed that the sediment toxicity is influenced by precipitation rates, which increase the input of contaminants to the Bay, and also allowed subdividing GB in three main zones: northwest (stations 1, 2, 3, 5), northeast (stations 6, 7, 8, 9) and centre-south (stations 10, 11, 12, 13, 14, 15). Results also showed that the quality of GB sediments is poor, and that toxicity tests could determine the combined effects of pollutants.