The design and implementation of a repository for the management of spatial data integrity constraints

This paper reviews the key features of an environment to support domain users in spatial information system (SIS) development. It presents a full design and prototype implementation of a repository system for the storage and management of metadata, focusing on a subset of spatial data integrity constraint classes. The system is designed to support spatial system development and customization by users within the domain that the system will operate.

Database repairs with answer set programming

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Integració de tècniques per a la comprovació eficient de restriccions d'integritat en la generació de programari per entorns web

Estudi elaborat a partir d’una estada al Politecnico de Milano, Itàlia, entre gener i juny del 2006. Un dels principals objectius de l’Enginyeria del Programari és automatitzar el màxim possible el procés de desenvolupament del programari, reduint costos mitjançant la generació automàtica del programari a partir de la seva especificació. Per assolir-ho, entre altres, cal resoldre el problema de la comprovació eficient de restriccions, que són una part fonamental de l’especificació del programari. Aquest és precisament l’àmbit en què s’està desenvolupant una tesi que presentarà un mètode que poden integrar totes les eines generadores de codi per tal d’assolir una implementació eficient de les restriccions d’integritat. En l’actual fase del projecte s’ha treballat per validar el mètode de la tesi, optimitzant-lo pel cas específic de les aplicacions web i estendre’l per poder tractar també aplicacions basades en workflows. Pel que fa a l’optimització del mètode per aplicacions web, s’han definit una sèrie de paràmetres que permeten configurar la implementació del mètode tenint en compte les necessitats específiques de rendiment de cada aplicació web en particular. Respecte als workflows (cada cop més populars i que s’usen com a definició d’alt nivell per a les aplicacions a desenvolupar) s’ha estudiat quins són els tipus de restriccions que impliquen i com després es pot aplicar el mètode de la tesi sobre aquestes restriccions per tal de generar de forma eficient també les aplicacions basades en workflows.

Interface issues in the ESCHER visual database editor

Presentation at the 1997 Dagstuhl Seminar "Evaluation of Multimedia Information Retrieval", Norbert Fuhr, Keith van Rijsbergen, Alan F. Smeaton (eds.), Dagstuhl Seminar Report 175, 14.04. - 18.04.97 (9716). - Abstract: This presentation will introduce ESCHER, a database editor which supports visualization in non-standard applications in engineering, science, tourism and the entertainment industry. It was originally based on the extended nested relational data model and is currently extended to include object-relational properties like inheritance, object types, integrity constraints and methods. It serves as a research platform into areas such as multimedia and visual information systems, QBE-like queries, computer-supported concurrent work (CSCW) and novel storage techniques. In its role as a Visual Information System, a database editor must support browsing and navigation. ESCHER provides this access to data by means of so called fingers. They generalize the cursor paradigm in graphical and text editors. On the graphical display, a finger is reflected by a colored area which corresponds to the object a finger is currently pointing at. In a table more than one finger may point to objects, one of which is the active finger and is used for navigating through the table. The talk will mostly concentrate on giving examples for this type of navigation and will discuss some of the architectural needs for fast object traversal and display. ESCHER is available as public domain software from our ftp site in Kassel. The portable C source can be easily compiled for any machine running UNIX and OSF/Motif, in particular our working environments IBM RS/6000 and Intel-based LINUX systems. A porting to Tcl/Tk is under way.

Probabilistic resource space model for managing resources in cyber-physical society

Classification is the most basic method for organizing resources in the physical space, cyber space, socio space and mental space. To create a unified model that can effectively manage resources in different spaces is a challenge. The Resource Space Model RSM is to manage versatile resources with a multi-dimensional classification space. It supports generalization and specialization on multi-dimensional classifications. This paper introduces the basic concepts of RSM, and proposes the Probabilistic Resource Space Model, P-RSM, to deal with uncertainty in managing various resources in different spaces of the cyber-physical society. P-RSM’s normal forms, operations and integrity constraints are developed to support effective management of the resource space. Characteristics of the P-RSM are analyzed through experiments. This model also enables various services to be described, discovered and composed from multiple dimensions and abstraction levels with normal form and integrity guarantees. Some extensions and applications of the P-RSM are introduced.

Detecting EPCIS exceptions in linked traceability streams across supply chain business processes

The EPCIS specification provides an event oriented mechanism to record product movement information across stakeholders in supply chain business processes. Besides enabling the sharing of event-based traceability datasets, track and trace implementations must also be equipped with the capabilities to validate integrity constraints and detect runtime exceptions without compromising the time-to-deliver schedule of the shipping and receiving parties. In this paper we present a methodology for detecting exceptions arising during the processing of EPCIS event datasets. We propose an extension to the EEM ontology for modelling EPCIS exceptions and show how runtime exceptions can be detected and reported. We exemplify and evaluate our approach on an abstraction of pharmaceutical supply chains.

Generació automàtica de les constraints a partir de un diagrama de classes UML amb restriccions especificades en OCL

L'àmbit d'aquest treball és la generació automàtica de les restriccions d'integritat (claus primàries, alternatives i comprovacions), tant per a les bases de dades relacionals com per a les orientades a objectes.

CO2-driven ocean acidification alters and weakens integrity of the calcareous tubes produced by the serpulid tubeworm, Hydroides elegans

