Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Analisi e riprogettazione dei processi aziendali: aspetti metodologici ed esperienze applicative

Il lavoro tratta l’applicazione di due progetti di Reengineering, in un caso l’obiettivo era quello di ottimizzare il processo di fatturazione passiva di un’azienda operante nel settore della ceramica, nell’altro quello di supportare un Gruppo, operante nel settore logistico, nella valutare l’opportunità di accentramento dei servizi ICT, mitigando gli impatti derivati dai possibili cambiamenti. Questo lavoro è stato preparato durante un periodo di Stage della durata di sei mesi effettuato presso la società di consulenza Revision SRL. Nella prima parte della tesi, attraverso un’analisi della letteratura di riferimento, si sono indagati i principali fattori che interagiscono in un processo di Change management, si è anche effettuato un approfondimento delle tematiche di Business Process Reengineering, i cui principi hanno guidato l’intervento effettuato. La ricerca ha teso ad evidenziare da un lato le radici e gli elementi innovativi che contraddistinguono questo approccio metodologico e dall’altro a sottolineare le possibili cause di insuccesso di un progetto di BPR. La sezione si conclude con la formalizzazione delle metodologia e degli strumenti utilizzati nella conduzione dei progetti. Nella seconda parte del lavoro, insieme alla descrizione del primo caso vengono presentate le varie fasi della riprogettazione, dalla analisi della situazione iniziale, effettuata tramite un questionario e delle interviste dirette al personale addetto, alla identificazione delle criticità, fino alla presentazione e alla valutazione delle nuove configurazioni del processo. Il lavoro è arricchito dall’analisi e dall’applicazione delle tecnologie informatiche/informative di supporto alla nuova configurazione descritta. Nella terza parte, a completamento dell’elaborato, viene presentato il secondo progetto analizzato dove, dopo una fase di analisi della situazione iniziale ancora tramite questionario ed interviste dirette, si riportano le considerazioni fatte in merito alla possibilità di accentramento dei servizi ICT del gruppo analizzato.

La strategia BIM a supporto del progetto della sicurezza nel cantiere edile: il caso dell'ospedale di primo soccorso a Lampedusa.

Throughout this research, the whole life cycle of a building will be analyzed, with a special focus on the most common issues that affect the construction sector nowadays, such as safety. In fact, the goal is to enhance the management of the entire construction process in order to reduce the risk of accidents. The contemporary trend is that of researching new tools capable of reducing, or even eliminating, the most common mistakes that usually lead to safety risks. That is one of the main reasons why new technologies and tools have been introduced in the field. The one we will focus on is the so-called BIM: Building Information Modeling. With the term BIM we refer to wider and more complex analysis tool than a simple 3D modeling software. Through BIM technologies we are able to generate a multi-dimension 3D model which contains all the information about the project. This innovative approach aims at a better understanding and control of the project by taking into consideration the entire life cycle and resulting in a faster and more sustainable way of management. Furthermore, BIM software allows for the sharing of all the information among the different aspects of the project and among the different participants involved thus improving the cooperation and communication. In addition, BIM software utilizes smart tools that simulate and visualize the process in advance, thus preventing issues that might not have been taking into consideration during the design process. This leads to higher chances of avoiding risks, delays and cost increases. Using a hospital case study, we will apply this approach for the completion of a safety plan, with a special focus onto the construction phase.

Don't Worry, B-Buy: E-Procurement at Bucknell

Bucknell University is piloting a centralized e-procurement system for institutional purchasing that will streamline the procurement process.

Cell therapies for heart function recovery: focus on myocardial tissue engineering and nanotechnologies

Cell therapies have gained increasing interest and developed in several approaches related to the treatment of damaged myocardium. The results of multiple clinical trials have already been reported, almost exclusively involving the direct injection of stem cells. It has, however, been postulated that the efficiency of injected cells could possibly be hindered by the mechanical trauma due to the injection and their low survival in the hostile environment. It has indeed been demonstrated that cell mortality due to the injection approaches 90%. Major issues still need to be resolved and bed-to-bench followup is paramount to foster clinical implementations. The tissue engineering approach thus constitutes an attractive alternative since it provides the opportunity to deliver a large number of cells that are already organized in an extracellular matrix. Recent laboratory reports confirmed the interest of this approach and already encouraged a few groups to investigate it in clinical studies. We discuss current knowledge regarding engineered tissue for myocardial repair or replacement and in particular the recent implementation of nanotechnological approaches.

