Consistency of UML based designs using ontology reasoners

Software plays an important role in our society and economy. Software development is an intricate process, and it comprises many different tasks: gathering requirements, designing new solutions that fulfill these requirements, as well as implementing these designs using a programming language into a working system. As a consequence, the development of high quality software is a core problem in software engineering. This thesis focuses on the validation of software designs. The issue of the analysis of designs is of great importance, since errors originating from designs may appear in the final system. It is considered economical to rectify the problems as early in the software development process as possible. Practitioners often create and visualize designs using modeling languages, one of the more popular being the Uni ed Modeling Language (UML). The analysis of the designs can be done manually, but in case of large systems, the need of mechanisms that automatically analyze these designs arises. In this thesis, we propose an automatic approach to analyze UML based designs using logic reasoners. This approach firstly proposes the translations of the UML based designs into a language understandable by reasoners in the form of logic facts, and secondly shows how to use the logic reasoners to infer the logical consequences of these logic facts. We have implemented the proposed translations in the form of a tool that can be used with any standard compliant UML modeling tool. Moreover, we authenticate the proposed approach by automatically validating hundreds of UML based designs that consist of thousands of model elements available in an online model repository. The proposed approach is limited in scope, but is fully automatic and does not require any expertise of logic languages from the user. We exemplify the proposed approach with two applications, which include the validation of domain specific languages and the validation of web service interfaces.

Maritime safety in the Gulf of Finland. Evaluation of the regulatory system

Growing traffic is believed to increase the risk of an accident in the Gulf of Finland. As the consequences of a large oil accident would be devastating in the vulnerable sea area, accident prevention is performed at the international, regional and national levels. Activities of shipping companies are governed with maritime safety policy instruments, which can be categorised into regulatory, economic and information instruments. The maritime regulatory system has been criticised for being inefficient because it has not been able to eliminate the violations that enable accidents. This report aims to discover how maritime governance systems or maritime safety policy instruments could be made more efficient in the future, in order to improve the maritime safety level. The results of the research are based on a literature review and nine expert interviews, with participants from shipping companies, interest groups and authorities. Based on the literature and the interviews, a suggestion can be made that in the future, instead of implementing new policy instruments, maritime safety risks should be eliminated by making the existing system more efficient and by influencing shipping companies’ safety culture and seafarers’ safety related attitudes. Based on this research, it can be stated that the development of maritime safety policy instruments should concentrate on harmonisation, automation and increasing national and cross-border cooperation. These three tasks could be primarily accomplished by developing the existing technology. Human error plays a role in a significant number of maritime accidents. Because of this, improving companies’ safety culture and voluntary activities that go beyond laws are acknowledged as potential ways of improving maritime safety. In the future, maritime regulatory system should be developed into a direction where the private sector has better possibilities to take part in decision-making.

State of logistics and transport in the Baltic Sea region in 2025

The world’s pace of change is accelerating and new innovations, inventions and technologies come about every day. Change is unavoidable. It is difficult to keep up and even more difficult to prepare for the future. Even though it is not possible to know exactly what will happen in the future, by studying futures people can better anticipate what might lie ahead. By making decisions and realizing the consequences of their choices today, people and governments are able to actively decide how they will act in the future. Both opportunities and pitfalls lie ahead, which encourages actors to make more farsighted decisions. The Baltic Sea region is an interesting area for futures studies. It comprises 11 nations and more than 100 million inhabitants and entails countries with advanced, high-income economies, like Finland, Germany and Denmark, and developing economies, like Russia, Latvia and Lithuania. The western, eastern, northern and southern parts of the region are separated by the Baltic Sea, which at the same time represents a barrier and a facility for trade and travel between the countries belonging to the region The purpose of this study was to uncover the most probable future of transport and logistics in the Baltic Sea region in 2025 by using the Delphi method. Altogether 109 responses were collected in two separate instances from experts in all the Baltic Sea region countries, 56 of whom were defined as academic respondents and 53 of whom business respondents. Only minor differences in the opinions of academic and business experts were discovered, and the larger differences lie between eastern and western response groups. The Baltic Sea region is a very heterogeneous region and the division is clearest between East and West, which differ in political, economic, social, technological and environmental aspects. The probable future of the Baltic Sea region presented in this study is coherent with previous studies on the same subject. The future of the Baltic Sea region in terms of logistics and transport looks quite bright according to the experts who participated in the study. Trade volumes will grow and the importance of logistics and transport to the competitiveness of the region will increase. Respondents from eastern countries seemed to be more optimistic about the future in general. Most differences between opinions could be explained by the gap in technological and infrastructural development between the East and West. As eastern countries are less-developed in some parts of their economies, it is easier for them to improve the technical condition of infrastructure by merely catching up with the western countries.

