Models@run.time:foundations, applications, and roadmaps

Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems. This book is one of the outcomes of the Dagstuhl Seminar 11481 on models@run.time held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.

Viability, Optimality and Stability of Dynamical Systems and Estimation of Convergence of Numerical Schemes

AMS subject classification: 49N35,49N55,65Lxx.

Towards the strategic adoption of Lean in aviation Maintenance Repair and Overhaul (MRO) industry:an empirical study into the industry's Lean status

Purpose - Despite many Maintenance Repair and Overhaul (MRO) organisations alluding their positive business performances to the adoption Lean initiatives, there is a paucity of direct literature that validates this assertion. Thus, the purpose of this paper is to study empirically via the use of an industry-wide survey to establish and extent of Lean adoption and to verify its suitability in mitigating prevalent MRO challenges. Design/methodology/approach - The empirical study contained in this paper is facilitated by an industry-wide survey to collect data from several firms across the MRO spectrum. The analysed responses from industry leaders, professionals and executives synthesised with existing literature was used in ascertaining the extent of Lean adoption within the operational framework of the industry. Findings - The empirical study helped in validating the suitability of Lean in MRO context. However, it was also observed that the focus of its application was skewed towards its production-orientated functions more than its service-orientated functions. Nonetheless, this paper presents results of the positive influence of Lean in MRO context. Research limitations/implications - This empirical study presented in this paper was carried out within a framework of key characteristics of operation. Although this approach is sufficient in assessing the industry's Lean status, further assessment can also be achieved within the context of relevant performance metrics which was not included in this paper. Practical implications - By exploring the industry's Lean status within the context of operational characteristics of operation, this study provides MRO practitioners with more awareness into some of the critical factors required for successful holistic Lean realisation. Social implications - The state-of-the-art of Lean within the aviation MRO context established through this research also contributes to the wider product-centric service environment by providing a platform that facilitates strategy development which ensures Lean success within this environment. Originality/value - Apart from validating the suitability of Lean in MRO contexts, by establishing the extent of Lean adoption within the context of the operational framework, this paper provides a clearer insight as to how successful Lean implementation can be achieved via a holistic implementation strategy balanced between the product-centric and service-centric aspects of the industry.

Nurses' spiritual well-being: Its influence on attitudes and level of practice in providing spiritual care

The purpose of this study was to examine the relationship between the spiritual well-being of nurses and its influence on their attitudes toward providing spiritual care to patients. Two research instruments and a demographic data form were used for the survey. Using a descriptive design, tbe Spiritual Well-Being Scale, the Health Professional's Spiritual Role Scale, and the demographic data form were administered to 100 registered nurses from a large South Florida teaching hospital. The findings indicated a significantly positive correlation between the overall Spiritual Well-Being Scale and the Health Professional's Spiritual Role Scale (r = 0.52; p =.005). Significant differences were found between correlation of nurses' levels of spiritual well-being and all sociodemographic factors except for the three Age Groups and for religious affiliations. Findings have implications for how nurses should be trained in meeting patients total needs. ^

Pro-Literacy: A Historical Evaluation and Presentation of Strategies That Have Influenced the Development of the Volunteer Based Adult Education

This paper will present a brief history and work of Pro-Literacy and identify the aspects that serve as a model for other volunteer organizations. Pro- Literacy is an adult literacy program that has been successful in sustaining growth and promoting literacy nationally.

On the developmental continuity /discontinuity of early adolescent patterns of racial identity salience: Relations with later identities and psychosocial adjustment