Developing ICF Core Sets for persons with sleep disorders based on the International Classification of Functioning, Disability and Health

BACKGROUND: With the International Classification of Functioning, Disability and Health (ICF), we can now rely on a globally agreed-upon framework and system for classifying the typical spectrum of problems in the functioning of persons given the environmental context in which they live. ICF Core Sets are subgroups of ICF items selected to capture those aspects of functioning that are most likely to be affected by sleep disorders. OBJECTIVE: The objective of this paper is to outline the developmental process for the ICF Core Sets for Sleep. METHODS: The ICF Core Sets for Sleep will be defined at an ICF Core Sets Consensus Conference, which will integrate evidence from preliminary studies, namely (a) a systematic literature review regarding the outcomes used in clinical trials and observational studies, (b) focus groups with people in different regions of the world who have sleep disorders, (c) an expert survey with the involvement of international clinical experts, and (d) a cross-sectional study of people with sleep disorders in different regions of the world. CONCLUSION: The ICF Core Sets for Sleep are being designed with the goal of providing useful standards for research, clinical practice and teaching. It is hypothesized that the ICF Core Sets for Sleep will stimulate research that leads to an improved understanding of functioning, disability, and health in sleep medicine. It is of further hope that such research will lead to interventions and accommodations that improve the restoration and maintenance of functioning and minimize disability among people with sleep disorders throughout the world.

Exploring the World's Largest ERP Implementation: the Role of ERP in Strategic Alignment

As one of the largest and most complex organizations in the world, the Department of Defense (DoD) faces many challenges in solving its well-documented financial and related business operations and system problems. The DoD is in the process of implementing modern multifunction enterprise resource planning (ERP) systems to replace many of its outdated legacy systems. This paper explores the ERP implementations of the DoD and seeks to determine the impact of the ERP implementations on the alignment of the DoD’s business and IT strategy. A brief overview of the alignment literature and background on ERP are followed by case study analysis of the DoD ERP development and current implementation status. Lastly, the paper explores the current successes and failures of the ERP implementation and the impact on the DoD’s goal of strategic alignment.

Social Workers Involvement in Taiwan's 1999 Earthquake Disaster Aid: Implications for Social Work Education

On September 21, 1999, a strong earthquake devastated Taiwan's central areas and claimed more than two thousand casualties. Social work roles in the disaster aid were surveyed with standardized questionnaires six months after the earthquake; in addition, interviews of the key informants, documental research, focus groups and open-ended questionnaires were utilized to collect qualitative data. The study found that social workers had significant roles and functions in both rescue and recovery stages especially in linking the victims' needs with resources. Social workers, including from public and private sectors as well as from campuses including the faculties and students of social work departments, have been deeply involved in helping the victims. Regrettably, most Taiwanese social workers participated in the rescue aid with limited training in disaster aid; social work practice in disaster aid is not included in current curriculums of college level. This means that social work roles and functions in the disaster aid process have not been fully realized by Taiwan's society and professional education.

Agroecosystem resilience and farmers’ perceptions of climate change impacts on cocoa farms in Alto Beni, Bolivia