Nutrient cycling disturbance in Atlantic Forest sites affected by air pollution coming from the industrial complex of Cubatão, Southeast Brazil

Several aspects of nutrient cycling were studied at two sites of Atlantic Forest, in São Paulo State, Southeast Brazil (23o46’ S; 46o18’ W), which exhibited different degrees of forest structure decline caused by the air pollution emitted by the industrial complex of Cubatão, being referred here as the most and least affected sites (MAS and LAS, respectively). These investigations were developed during 1984 - 1986, a period in which the most severe negative effects of air pollution could be observed. Concentrations and amounts of N, P, K, Ca, Mg and S in four ecosystem compartments (leaves, litter layer, soil and roots) and in rainfall, throughfall and litterfall are briefly presented. At each site, the content of mineral elements generally decreased from leaves to litterfall and litter layer on the forest floor. Soil surface layer (0 - 5 cm) in both sites was the richest in mineral elements. Soil fertility was greater at LAS. In general, nutrient amounts remaining in the compartments and cycling through the ecosystem were greater at LAS as well, which could be due to the higher complexity of the forest structure at this site. Rainfall contributed more to soil inputs of K, Ca, Mg and S than litterfall at both sites. The nutrient residence times in the litter layer were higher and the index of nutrient use efficiency was lower at the most affected site. It was concluded that nutrient cycling was disturbed by air pollution at both sites, but to a greater extent at MAS. The main consequences of the air pollution stress were detected in the flux of nutrients through litterfall and in the litter layer on the forest floor.

Images of the future of privacy: A privacy dynamics framework and a causal layered

The future of privacy in the information age is a highly debated topic. In particular, new and emerging technologies such as ICTs and cognitive technologies are seen as threats to privacy. This thesis explores images of the future of privacy among non-experts within the time frame from the present until the year 2050. The aims of the study are to conceptualise privacy as a social and dynamic phenomenon, to understand how privacy is conceptualised among citizens and to analyse ideal-typical images of the future of privacy using the causal layered analysis method. The theoretical background of the thesis combines critical futures studies and critical realism, and the empirical material is drawn from three focus group sessions held in spring 2012 as part of the PRACTIS project. From a critical realist perspective, privacy is conceptualised as a social institution which creates and maintains boundaries between normative circles and preserves the social freedom of individuals. Privacy changes when actors with particular interests engage in technology-enabled practices which challenge current privacy norms. The thesis adopts a position of technological realism as opposed to determinism or neutralism. In the empirical part, the focus group participants are divided into four clusters based on differences in privacy conceptions and perceived threats and solutions. The clusters are fundamentalists, pragmatists, individualists and collectivists. Correspondingly, four ideal-typical images of the future are composed: ‘drift to low privacy’, ‘continuity and benign evolution’, ‘privatised privacy and an uncertain future’, and ‘responsible future or moral decline’. The images are analysed using the four layers of causal layered analysis: litany, system, worldview and myth. Each image has its strengths and weaknesses. The individualistic images tend to be fatalistic in character while the collectivistic images are somewhat utopian. In addition, the images have two common weaknesses: lack of recognition of ongoing developments and simplistic conceptions of privacy based on a dichotomy between the individual and society. The thesis argues for a dialectical understanding of futures as present images of the future and as outcomes of real processes and mechanisms. The first steps in promoting desirable futures are the awareness of privacy as a social institution, the awareness of current images of the future, including their assumptions and weaknesses, and an attitude of responsibility where futures are seen as the consequences of present choices.

