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. ^

Toward an understanding of how individuals overcome challenges to development: A phenomenological study of an inner -city student's attitude toward academic orientation and life

The purpose of this qualitative case study was to gain an understanding of the phenomenon of academic orientation by seeking the insights into an inner-city Haitian-American middle school student's attitudes and world view toward education and life. A phenomenological approach was used in order to explore the way in which Cindy, a minority student, gives meaning to her lived-experiences in terms of her desire to meet academic expectations and her ability to overcome social adversity and/or other risk factors.^ The study attempted to answer the following two research questions: (1) What provides the focus for Cindy's (the subject's) approach to her school work and/or life? (2) What are the processes that give meaning and direction to academic orientation and life for Cindy? In-depth interviewing was the primary method of data collection. In addition, journal and sketchbook entries and school district records were used and classroom observations made.^ The nature of the study to understand lived-experience facilitated the use of the case study method and a phenomenological method of description. Data analysis was conducted by means of an adapted form of the constant comparative approach. Patterns in the data which emerged were coded and categorized according to underlying generative themes. Phenomenological reflection and analysis were used to grasp the experiential structures of Cindy's experience. The following textural themes were identified and confirmed to be essential themes to Cindy's experience: personal challenge to do her best, personal challenge to want to learn, having a sense of determination, being able to think for self, having a disposition to like self, achieving self-respect through performance, seeing a need to help others, being intrinsically motivated, being an independent learner, attending more to academic pressure and less to peer pressure, having motivational catalysts in her life, learning and support opportunities, and having a self-culture. Using Mahrer's humanistic theory of experiencing, Cindy's development was interpreted in terms of her progression through a sequence of developmental plateaus: externalized self, internalized self, and integrating and actualizing self.^ The findings of this study were that Cindy's desire to meet academic expectations is guided by a meaning construction internal frame of reference. High expectations of self in conjunction with other protective factors found in Cindy's home and school environments were also found to be linked to her educational resilience and success. Cindy's lived-experiences were also found to be related to Mahrer's theory of human development. In addition, it was concluded that "minority" students do not all fit into social categories and labels. ^

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. ^

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.

Positive Impact of Peer Mentorships in the Project Panther LIFE Program

FIU’s Project Panther LIFE is a program that allows students with Intellectual Disabilities to have a full college experience. Project Panther LIFE students receive support from their Academic Mentors and Peer Coaches during the academic year. This study examines the positive impacts of peer relationships between Panther LIFE students and their mentor support system.