Given the significant amount of attention placed upon race within our society, racial identity long has been nominated as a meaningful influence upon human development (Cross, 1971; Sellers et al., 1998). Scholars investigating aspects of racial identity have largely pursued one of two lines of research: (a) describing factors and processes that contribute to the development of racial identities, or (b) empirically documenting associations between particular racial identities and key adjustment outcomes. However, few studies have integrated these two approaches to simultaneously evaluate developmental and related adjustment aspects of racial identity among minority youth. Consequently, relations between early racial identity developmental processes and correlated adjustment outcomes remain ambiguous. Even less is known regarding the direction and function of these relationships during adolescence. To address this gap, the present study examined key multivariate associations between (a) distinct profiles of racial identity salience and (b) adjustment outcomes within a community sample of African-American youth. Specifically, a person-centered analytic approach (i.e., cluster analysis) was employed to conduct a secondary analysis of two archived databases containing longitudinal data measuring levels of racial identity salience and indices of psychosocial adjustment among youth at four different measurement occasions.^ Four separate groups of analyses were conducted to investigate (a) the existence of within-group differences in levels of racial identity salience, (b) shifts among distinct racial identity types between contiguous times of measurement, (c) adjustment correlates of racial identity types at each time of measurement, and (d) predictive relations between racial identity clusters and adjustment outcomes, respectively. Results indicated significant heterogeneity in patterns of racial identity salience among these African-American youth as well as significant discontinuity in the patterns of shifts among identity profiles between contiguous measurement occasions. In addition, within developmental stages, levels of racial identity salience were associated with several adjustment outcomes, suggesting the protective value of high levels of endorsement or internalization of racial identity among the sampled youth. Collectively, these results illustrated the significance of racial identity salience as a meaningful developmental construct in the lives of African-American adolescents, the implications of which are discussed for racial identity and practice-related research literatures. ^

Tree Islands in Everglades Landscapes: Current Status, Historical Changes, and Hydrologic Impacts on Population Dynamics and Moisture Relations, First Annual Report

In 2005 we initiated a project designed to better understand tree island structure and function in the Everglades and the wetlands bordering it. Focus was on the raised portions at the upstream end of the islands, where tropical hardwood species adapted to well-drained conditions usually are the most prominent component of the vegetation. The study design is hierarchical, with four levels; in general, a large number of sites is to be surveyed once for a limited set of parameters, and increasingly small sets of islands are to be sampled more intensively, more frequently, and for more aspects of ecosystem function. During the first year of the 3-year study, we completed surveys of 41 Level 1 (i.e., the least intensive level) islands, and established permanent plots in two and three islands of Levels 2 and 4 intensity, respectively. Tree species richness and structural complexity was highest in Shark Slough “hammocks”, while islands in Northeast Shark Slough and Water Conservation Area 3B, which receive heavy human use, were simpler, more park-like communities. Initial monitoring of soil moisture in Level 4 hammocks indicated considerable local variation, presumably associated with antecedent rainfall and current water levels in the adjacent marsh. Tree islands throughout the study area were impacted significantly by Hurricanes Katrina and Wilma in 2005, but appear to be recovering rapidly. As the project continues to include more islands and repeated measurements, we expect to develop a better grasp of tree island dynamics across the Everglades ecosystem, especially with respect to moisture relations and water levels in the adjacent marsh. The detailed progress report which follows is also available online at http://www.fiu.edu/~serp1/projects/treeislands/tree_islands_2005_annual_report.pd

Regional aspects of Miami crime fiction

This thesis argues that forces of literary regionalism and postmodern culture are behind the explosion of crime fiction being written in and about South Florida by a growing number of resident authors. Research included four methods of investigation: 1. A critical reading of many of the novels that make up the sub-genre. 2. A study of the theories of regionalism, postmodernism and the genre of the crime fiction. 3. Interviews with a number of the authors and a prominent Miami book seller. 4. Sociological studies of Miami in terms of historical events and their cultural significance. Today's South Florida crime fiction authors cast their narratives in the old genre of the detective novel where characters are delineated according to traditional definitions of good and evil. Evil characters threaten established order. What makes South Florida crime fiction different from traditional detective fiction is its interest in the exotic, postmodern culture and setting of South Florida. Like the region, the villains are exotic and the order that they threaten is postmodern. There is less of an interest in attributing a larger social meaning to the heroes. Rather, there is an ontological interest in the playing out of good against evil in an almost mythical setting that magnifies economic, environmental and racial issues. There is a unique cultural diversity of the city due to the geographical location of Miami in relationship to Latin America and the Caribbean, and the political forces at work in the region. South Florida's subtropical climate, fragile ecosystem, and elements of frontier life in a cosmopolitan city work to support Miami crime fiction. The setting personifies the unpredictability and pastiche of a postmodern world and may call for a new definition for literature that relies on non-traditional regional characteristics.