Cocoa-based small-scale agriculture is the most important source of income for most farming families in the region of Alto Beni in the sub-humid foothills of the Andes. Cocoa is grown in cultivation systems of varying ecological complexity. The plantations are highly susceptible to climate change impacts. Local cocoa producers mention heat waves, droughts, floods and plant diseases as the main impacts affecting plants and working conditions, and they associate these impacts with global climate change. From a sustainable regional development point of view, cocoa farms need to become more resilient in order to cope with the climate change related effects that are putting cocoa-based livelihoods at risk. This study assesses agroecosystem resilience under three different cocoa cultivation systems (successional agroforestry, simple agroforestry and common practice monocultures). In a first step, farmers’ perceptions of climate change impacts were assessed and eight indicators of agroecological resilience were derived in a transdisciplinary process (focus groups and workshop) based on farmers’ and scientists’ knowledge. These indicators (soil organic matter, depth of Ah horizon, soil bulk density, tree species diversity, crop varieties diversity, ant species diversity, cocoa yields and infestation of cocoa trees with Moniliophthora perniciosa) were then surveyed on 15 cocoa farms and compared for the three different cultivation systems. Parts of the socio-economic aspects of resilience were covered by evaluating the role of cocoa cooperatives and organic certification in transitioning to more resilient cocoa farms (interviews with 15 cocoa farmers combined with five expert interviews). Agroecosystem resilience was higher under the two agroforestry systems than under common practice monoculture, especially under successional agroforestry. Both agroforestry systems achieved higher cocoa yields than common practice monoculture due to agroforestry farmers’ enhanced knowledge regarding cocoa cultivation. Knowledge sharing was promoted by local organizations facilitating organic certification. These organizations were thus found to enhance the social process of farmers’ integration into cooperatives and their reorientation toward organic principles and diversified agroforestry.

Quantifying differences in land use emission estimates implied by definition discrepancies

The quantification of CO2 emissions from anthropogenic land use and land use change (eLUC) is essential to understand the drivers of the atmospheric CO2 increase and to inform climate change mitigation policy. Reported values in synthesis reports are commonly derived from different approaches (observation-driven bookkeeping and process-modelling) but recent work has emphasized that inconsistencies between methods may imply substantial differences in eLUC estimates. However, a consistent quantification is lacking and no concise modelling protocol for the separation of primary and secondary components of eLUC has been established. Here, we review differences of eLUC quantification methods and apply an Earth System Model (ESM) of Intermediate Complexity to quantify them. We find that the magnitude of effects due to merely conceptual differences between ESM and offline vegetation model-based quantifications is ~ 20 % for today. Under a future business-as-usual scenario, differences tend to increase further due to slowing land conversion rates and an increasing impact of altered environmental conditions on land-atmosphere fluxes. We establish how coupled Earth System Models may be applied to separate secondary component fluxes of eLUC arising from the replacement of potential C sinks/sources and the land use feedback and show that secondary fluxes derived from offline vegetation models are conceptually and quantitatively not identical to either, nor their sum. Therefore, we argue that synthesis studies should resort to the "least common denominator" of different methods, following the bookkeeping approach where only primary land use emissions are quantified under the assumption of constant environmental boundary conditions.

Production Streamlining through Design, Implementation, and Analysis of Lean Manufacturing Methods

Through the correct implementation of lean manufacturing methods, a company can greatly improve their business. Over a period of three months at TTM Technologies, I utilized my knowledge to fix existing problems ans streamline production. In addition, other trouble areas in their production process were discovered and proper lean methods were used to address them. TTM Technologies saw many changed in the right direction over this time period.

The Skip To Breakfast project: Development, implementation, and feasibility evaluation of an intervention to increase healthful breakfast consumption among fifth grade students and their families

Children and adults frequently skip breakfast and rates are currently increasing. In addition, the food choices made for breakfast are not always healthy ones. Breakfast skipping, in conjunction with unhealthy breakfast choices, leads to impaired cognitive functioning, poor nutrient intake, and overweight. In response to these public health issues, Skip To Breakfast, a behaviorally based school and family program, was created to increase consistent and healthful breakfast consumption among ethnically diverse fifth grade students and their families, using Intervention Mapping™. Four classroom lessons and four parent newsletters were used to deliver the intervention. For this project, a healthy, "3 Star Breakfast" was promoted, and included a serving each of dairy product, whole grain, and fruit, each with an emphasis on being low in fat and sugar. The goal of this project was to evaluate the feasibility and acceptability of the intervention. A pilot-test of the intervention was conducted in one classroom, in a school in Houston, during the Fall 2007 semester. A qualitative evaluation of the intervention was conducted, which included focus groups with students, phone interviews of parents, process evaluation data from the classroom teacher, and direct observation. Sixteen students and six parents participated in the study. Data were recorded and themes were identified. Initial results showed there is a need for such programs. Based on the initial feedback, edits were made to the intervention and program. Results showed high acceptability among the teacher, students, and parents. It became apparent that students were not reliably getting the parent newsletters to their parents to read, so a change to the protocol was made, in which students will receive incentives for having parents read newsletters and return signed forms, to increase parent participation. Other changes included small modifications to the curriculum, such as, clarifying instructions, changing in-class assignments to homework assignments, and including background reading materials for the teacher. The main trial is planned to be carried out in Spring 2008, in two elementary schools, utilizing four, fifth grade classes from each, with one school acting as the control and one as the intervention school. Results from this study can be used as an adjunct to the Coordinated Approach To Child Health (CATCH) program. ^

