Refinement methods for software architecture design using the software architecture model

Modern software systems are often large and complicated. To better understand, develop, and manage large software systems, researchers have studied software architectures that provide the top level overall structural design of software systems for the last decade. One major research focus on software architectures is formal architecture description languages, but most existing research focuses primarily on the descriptive capability and puts less emphasis on software architecture design methods and formal analysis techniques, which are necessary to develop correct software architecture design. ^ Refinement is a general approach of adding details to a software design. A formal refinement method can further ensure certain design properties. This dissertation proposes refinement methods, including a set of formal refinement patterns and complementary verification techniques, for software architecture design using Software Architecture Model (SAM), which was developed at Florida International University. First, a general guideline for software architecture design in SAM is proposed. Second, specification construction through property-preserving refinement patterns is discussed. The refinement patterns are categorized into connector refinement, component refinement and high-level Petri nets refinement. These three levels of refinement patterns are applicable to overall system interaction, architectural components, and underlying formal language, respectively. Third, verification after modeling as a complementary technique to specification refinement is discussed. Two formal verification tools, the Stanford Temporal Prover (STeP) and the Simple Promela Interpreter (SPIN), are adopted into SAM to develop the initial models. Fourth, formalization and refinement of security issues are studied. A method for security enforcement in SAM is proposed. The Role-Based Access Control model is formalized using predicate transition nets and Z notation. The patterns of enforcing access control and auditing are proposed. Finally, modeling and refining a life insurance system is used to demonstrate how to apply the refinement patterns for software architecture design using SAM and how to integrate the access control model. ^ The results of this dissertation demonstrate that a refinement method is an effective way to develop a high assurance system. The method developed in this dissertation extends existing work on modeling software architectures using SAM and makes SAM a more usable and valuable formal tool for software architecture design. ^

Valued occupational roles and life satisfaction among south Florida HIV-infected and non-infected homosexual males: An exploratory study

A study was conducted in order to describe and understand the occupational role behavior of gay men with particular interest on understanding the impact of an HIV diagnosis on their roles and life satisfaction. A 137-item questionnaire was developed for this study and distributed through various gay community groups in south Florida. The process resulted in ranked description of 24 valued occupational roles of gay men (n = 80) along with a general understanding of potential shifts that may occur in those roles as a result of becoming infected with HIV. The study concludes that a diagnosis of HIV infection impacts gay men both by altering their value for particular roles and by darkening the images they hold of their future. The study also identified key factors which may contribute to the greater life satisfaction of gay men including greater confidence in personal knowledge of HIV, a more optimistic outlook an life, the use of stronger coping styles, and perceiving stronger social support and lower stress. ^

Quality of life and application of the transtheoretical model to diabetes self -management behaviors in older adults with type 2 diabetes

One in five adults 65 years and older has diabetes. Coping with diabetes is a lifelong task, and much of the responsibility for managing the disease falls upon the individual. Reports of non-adherence to recommended treatments are high. Understanding the additive impact of diabetes on quality of life issues is important. The purpose of this study was to investigate the quality of life and diabetes self-management behaviors in ethnically diverse older adults with type 2 diabetes. The SF-12v2 was used to measure physical and mental health quality of life. Scores were compared to general, age sub-groups, and diabetes-specific norms. The Transtheoretical Model (TTM) was applied to assess perceived versus actual behavior for three diabetes self-management tasks: dietary management, medication management, and blood glucose self-monitoring. Dietary intake and hemoglobin A1c values were measured as outcome variables. Utilizing a cross-sectional research design, participants were recruited from Elderly Nutrition Program congregate meal sites (n = 148, mean age 75). ^ Results showed that mean scores of the SF-12v2 were significantly lower in the study sample than the general norms for physical health (p < .001), mental health (p < .01), age sub-group norms (p < .05), and diabetes-specific norms for physical health (p < .001). A multiple regression analysis found that adherence to an exercise plan was significantly associated with better physical health (p < .001). Transtheoretical Model multiple regression analyses explained 68% of the variance for % Kcal from fat, 41% for fiber, 70% for % Kcal from carbohydrate, and 7% for hemoglobin A 1c values. Significant associations were found between TTM stage of change and dietary fiber intake (p < .01). Other significant associations related to diet included gender (p < .01), ethnicity (p < .05), employment (p < .05), type of insurance (p < .05), adherence to an exercise plan (p < .05), number of doctor visits/year ( p < .01), and physical health (p < .05). Significant associations were found between hemoglobin A1c values and age ( p < .05), being non-Hispanic Black (p < .01), income (p < .01), and eye problems (p < .05). ^ The study highlights the importance of the beneficial effects of exercise on quality of life issues. Furthermore, application of the Transtheoretical Model in conjunction with an assessment of dietary intake may be valuable in helping individuals make lifestyle changes. ^