Fractures of the proximal femur: correlation with vitamin D receptor gene polymorphism

Fractures are the feared consequences of osteoporosis and fractures of the proximal femur (FPF) are those that involve the highest morbidity and mortality. Thus far, evaluation of bone mineral density (BMD) is the best way to determine the risk of fracture. Genetic inheritance, in turn, is one of the major determinants of BMD. A correlation between different genotypes of the vitamin D receptor (VDR) and BMD has been recently reported. On this basis, we decided to determine the importance of the determination of VDR genotype in the presence of an osteoporotic FPF in a Brazilian population. We studied three groups: group I consisted of 73 elderly subjects older than 65 years (78.5 ± 7.2 years) hospitalized for nonpathological FPF; group II consisted of 50 individuals older than 65 years (72.9 ± 5.2 years) without FPF and group III consisted of 98 young normal Brazilian individuals aged 32.6 ± 6.6 years (mean ± SD). Analysis of VDR gene polymorphism by restriction fragment length polymorphism (RFLP) was performed by PCR amplification followed by BsmI digestion of DNA isolated from peripheral leukocytes. The genotype distribution in group I was 20.5% BB, 42.5% Bb and 37% bb and did not differ significantly from the values obtained for group II (16% BB, 36% Bb and 48% bb) or for group III (10.2% BB, 47.6% Bb and 41.8% bb). No differences in genotype distribution were observed between sexes or between the young and elderly groups. We conclude that determination of VDR polymorphism is of no practical use for the prediction of FPF. Other nongenetic factors probably start to affect bone mass, the risk to fall and consequently the occurrence of osteoporotic fractures with advancing age.

A model of chronic IgE-mediated food allergy in ovalbumin-sensitized mice

Food allergy is most frequently the result of IgE-mediated hypersensitivity reactions. Here, we describe a chronic model in which some of the intestinal and systemic consequences of continuous egg white solution ingestion by ovalbumin-sensitized eight-week-old BALB/c mice, 6 animals per group, of both sexes, were investigated. There was a 20% loss of body weight that began one week after antigen exposure and persisted throughout the experiment (3 weeks). The sensitization procedure induced the production of anti-ovalbumin IgG1 and IgE, which were enhanced by oral antigen exposure (129% for IgG1 and 164% for IgE, compared to sensitization values). Intestinal changes were determined by jejunum edema at 6 h (45% Evans blue extravasation) and by a significant eosinophil infiltration with a peak at 48 h. By day 21 of continuous antigen exposure, histological findings were mild, with mast cell hyperplasia (100%) and increased mucus production (483%). Altogether, our data clearly demonstrate that, although immune stimulation was persistently occurring in response to continuous oral antigen exposure, regulatory mechanisms were occurring in the intestinal mucosa, preventing overt pathology. The experimental model described here reproduces the clinical and pathological changes of mild chronic food allergy and may be useful for mechanistic studies of this common clinical condition.

Enhanced expression of Ang-(1-7) during pregnancy