As a consequence of anthropogenic CO2-driven ocean acidification (OA), coastal waters are becoming increasingly challenging for calcifiers due to reductions in saturation states of calcium carbonate (CaCO3) minerals. The response of calcification rate is one of the most frequently investigated symptoms of OA. However, OA may also result in poor quality calcareous products through impaired calcification processes despite there being no observed change in calcification rate. The mineralogy and ultrastructure of the calcareous products under OA conditions may be altered, resulting in changes to the mechanical properties of calcified structures. Here, the warm water biofouling tubeworm, Hydroides elegans, was reared from larva to early juvenile stage at the aragonite saturation state (Omega A) for the current pCO2 level (ambient) and those predicted for the years 2050, 2100 and 2300. Composition, ultrastructure and mechanical strength of the calcareous tubes produced by those early juvenile tubeworms were examined using X-ray diffraction (XRD), Fourier transform infrared spectroscopy (FT-IR), scanning electron microscopy (SEM) and nanoindentation. Juvenile tubes were composed primarily of the highly soluble CaCO3 mineral form, aragonite. Tubes produced in seawater with aragonite saturation states near or below one had significantly higher proportions of the crystalline precursor, amorphous calcium carbonate (ACC) and the calcite/aragonite ratio dramatically increased. These alterations in tube mineralogy resulted in a holistic deterioration of the tube hardness and elasticity. Thus, in conditions where Omega A is near or below one, the aragonite-producing juvenile tubeworms may no longer be able to maintain the integrity of their calcification products, and may result in reduced survivorship due to the weakened tube protection.

Does seawater acidification affect survival, growth and shell integrity in bivalve juveniles?

Anthropogenic emissions of carbon dioxide are leading to decreases in pH and changes in the carbonate chemistry of seawater. Ocean acidification may negatively affect the ability of marine organisms to produce calcareous structures while also influencing their physiological responses and growth. The aim of this study was to evaluate the effects of reduced pH on the survival, growth and shell integrity of juveniles of two marine bivalves from the Northern Adriatic sea: the Mediterranean mussel Mytilus galloprovincialis and the striped venus clam Chamelea gallina. An outdoor flow-through plant was set up and two pH levels (natural seawater pH as a control, pH 7.4 as the treatment) were tested in long-term experiments. Mortality was low throughout the first experiment for both mussels and clams, but a significant increase, which was sensibly higher in clams, was observed at the end of the experiment (6 months). Significant decreases in the live weight (-26%) and, surprisingly, in the shell length (-5%) were observed in treated clams, but not in mussels. In the controls of both species, no shell damage was ever recorded; in the treated mussels and clams, damage proceeded via different modes and to different extents. The severity of shell injuries was maximal in the mussels after just 3 months of exposure to a reduced pH, whereas it progressively increased in clams until the end of the experiment. In shells of both species, the damaged area increased throughout the experiment, peaking at 35% in mussels and 11% in clams. The shell thickness of the treated and control animals significantly decreased after 3 months in clams and after 6 months in mussels. In the second experiment (3 months), only juvenile mussels were exposed to a reduced pH. After 3 months, the mussels at a natural pH level or pH 7.4 did not differ in their survival, shell length or live weight. Conversely, shell damage was clearly visible in the treated mussels from the 1st month onward. Monitoring the chemistry of seawater carbonates always showed aragonite undersaturation at 7.4 pH, whereas calcite undersaturation occurred in only 37% of the measurements. The present study highlighted the contrasting effects of acidification in two bivalve species living in the same region, although not exactly in the same habitat.

A formal object-oriented approach to defining consistency constraints for UML models

We discuss how integrity consistency constraints between different UML models can be precisely defined at a language level. In doing so, we introduce a formal object-oriented metamodeling approach. In the approach, integrity consistency constraints between UML models are defined in terms of invariants of the UML model elements used to define the models at the language-level. Adopting a formal approach, constraints are formally defined using Object-Z. We demonstrate how integrity consistency constraints for UML models can be precisely defined at the language-level and once completed, the formal description of the consistency constraints will be a precise reference of checking consistency of UML models as well as for tool development.

Seawater carbonate chemistry and structural integrity of the coralline algae Lithothamnion glaciale in a laboratory experiment

The uptake of anthropogenic emission of carbon dioxide is resulting in a lowering of the carbonate saturation state and a drop in ocean pH. Understanding how marine calcifying organisms such as coralline algae may acclimatize to ocean acidification is important to understand their survival over the coming century. We present the first long-term perturbation experiment on the cold-water coralline algae, which are important marine calcifiers in the benthic ecosystems particularly at the higher latitudes. Lithothamnion glaciale, after three months incubation, continued to calcify even in undersaturated conditions with a significant trend towards lower growth rates with increasing pCO2. However, the major changes in the ultra-structure occur by 589 µatm (i.e. in saturated waters). Finite element models of the algae grown at these heightened levels show an increase in the total strain energy of nearly an order of magnitude and an uneven distribution of the stress inside the skeleton when subjected to similar loads as algae grown at ambient levels. This weakening of the structure is likely to reduce the ability of the alga to resist boring by predators and wave energy with severe consequences to the benthic community structure in the immediate future (50 years).