Comparative analysis of a moderating and mediating model of stress, appraisal, and coping in Hispanic and non-Hispanic Alzheimer's disease caregivers

This dissertation utilizes a cross-sectional study to examine the phenomenon of caregiving within a theoretically grounded stress, appraisal, and coping model. Hispanic and non-Hispanic caregivers were studied to examine the factors associated with variance in caregiver appraisal, coping, and outcomes of caregiving strain (depression and somatic complaints) and caregiving gain (life satisfaction, mastery, and personal gain). A purposive sampling strategy was used to recruit 204 Alzheimer's disease caregivers in South Florida. A self-report questionnaire was used to collect demographic data, and to measure stress, appraisal, coping, and psychological well-being of caregivers. Regression equations were developed to compare moderating and mediating models of appraisal and coping. Emotion-focused coping skills were found to significantly moderate the effects of stress (F [1,195] = 4.62, p < .05), explaining approximately 21% of the variance in satisfaction was found to moderate the effects of stress (F [1,195] = 7.09; p < .05), explaining approximately 27% of the variance in personal gain and approximately 8% of the variance in life satisfaction (F [1,195] = 4.14; p < .05). Appraisal of Burden was found to significantly mediate the effects of stress, explaining approximately 30% of the variance in somatic complaints (F [1,196] = 31.60; p < .001) and 32% of the variance in depression (F [1,196] = 38.18; p < .001). The results of the analyses indicate that appraisal and coping skills are important variables in the stress process. The results of this study underscore the importance of accounting for positive and negative outcomes in providing a fuller understanding of the stress, appraisal and coping process of Alzheimer's Disease caregivers. ^

Graduate program culture and intention to persist: Working adults in cohort and non-cohort programs

Cohort programs have been instituted at many universities to accommodate the growing number of mature adult graduate students who pursue degrees while maintaining multiple commitments such as work and family. While it is estimated that as many as 40–60% of students who begin graduate study fail to complete degrees, it is thought that attrition may be even higher for this population of students. Yet, little is known about the impact of cohorts on the learning environment and whether cohort programs affect graduate student retention. Retention theory stresses the importance of the academic department, quality of faculty-student relationships and student involvement in the life of the academic community as critical determinants in students' decisions to persist to degree completion. However, students who are employed full-time typically spend little time on campus engaged in the learning environment. Using academic and social integration theory, this study examined the experiences of working adult graduate students enrolled in cohort (CEP) and non-cohort (non-CEP) programs and the influence of these experiences on intention to persist. The Graduate Program Context Questionnaire was administered to graduate students (N = 310) to examine measures of academic and social integration and intention to persist. Sample t tests and ANOVAs were conducted to determine whether differences in perceptions could be identified between cohort and non-cohort students. Multiple linear regression was used to identify variables that predict students' intention to persist. While there were many similarities, significant differences were found between CEP and non-CEP student groups on two measures. CEP students rated peer-student relationships higher and scored higher on the intention to persist measure than non-CEP students. The psychological integration measure, however, was the strongest predictor of intention to persist for both the CEP and non-CEP groups. This study supports the research literature which suggests that CEP programs encourage the development of peer-student relationships and promote students' commitment to persistence.

Glycemic control: Risk factors, quality of life, workforce participation, and mortality among US adults with type 2 diabetes