Pregnancy is a physiological condition characterized by a progressive increase of the different components of the renin-angiotensin system (RAS). The physiological consequences of the stimulated RAS in normal pregnancy are incompletely understood, and even less understood is the question of how this system may be altered and contribute to the hypertensive disorders of pregnancy. Findings from our group have provided novel insights into how the RAS may contribute to the physiological condition of pregnancy by showing that pregnancy increases the expression of both the vasodilator heptapeptide of the RAS, angiotensin-(1-7) [Ang-(1-7)], and of a newly cloned angiotensin converting enzyme (ACE) homolog, ACE2, that shows high catalytic efficiency for Ang II metabolism to Ang-(1-7). The discovery of ACE2 adds a new dimension to the complexity of the RAS by providing a new arm that may counter-regulate the activity of the vasoconstrictor component, while amplifying the vasodilator component. The studies reviewed in this article demonstrate that Ang-(1-7) increases in plasma and urine of normal pregnant women. In preeclamptic subjects we showed that plasma Ang-(1-7) was suppressed as compared to the levels found in normal pregnancy. In addition, kidney and urinary levels of Ang-(1-7) were increased in pregnant rats coinciding with the enhanced detection and expression of ACE2. These findings support the concept that in normal pregnancy enhanced ACE2 may counteract the elevation in tissue and circulating Ang II by increasing the rate of conversion to Ang-(1-7). These findings provide a basis for the physiological role of Ang-(1-7) and ACE2 during pregnancy.

Efficacy of HUMN criteria for scoring the micronucleus assay in human lymphocytes exposed to a low concentration of p,p'-DDT

The cytokinesis-block micronucleus (CBMN) assay is one of the standard cytogenetic tools employed to assess chromosomal damage subsequent to exposure to genotoxic/cytotoxic agents, and is widely applicable to plant, animal and human cells. In the present study, the CBMN assay was used to assess the baseline damage in binuclear human peripheral blood lymphocytes exposed to 25 µg/L p,p'-DDT for 1, 2, 24, and 48 h by measuring the frequency of micronuclei, nucleoplasmic bridges and nuclear buds. These new scoring criteria facilitated the detection of different types of clastogenic and aneugenic effects induced by this type of pollutant. With these criteria, CBMN can also be used to measure nucleoplasmic bridges which are considered to be consequences of chromosome rearrangements and nuclear buds which are biomarkers of altered gene amplification and gene dosage. The total number of micronuclei observed in binuclear human peripheral blood lymphocytes of the exposed samples (ranging from 32 to 47) was significantly greater (P < 0.05) than that detected in the unexposed (0 time) control sample, where the total number of micronuclei was 7. The number of nucleoplasmic bridges and nuclear buds obtained after 24 and 48 h was also significantly (P < 0.05) greater in the samples treated with p,p'-DDT than in the unexposed control samples. Thus, our results confirmed the usefulness of the new criteria applicable for the CBMN assay employed in measuring the DNA damage and its role of a sensitive cytogenetic biomarker.

Association of loss of heterozygosity with cytogenetic abnormalities in acute myeloid leukemia and myelodysplastic syndrome

Deletions on chromosomes 5 and 7 are frequently seen in myelodysplastic syndrome (MDS) and acute myeloid leukemia (AML). It is assumed that these deletions indicate loss of tumor suppressor genes on these chromosomes and until these tumor suppressor genes are identified, the functional consequences of these deletions and the molecular basis of these myeloid disorders cannot be completely understood. We evaluated loss of heterozygosity (LOH) in 44 patients (18 MDS and 26 AML, diagnosed according to WHO classification criteria) at diagnosis, using a four-microsatellite marker panel: an intragenic marker on the 7th intron of gene IRF-1 of the 5q31.1 region and three markers located inside the 7q31.1 region and correlated the LOH with karyotype abnormalities. The microsatellites chosen corresponded to chromosome regions frequently deleted in MDS/AML. The samples with Q (peak area) less than or equal to 0.50 were indicative of LOH. The percent of informative samples (i.e., heterozygous) for the intragenic microsatellite in gene IRF-1 and in loci D7S486, D7S515 and D7S522 were 66.6, 73.7, 75.5, and 48.8%, respectively. Cytogenetic abnormalities by G-banding were found in 36% (16/44) of the patients (2 of 18 MDS and 14 of 26 AML patients). We found a significantly positive association of the occurrence of LOH with abnormal karyotype (P < 0.05; chi-square test) and there were cases with LOH but the karyotype was normal (by G-banding). These data indicate that LOH in different microsatellite markers is possibly an event previous to chromosomal abnormalities in these myeloid neoplasias.