A model for use by local public health departments to evaluate pandemic influenza plans

The events of the 1990's and early 2000's demonstrated the need for effective planning and response to natural and man-made disasters. One of those potential natural disasters is pandemic flu. Once defined, the CDC stated that program, or plan, effectiveness is improved through the process of program evaluation. (Centers for Disease Control and Prevention, 1999) Program evaluation should be accomplished not only periodically, but in the course of routine administration of the program. (Centers for Disease Control and Prevention, 1999) Accomplishing this task for a "rare, but significant event" is challenging. (Herbold, John R., PhD., 2008) To address this challenge, the RAND Corporation (under contract to the CDC) developed the "Facilitated Look-Backs" approach that was tested and validated at the state level. (Aledort et al., 2006).^ Nevertheless, no comprehensive and generally applicable pandemic influenza program evaluation tool or model is readily found for use at the local public health department level. This project developed such a model based on the "Facilitated Look-Backs" approach developed by RAND Corporation. (Aledort et al., 2006) Modifications to the RAND model included stakeholder additions, inclusion of all six CDC program evaluation steps, and suggestions for incorporating pandemic flu response plans in seasonal flu management implementation. Feedback on the model was then obtained from three LPHD's—one rural, one suburban, and one urban. These recommendations were incorporated into the final model. Feedback from the sites also supported the assumption that this model promotes the effective and efficient evaluation of both pandemic flu and seasonal flu response by reducing redundant evaluations of pandemic flu plans, seasonal flu plans, and funding requirement accountability. Site feedback also demonstrated that the model is comprehensive and flexible, so it can be adapted and applied to different LPHD needs and settings. It also stimulates evaluation of the major issues associated with pandemic flu planning. ^ The next phase in evaluating this model should be to apply it in a program evaluation of one or more LPHD's seasonal flu response that incorporates pandemic flu response plans.^

Improving the health and well-being of women at risk for neural tube defect recurrence