Despite research showing the benefits of glycemic control, it remains suboptimal among adults with diabetes in the United States. Possible reasons include unaddressed risk factors as well as lack of awareness of its immediate and long term consequences. The objectives of this study were to, using cross-sectional data, (1) ascertain the association between suboptimal (Hemoglobin A1c (HbA1c) .7%), borderline (HbA1c 7-8.9%), and poor (HbA1c .9%) glycemic control and potentially new risk factors (e.g. work characteristics), and (2) assess whether aspects of poor health and well-being such as poor health related quality of life (HRQOL), unemployment, and missed-work are associated with glycemic control; and (3) using prospective data, assess the relationship between mortality risk and glycemic control in US adults with type 2 diabetes. Data from the 1988-1994 and 1999-2004 National Health and Nutrition Examination Surveys were used. HbA1c values were used to create dichotomous glycemic control indicators. Binary logistic regression models were used to assess relationships between risk factors, employment status and glycemic control. Multinomial logistic regression analyses were conducted to assess relationships between glycemic control and HRQOL variables. Zero-inflated Poisson regression models were used to assess relationships between missed work days and glycemic control. Cox-proportional hazard models were used to assess effects of glycemic control on mortality risk. Using STATA software, analyses were weighted to account for complex survey design and non-response. Multivariable models adjusted for socio-demographics, body mass index, among other variables. Results revealed that being a farm worker and working over 40 hours/week were risk factors for suboptimal glycemic control. Having greater days of poor mental was associated with suboptimal, borderline, and poor glycemic control. Having greater days of inactivity was associated with poor glycemic control while having greater days of poor physical health was associated with borderline glycemic control. There were no statistically significant relationships between glycemic control, self-reported general health, employment, and missed work. Finally, having an HbA1c value less than 6.5% was protective against mortality. The findings suggest that work-related factors are important in a person’s ability to reach optimal diabetes management levels. Poor glycemic control appears to have significant detrimental effects on HRQOL.^

Non-Contact Femoral Fracture in a Collegiate Football Player

We present a unique athletic injury witnessed by the primary investigator who was compelled to convey the details of the incident to other Certified Athletic Trainers. This case is presented to increase awareness and ensure proper recognition, evaluation, and treatment of this potentially life-threatening injury.

Multiple predator effects and native prey responses to two non-native Everglades cichlids

Non-native predators may have negative impacts on native communities, and these effects may be dependent on interactions among multiple non-native predators. Sequential invasions by predators can enhance risk for native prey. Prey have a limited ability to respond to multiple threats since appropriate responses may conflict, and interactions with recent invaders may be novel. We examined predator–prey interactions among two non-native predators, a recent invader, the African jewelfish, and the longer-established Mayan cichlid, and a native Florida Everglades prey assemblage. Using field enclosures and laboratory aquaria, we compared predatory effects and antipredator responses across five prey taxa. Total predation rates were higher for Mayan cichlids, which also targeted more prey types. The cichlid invaders had similar microhabitat use, but varied in foraging styles, with African jewelfish being more active. The three prey species that experienced predation were those that overlapped in habitat use with predators. Flagfish were consumed by both predators, while riverine grass shrimp and bluefin killifish were eaten only by Mayan cichlids. In mixed predator treatments, we saw no evidence of emergent effects, since interactions between the two cichlid predators were low. Prey responded to predator threats by altering activity but not vertical distribution. Results suggest that prey vulnerability is affected by activity and habitat domain overlap with predators and may be lower to newly invading predators, perhaps due to novelty in the interaction.

The utility of an Integrated Qualitative /Quantitative Data Analytic Strategy (IQ -DAS) to evaluate the impact of youth development interventions to positive qualitative change in the life course

This study reports one of the first controlled studies to examine the impact of a school based positive youth development program (Lerner, Fisher, & Weinberg, 2000) on promoting qualitative change in life course experiences as a positive intervention outcome. The study built on a recently proposed relational developmental methodological metanarrative (Overton, 1998) and advances in use of qualitative research methods (Denzin & Lincoln, 2000). The study investigated the use the Life Course Interview (Clausen, 1998) and an integrated qualitative and quantitative data analytic strategy (IQ-DAS) to provide empirical documentation of the impact the Changing Lives Program on qualitative change in positive identity in a multicultural population of troubled youth in an alternative public high school. The psychosocial life course intervention approach used in this study draws its developmental framework from both psychosocial developmental theory (Erikson, 1968) and life course theory (Elder, 1998) and its intervention strategies from the transformative pedagogy of Freire's (1983/1970). ^ Using the 22 participants in the Intervention Condition and the 10 participants in the Control Condition, RMANOVAs found significantly more positive qualitative change in personal identity for program participants relative to the non-intervention control condition. In addition, the 2X2X2X3 mixed design RMANOVA in which Time (pre, post) was the repeated factor and Condition (Intervention versus Control), Gender, and Ethnicity the between group factors, also found significant interactions for the Time by Gender and Time by Ethnicity. ^ Moreover, the directionality of the basic pattern of change was positive for participants of both genders and all three ethnic groups. The pattern of the moderation effects also indicated a marked tendency for participants in the intervention group to characterize their sense of self as more secure and less negative at the end of the their first semester in the intervention, that was stable across both genders and all three ethnicities. The basic differential pattern of an increase in the intervention condition of a positive characterization of sense of self relative to both pre test and relative to the directionality of the movement of the non-intervention controls, was stable across both genders and all three ethnic groups. ^