Imbalance of naive and memory T lymphocytes with sustained high cellular activation during the first year of life from uninfected children born to HIV-1-infected mothers on HAART

The immune consequences of in utero HIV exposure to uninfected children whose mothers were submitted to highly active antiretroviral therapy (HAART) during gestation are not well defined. We evaluated 45 HIV-exposed uninfected (ENI) neonates and 45 healthy unexposed control (CT) neonates. All HIV-infected mothers received HAART during pregnancy, and the viral load at delivery was <50 copies/mL for 56.8%. Twenty-three ENI neonates were further evaluated after 12 months and compared to 23 unexposed healthy age-matched infants. Immunophenotyping was performed by flow cytometry in cord and peripheral blood. Cord blood lymphocyte numbers did not differ between groups. However, ENI neonates had a lower percentage of naive T cells than CT neonates (CD4+, 76.6 vs 83.1%, P < 0.001; CD8+, 70.9 vs 79.6%, P = 0.003) and higher percentages of central memory T cells than CT neonates (CD4+, 13.9 vs 8.7%, P < 0.001; CD8+, 8.6 vs 4.8%, P = 0.001). CD38 mean fluorescence intensity of T cells was higher in ENI neonates (CD4+, 62.2 vs 52.1, P = 0.007; CD8+, 47.7 vs 35.3, P < 0.001). At 12 months, ENI infants still had higher mean fluorescence intensity of CD38 on T cells (CD4+, 34.2 vs 23.3, P < 0.001; CD8+, 26.8 vs 19.4, P = 0.035). Despite effective maternal virologic control at delivery, HIV-exposed uninfected children were born with lower levels of naive T cells. Immune activation was present at birth and remained until at least 12 months of age, suggesting that in utero exposure to HIV causes subtle immune abnormalities.

Participation of the cholinergic system in the ethanol-induced suppression of paradoxical sleep in rats

Sleep disturbance is among the many consequences of ethanol abuse in both humans and rodents. Ethanol consumption can reduce REM or paradoxical sleep (PS) in humans and rats, respectively. The first aim of this study was to develop an animal model of ethanol-induced PS suppression. This model administered intragastrically (by gavage) to male Wistar rats (3 months old, 200-250 g) 0.5 to 3.5 g/kg ethanol. The 3.5 g/kg dose of ethanol suppressed the PS stage compared with the vehicle group (distilled water) during the first 2-h interval (0-2 h; 1.3 vs 10.2; P < 0.001). The second aim of this study was to investigate the mechanisms by which ethanol suppresses PS. We examined the effects of cholinergic drug pretreatment. The cholinergic system was chosen because of the involvement of cholinergic neurotransmitters in regulating the sleep-wake cycle. A second set of animals was pretreated with 2.5, 5.0, and 10 mg/kg pilocarpine (cholinergic agonist) or atropine (cholinergic antagonist). These drugs were administered 1 h prior to ethanol (3.5 g/kg) or vehicle. Treatment with atropine prior to vehicle or ethanol produced a statistically significant decrease in PS, whereas pilocarpine had no effect on minutes of PS. Although the mechanism by which ethanol induces PS suppression is not fully understood, these data suggest that the cholinergic system is not the only system involved in this interaction.

Maternal protein restriction affects gene expression and enzyme activity of intestinal disaccharidases in adult rat offspring