There is growing interest in providing women with internatal care, a package of healthcare and ancillary services that can improve their health during the period after the termination of one pregnancy but before the conception of the next pregnancy. Women who have had a pregnancy affected by a neural tube defect can especially benefit from internatal care because they are at increased risk for recurrence and improvements to their health during the inter-pregnancy period can prevent future negative birth outcomes. The dissertation provides three papers that inform the content of internatal care for women at risk for recurrence by examining descriptive epidemiology to develop an accurate risk profile of the population, assessing whether women at risk for recurrence would benefit from a psychosocial intervention, and determining how to improve health promotion efforts targeting folic acid use.^ Paper one identifies information relevant for developing risk profiles and conducting risk assessments. A number of investigations have found that the risk for neural tube defects differs between non-Hispanic Whites and Hispanics. To understand the risk difference, the descriptive epidemiology of spina bifida and anencephaly was examined for Hispanics and non-Hispanic Whites based on data from the Texas Birth Defects Registry for the years 1999 through 2004. Crude and adjusted birth prevalence ratios and corresponding 95% confidence intervals were calculated between descriptive epidemiologic characteristics and anencephaly and spina bifida for non-Hispanic Whites and for Hispanics. In both race/ethnic groups, anencephaly expressed an inverse relationship with maternal age and a positive linear relationship with parity. Both relationships were stronger in non-Hispanic Whites. Female infants had a higher risk for anencephaly in non-Hispanic Whites. Lower maternal education was associated with increased risk for spina bifida in Hispanics.^ Paper two assesses the need for a psychosocial intervention. For mothers who have children with spina bifida, the transition to motherhood can be stressful. This qualitative study explored the process of becoming a mother to a child with spina bifida focusing particularly on stress and coping in the immediate postnatal environment. Semi-structured interviews were conducted with six mothers who have children with spina bifida. Mothers were asked about their initial emotional and problem-based coping efforts, the quality and kind of support provided by health providers, and the characteristics of their meaning-based coping efforts; questions matched Transactional Model of Stress and Coping (TMSC) constructs. Analysis of the responses revealed a number of modifiable stress and coping transactions, the most salient being: health providers are in a position to address beliefs about self-causality and prevent mothers from experiencing the repercussions that stem from maintaining these beliefs. ^ Paper three identifies considerations when creating health promotion materials targeting folic acid use. A brochure was designed using concepts from the Precaution Adoption Process Model (PAPM). Three focus groups comprising 26 mothers of children with spina bifida evaluated the brochure. One focus group was conducted in Spanish-only, the other two focus groups were conducted in English and Spanish combined. Qualitative analysis of coded transcripts revealed that a brochure is a helpful adjunct. Questions about folic acid support the inclusion of an insert with basic information. There may be a need to develop different educational material for Hispanics so the importance of folic acid is provided in a situational context. Some participants blamed themselves for their pregnancy outcome which may affect their receptivity to messages in the brochure. The women's desire for photographs that affect their perception of threat and their identification with the second role model indicate they belong to PAPM Stage 2 and 3. Participants preferred colorful envelopes, high quality paper, intimidating photographs, simple words, conversational style sentences, and positive messages.^ These papers develop the content of risk assessment, psychosocial intervention, and health promotion components of internatal care as they apply to women at risk for recurrence. The findings provided evidence for considering parity and maternal age when assessing nutritional risk. The two dissimilarities between the two race/ethnic groups, infant sex and maternal education lent support to creating separate risk profiles. Interviews with mothers of children with spina bifida revealed the existence of unmet needs-suggesting that a psychosocial intervention provided as part of internatal care can strengthen and support women's well-being. Segmenting the audience according to race/ethnicity and PAPM stage can improve the relevance of print materials promoting folic acid use.^

Determining the feasibility and acceptability of a garden-based nutrition curriculum for preschoolers

Obesity rates around the nation have risen to epidemic proportions. Rates of childhood obesity are at very high levels with 24.4% of preschool-aged children in the U.S. currently considered as overweight or obese. The percentage of childhood obesity is much higher in the southern part of the United States as compared to the rest of the nation. Minority populations, especially African American and Hispanic, are affected more than other ethnic groups. Obesity prevention programs are needed targeting young children <6 years of age from minority populations. Currently, there are few obesity prevention programs that have been implemented and evaluated in children <6 years of age. Gardening programs have been successful in improving the health status of elementary school children by increasing fruit and vegetable intake and increasing preferences for healthier food choices. However, there is no evidence of the feasibility and acceptability of a garden-based obesity prevention program among preschoolers. This pretest study, a classroom-based gardening curriculum program with 16 lesson plans and coordinating activities for preschool age children (3-5 years old) enrolled in Head Start, provides the opportunity to address this need. The study included 103 preschoolers from two centers and 9 teachers or teachers' aides. Qualitative data on feasibility and acceptability was collected from process evaluation forms of individual lesson plans and focus groups with teachers. Teacher questionnaires assessed individual teacher characteristics and provided feedback regarding the curriculum. Quantitative measures of teachers' self-efficacy, attitudes, and knowledge pertaining to nutrition were analyzed from pre and post-test surveys. Results revealed this preschool garden-based nutrition curriculum was both feasible and acceptable. The program improved teacher's self-efficacy, knowledge, and attitudes about nutrition, with teacher's confidence in ability to teach a gardening curriculum increasing from a mean score of 2.14 to 3.00 from pre to post test (P value = 0.0046). These results indicate implementing garden-based nutrition lessons within preschools is achievable. Employing garden-based nutrition lessons in the classroom is the first step in teaching children about nutrition and gardening concepts. Constructing gardening beds for more hands-on learning is the next proposed step in the larger parent study of this program.^