Perceived Risk of Predation Affects Reproductive Life - History Traits in Gambusia holbrooki, but Not in Heterandria formosa

Key to predicting impacts of predation is understanding the mechanisms through which predators impact prey populations. While consumptive effects are well-known, non-consumptive predator effects (risk effects) are increasingly being recognized as important. Studies of risk effects, however, have focused largely on how trade-offs between food and safety affect fitness. Less documented, and appreciated, is the potential for predator presence to directly suppress prey reproduction and affect life-history characteristics. For the first time, we tested the effects of visual predator cues on reproduction of two prey species with different reproductive modes, lecithotrophy (i.e. embryonic development primarily fueled by yolk) and matrotrophy (i.e. energy for embryonic development directly supplied by the mother to the embryo through a vascular connection). Predation risk suppressed reproduction in the lecithotrophic prey (Gambusia holbrokii) but not the matrotroph (Heterandria formosa). Predator stress caused G. holbrooki to reduce clutch size by 43%, and to produce larger and heavier offspring compared to control females. H. formosa, however, did not show any such difference. In G. holbrooki we also found a significantly high percentage (14%) of stillbirths in predator-exposed treatments compared to controls (2%). To the best of our knowledge, this is the first direct empirical evidence of predation stress affecting stillbirths in prey. Our results suggest that matrotrophy, superfetation (clutch overlap), or both decrease the sensitivity of mothers to environmental fluctuation in resource (food) and stress (predation risk) levels compared to lecithotrophy. These mechanisms should be considered both when modeling consequences of perceived risk of predation on prey-predator population dynamics and when seeking to understand the evolution of reproductive modes.

Physical activity and nutrition related variables in hispanic and non-hispanic college students

It has been estimated that one in four adults have sedentary lifestyles. In addition there appears to be an increase in obesity across the life span. It is of great importance to the health of this nation to understand how to promote more active lifestyles through the identification of lifestyle behaviors of active individuals and potential predictors of physical activity (PA). Seven hundred and seventy-seven college students were surveyed to investigate the relationship between nutrition related variables (i.e., dietary restraint, nutrition knowledge, food choice and body weight concerns) and PA. In this study, over half of the students reported doing 30 minutes of moderate intensity PA daily. Vigorously active males and females chose low fat foods more often than the less active group. Exercisers and non-exercisers had similar nutrition knowledge. The results of this study suggest that students who are more active are more conscience about making healthier food choices.

Glycemic Control: Risk Factors, Quality of Life, Workforce Participation, and Mortality Among US Adults with Type 2 Diabetes

Despite research showing the benefits of glycemic control, it remains suboptimal among adults with diabetes in the United States. Possible reasons include unaddressed risk factors as well as lack of awareness of its immediate and long term consequences. The objectives of this study were to, using cross-sectional data, 1) ascertain the association between suboptimal (Hemoglobin A1c (HbA1c) ≥7%), borderline (HbA1c 7-8.9%), and poor (HbA1c ≥9%) glycemic control and potentially new risk factors (e.g. work characteristics), and 2) assess whether aspects of poor health and well-being such as poor health related quality of life (HRQOL), unemployment, and missed-work are associated with glycemic control; and 3) using prospective data, assess the relationship between mortality risk and glycemic control in US adults with type 2 diabetes. Data from the 1988-1994 and 1999-2004 National Health and Nutrition Examination Surveys were used. HbA1c values were used to create dichotomous glycemic control indicators. Binary logistic regression models were used to assess relationships between risk factors, employment status and glycemic control. Multinomial logistic regression analyses were conducted to assess relationships between glycemic control and HRQOL variables. Zero-inflated Poisson regression models were used to assess relationships between missed work days and glycemic control. Cox-proportional hazard models were used to assess effects of glycemic control on mortality risk. Using STATA software, analyses were weighted to account for complex survey design and non-response. Multivariable models adjusted for socio-demographics, body mass index, among other variables. Results revealed that being a farm worker and working over 40 hours/week were risk factors for suboptimal glycemic control. Having greater days of poor mental was associated with suboptimal, borderline, and poor glycemic control. Having greater days of inactivity was associated with poor glycemic control while having greater days of poor physical health was associated with borderline glycemic control. There were no statistically significant relationships between glycemic control, self-reported general health, employment, and missed work. Finally, having an HbA1c value less than 6.5% was protective against mortality. The findings suggest that work-related factors are important in a person’s ability to reach optimal diabetes management levels. Poor glycemic control appears to have significant detrimental effects on HRQOL.