This study investigated the consequences of intrauterine protein restriction on the gastrointestinal tract and particularly on the gene expression and activity of intestinal disaccharidases in the adult offspring. Wistar rat dams were fed isocaloric diets containing 6% protein (restricted, n = 8) or 17% protein (control, n = 8) throughout gestation. Male offspring (n = 5-8 in each group) were evaluated at 3 or 16 weeks of age. Maternal protein restriction during pregnancy produced offspring with growth restriction from birth (5.7 ± 0.1 vs 6.3 ± 0.1 g; mean ± SE) to weaning (42.4 ± 1.3 vs 49.1 ± 1.6 g), although at 16 weeks of age their body weight was similar to control (421.7 ± 8.9 and 428.5 ± 8.5 g). Maternal protein restriction also increased lactase activity in the proximal (0.23 ± 0.02vs 0.15 ± 0.02), medial (0.30 ± 0.06vs 0.14 ± 0.01) and distal (0.43 ± 0.07vs 0.07 ± 0.02 U·g-1·min-1) small intestine, and mRNA lactase abundance in the proximal intestine (7.96 ± 1.11vs 2.38 ± 0.47 relative units) of 3-week-old offspring rats. In addition, maternal protein restriction increased sucrase activity (1.20 ± 0.02 vs 0.91 ± 0.02 U·g-1·min-1) and sucrase mRNA abundance (4.48 ± 0.51 vs 1.95 ± 0.17 relative units) in the duodenum of 16-week-old rats. In conclusion, the present study shows for the first time that intrauterine protein restriction affects gene expression of intestinal enzymes in offspring.

Concomitant stress potentiates the preference for, and consumption of, ethanol induced by chronic pre-exposure to ethanol

Ethanol abuse is linked to several acute and chronic injuries that can lead to health problems. Ethanol addiction is one of the most severe diseases linked to the abuse of this drug. Symptoms of ethanol addiction include compulsive substance intake and withdrawal syndrome. Stress exposure has an important role in addictive behavior for many drugs of abuse (including ethanol), but the consequences of stress and ethanol in the organism when these factors are concomitant results in a complex interaction. We investigated the effects of concomitant, chronic administration of ethanol and stress exposure on the withdrawal and consumption of, as well as the preference for, ethanol in mice. Male Swiss mice (30–35 g, 8-10 per group) were exposed to an ethanol liquid diet as the only source of food for 15 days. In the final 5 days, they were exposed to forced swimming stress. Twelve hours after removal of the ethanol liquid diet, animals were evaluated for ethanol withdrawal by measuring anxiety-related behaviors and locomotor activity. Twenty-four hours after evaluation of ethanol withdrawal, they were evaluated for voluntary consumption of ethanol in a “three-bottle choice” paradigm. Mice exposed to chronic consumption of ethanol had decreased locomotor activity during withdrawal. Contrary to our expectations, a concomitant forced swimming stress did not aggravate ethanol withdrawal. Nevertheless, simultaneous ethanol administration and stress exposure increased voluntary consumption of ethanol, mainly solutions containing high concentrations of ethanol. These results showed that stressful situations during ethanol intake may aggravate specific addiction-related behaviors.

Overview of Zika virus (ZIKV) infection in regards to the Brazilian epidemic

Zika virus (ZIKV), a mosquito-borne flavivirus, belongs to the Flaviviridae family, genus Flavivirus. ZIKV was initially isolated in 1947 from a sentinel monkey in the Zika forest, Uganda. Little clinical importance was attributed to ZIKV, once only few symptomatic cases were reported in some African and Southeast Asiatic countries. This situation changed in 2007, when a large outbreak was registered on the Yap Island, Micronesia, caused by the Asian ZIKV lineage. Between 2013 and 2014, ZIKV spread explosively and caused many outbreaks in different islands of the Southern Pacific Ocean and in 2015 autochthonous transmission was reported in Brazil. Currently, Brazil is the country with the highest number of ZIKV-positive cases in Latin America. Moreover, for the first time after the discovery of ZIKV, the Brazilian scientists are studying the possibility for the virus to cause severe congenital infection related to microcephaly and serious birth defects due to the time-spatial coincidence of the alarming increase of newborns with microcephaly and the Brazilian ZIKV epidemic. The present review summarizes recent information for ZIKV epidemiology, clinical picture, transmission, diagnosis and the consequences of this emerging virus in Brazil.