The Hindu-Jewish relationship and the significance of dialogue : participants' reflections on the 2007 and 2008 Hindu-Jewish summits at New Delhi and Jerusalem

The purpose of this study was to determine whether or not new and significant developments for the Hindu and Jewish faiths, and the relationship that exists between them, can be demonstrated from the results of the Hindu-Jewish Leadership Summits of 2007 and 2008 in Delhi and Jerusalem. I argue that new and significant developments can be observed with this Hindu-Jewish encounter with regards to official rulings of Halacha (Jewish law), proper understandings of sacred symbols of Hinduism, and even improved Islamic-Jewish relations. After analyzing the approaches, themes, and unique framework found within this encounter, it is clear that the Hindu-Jewish leadership summits mark new and significant developments in inter-religious dialogue between the two traditions, culminating in the redefinition of Hinduism as a monotheistic religion.

Process inventory and pollution prevention overview for the citrus industry

Florida citrus represents approximately 70 percent of the industry production in the United States; therefore, any associated agricultural and industrial contamination is of concern and a focus of attention. The use of synthetic organic chemicals has become a farmer's necessity in order to supply consumers with high quality products, free of pest damage. However, industrial citrus wastes and chemical residual levels worry not only government agencies but also consumers since they indicate a serious habitat risk. This study assesses citrus industrial processes and the paths that chemical substances follow from the time the citrus seed is planted until consumers get a final product as either fresh fruit or processed product. The study is built on information from United States Environmental Protection Agency (US EPA) manuals, Dade County Environmental Resources Management (DERM) inspection records, United States Food and Drug Administration (US FDA) regulations, Florida standards, journal publications, and research reports. Pollution prevention (P2 or prevention-of-pollution) alternatives are identified; alternatives are proposed, evaluated, and included. Strategies are described and pollution prevention opportunities proposed to minimize citrus wastes generation, chemical residuals in products, their environmental impact and health risk aspects while maximizing product quality.

Relation of health related hardiness to health perception and psychosocial adaptation in adult hispanics with chronic hepatitis C

The purpose of this study was to investigate the role of hardiness in health perception and psychosocial adaptation in adult hispanics with chronic hepatitis C (n = 32). The Health Related Hardiness Scale and the Psychosocial Adaptation to Illness Scale were administered to 32 adult hispanics diagnosed with chronic heptitis C at a gastroenterology center. The results indicate that a comparison of subjects with low and high hardiness scores did not reveal significant differences on any of the PAIS domains (health care orientation, sexual relationships, psychological distress, vocational, domestic and social environments). Furthermore, hardiness subscales of control and committment did not have any influence on patient's psychosocial adaptation nor in its domains. However, a comparison of subjects with low and high challenge scores indicates that those with low challenge had lower total psychosocial adaptation scores (M = 5.55, SD = 2.13) than subjects with high challenge scores (M = 4.24, SD = .67) ,t = (1, 30) = 2.34, p < 0.05. Differences were also found for the domains of health care orientation, psychological distress, social and vocational environment. Lastly, there were significant differences on perceived health rating (poor, fair, and good) for the total hardiness score (F = (2,29) =5.49, p < 0.05), control (F =(2,29) = 4.09, p < 0.05), committment (F=(2,29) = 3.76, p < 0.05) and challenge (F=(2,29)= 4.92, p < 0.05). Thus, those patients who rated their health as poor had lower hardiness levels. Findings have implications for promoting hardiness for better health perception and in certain aspects of psychosocial adaptations in adult hispanics with chronic hepatitis C.

A relação forma e significado em versões da Bíblia