Factors associated with critical care nurses' communication with non-communicative patients in the ICU

Hospitalized individuals are isolated from their familiar environment at the onset of illness. Those individuals who are non-communicative are detached from the world and from life, as they previously knew it. Although nurses have long since recognized the importance of communication, patients still report the lack of iy. This study was done to identify factors influencing critical care nurses to communicate with their noncommunicative patients. The overall results of the study indicate that nurses are aware of the importance of verbal communication with patients who may be intubated, paralyzed, unconscious, comatose or neurologically impaired and are not deterred by them. Despite these results, some significant observations emerged identified. CCRN certified nurses and nurses with more years of experience were less likely to have verbal communication with noncommunicative patients. Nurses with children, spouses and those working full-time were more likely to communicate with non-communicative patients.

The utility of an integrated qualitative/quantitative data analytic strategy (IQ-DAS) to evaluate the impact of youth development interventions on positive qualitative change in the life course

This study reports one of the first controlled studies to examine the impact of a school based positive youth development program (Lerner, Fisher, & Weinberg, 2000) on promoting qualitative change in life course experiences as a positive intervention outcome. The study built on a recently proposed relational developmental methodological metanarrative (Overton, 1998) and advances in use of qualitative research methods (Denzin & Lincoln, 2000). The study investigated the use the Life Course Interview (Clausen, 1998) and an integrated qualitative and quantitative data analytic strategy (IQDAS) to provide empirical documentation of the impact the Changing Lives Program on qualitative change in positive identity in a multicultural population of troubled youth in an alternative public high school. The psychosocial life course intervention approach used in this study draws its developmental framework from both psychosocial developmental theory (Erikson, 1968) and life course theory (Elder, 1998) and its intervention strategies from the transformative pedagogy of Freire's (1983/1970). Using the 22 participants in the Intervention Condition and the 10 participants in the Control Condition, RMANOVAs found significantly more positive qualitative change in personal identity for program participants relative to the non-intervention control condition. In addition, the 2X2X2X3 mixed design RMANOVA in which Time (pre, post) was the repeated factor and Condition (Intervention versus Control), Gender, and Ethnicity the between group factors, also found significant interactions for the Time by Gender and Time by Ethnicity. Moreover, the directionality of the basic pattern of change was positive for participants of both genders and all three ethnic groups. The pattern of the moderation effects also indicated a marked tendency for participants in the intervention group to characterize their sense of self as more secure and less negative at the end of the their first semester in the intervention, that was stable across both genders and all three ethnicities. The basic differential pattern of an increase in the intervention condition of a positive characterization of sense of self relative to both pre test and relative to the directionality of the movement of the non-intervention controls, was stable across both genders and all three ethnic groups.

Development of Independent Living Skills in Project Panther LIFE Students during the Summer Residential Program

Project Panther LIFE: Panther Learning Is For Everyone is an ongoing collaborative partnership between Florida International University (FIU), Miami-Dade County Public Schools (M-DCPS), and Parent to Parent of Miami, Inc. to develop, implement, support, and expand a non-degree postsecondary transition program for students with intellectual disabilities (ID). In Summer 2014, the program launched its first on-campus three-week Summer Residential Program (SRP) which focused on the development of independent living skills and self-determination skills An overview of the SRP components, program support systems, and benefits of the experience will be given through the perspective of key personnel, partnerships, and students.