This paper analyses the texts of two distinct versions of the protestant Bible, namely: Almeida, Revista e Corrigida (ARC) and Nova Tradução na Linguagem de Hoje (NTLH). In this sense, it investigates the linguistic-textual configurations of such versions with the aim of identifying relevant differences between them and the implications for attribution of meaning between the first and the latter. The Bible is a book of historic influence and its importance is not limited only to the religious realm, but is also considered by many as a work of high literary value. It currently remains in full and wide circulation in the historic, religious and cultural contexts. Furthermore, this book gathers important discursive and textual-linguistic aspects worthy of investigation, especially, if the fact of contrasting its different versions is considered. From the two biblical versions (ARC and NTLH), three distinct discursive genres are of interest (poem, parable and epistle), with five texts from each version, resulting in a total of ten texts. In this sense, we are also interested in the various typological sequences involved in the organization of the discursive genres selected, observing if the predominance of such sequences implies in greater or lesser facility/difficulty of comprehension. We also utilized as a support for analysis the reading protocols of diverse informants, taking into consideration the religious beliefs, the level of education and age, with an aim to verify if the formal differences of the selected texts and the social profile of readers could cause possible changes to the process of text comprehension. To carry out the analysis, we used Usage-Based Linguistics (or Cognitive-Functional Linguistics) as a theoreticalmethodological support, which encompasses contributions from the North American functional tradition and cognitive linguistics.

Arquitetura, cidade e território no Brasil colonial: a contribuição dos carmelitas calçados da Bahia e Pernambuco (1580-1800)

This study investigates the religious group named 'shoe wearing carmelites' (or Calced Carmelites) from Brazil´s Order of Carmo, from 1580 until 1800, in the Capitaincy of Bahia de Todos os Santos (Recôncavo, city of Salvador and Sergipe) and in the Capitaincy of Pernambuco (Alagoas, Pernambuco and Itamaracá). The study does not include the religious group known as the 'Reformed' Carmelites from Goiana, Recife and Paraíba convents. The Order of Carmo is a religious order from the Roman Catholic Church, founded in the 12th century. By the 16th century they were split into 'Calced' and 'Discalced'. In 1580 the Calced ones came from Portugal to Brazil, built convents in urban areas and were able to acquire slaves, farms and other assets. As any other religious order, the Carmelites had their modus operandi. This work emphasizes the way they operated or acted in the city, either individually or in association with other Carmelite religious foundations elsewhere (networking). Their action affected, although indirectly, the building of some specific aspects of the architecture, the city and the territory in colonial Brazil. The main objective of this study is to demonstrate the impact of the Calced Carmelites from Bahia and Pernambuco upon the territory of colonial Brazil, which is analyzed according to three scales: 1) the region or interurban; 2) the city or intraurban; 3) the building or the architecture. The research employs the comparative method of analysis, especially for the architectural scale. The work demonstrates that although not acting as architects or urbanists, the Carmelites contributed to the formation of the colonial territory of Brazil, behaving as a well-articulated and hierarchized religious network, from an economic and social perspective. Moreover, they influenced the emergence and growth of several colonial urban nuclei, from Bahia to Pernambuco, mainly in the surroundings of their religious buildings. Finally, it is very clear this religious order’s contribution to colonial architecture, as it can be seen by the architectural characteristics of the convents and churches which have been analyzed, many of which still stand in a good state of conservation nowadays.

Efficient numerical methods for the random-field Ising model: Finite-size scaling, reweighting extrapolation, and computation of response functions

It was recently shown [Phys. Rev. Lett. 110, 227201 (2013)] that the critical behavior of the random-field Ising model in three dimensions is ruled by a single universality class. This conclusion was reached only after a proper taming of the large scaling corrections of the model by applying a combined approach of various techniques, coming from the zero-and positive-temperature toolboxes of statistical physics. In the present contribution we provide a detailed description of this combined scheme, explaining in detail the zero-temperature numerical scheme and developing the generalized fluctuation-dissipation formula that allowed us to compute connected and disconnected correlation functions of the model. We discuss the error evolution of our method and we illustrate the infinite limit-size extrapolation of several observables within phenomenological renormalization. We present an extension of the quotients method that allows us to obtain estimates of the critical exponent a of the specific heat of the model via the scaling of the bond energy and we discuss the self-averaging properties of the system and the algorithmic aspects of the maximum-flow algorithm used.

Religious women demonstrate at United Nations to support nuns who want to become priests

General note: Title and date provided by Bettye Lane.