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

Alternative service organizations: Funding environment, strategies, and patterns of adaptation

This study explored the strategies that community-based, consumer-focused advocacy, alternative service organizations (ASOs), implemented to adapt to the changes in the nonprofit funding environment (Oliver & McShane, 1979; Perlmutter, 1988a, 1994). It is not clear as to the extent to which current funding trends have influenced ASOs as little empirical research has been conducted in this area (Magnus, 2001; Marquez, 2003; Powell, 1986). ^ This study used a qualitative research design to investigate strategies implemented by these organizations to adapt to changes such as decreasing government, foundation, and corporate funding and an increasing number of nonprofit organizations. More than 20 community informants helped to identify, locate, and provide information about ASOs. Semi-structured interviews were conducted with a sample of 30 ASO executive directors from diverse organizations in Miami-bade and Broward Counties, in South Florida. ^ Data analysis was facilitated by the use of ATLAS.ti, version 5, a qualitative data analysis computer software program designed for grounded theory research. This process generated five major themes: Funding Environment; Internal Structure; Strategies for Survival; Sustainability; and Committing to the Cause, Mission, and Vision. ^ The results indicate that ASOs are struggling to survive financially by cutting programs, decreasing staff, and limiting service to consumers. They are also exploring ways to develop fundraising strategies; for example, increasing the number of proposals written for grants, focusing on fund development, and establishing for-profit ventures. Even organizations that state that they are currently financially stable are concerned about their financial vulnerability. There is little flexibility or cushioning to adjust to "funding jolts." The fear of losing current funding levels and being placed in a tenuous financial situation is a constant concern for these ASOs. ^ Further data collected from the self-administered Funding Checklist and demographic forms were coded and analyzed using Statistical Package for the Social Sciences (SPSS). Descriptive information and frequencies generated findings regarding the revenue, staff compliment, use of volunteers and fundraising consultants, and fundraising practices. The study proposes a model of funding relationships and presents implications for social work practice, and policy, along with recommendations for future research. ^

A computer based approach to improve the dietary and physical activity patterns of a diverse group of adolescents

Diet and physical activity patterns have been implicated as major factors in the increasing prevalence of childhood and adolescent obesity. It is estimated that between 16 and 33 percent of children and adolescents in the United States are overweight (CDC, 2000). Moreover, the CDC estimates that less than 50% of adolescents are physically active on a regular basis (CDC, 2003). Interventions must be focused to modify these behaviors. Facilitating the understanding of proper nutrition and need for physical activity among adolescents is the first step in preventing overweight and obesity and delaying the development of chronic diseases later in life (Dwyer, 2000). The purpose of this study was to compare the outcomes of students receiving one of two forms of education (both emphasizing diet and physical activity), to determine whether a computer based intervention (CBI) program using an interactive, animated CD-ROM would elicit a greater behavior change in comparison to a traditional didactic intervention (TDI) program. A convenience sample of 254 high school students aged 14-19 participated in the 6-month program. A pre-test post-test design was used, with follow-up measures taken at three months post-intervention. ^ No change was noted in total fat, saturated fat, fruit/vegetables, or fiber intake for any of the groups. There was also no change in perceived self-efficacy or perceived social support. Results did, however, indicate an increase in nutrition knowledge for both intervention groups (p<0.001). In addition, the CBI group demonstrated more positive and sustained behavior changes throughout the course of the study. These changes included a decrease in BMI (ppre/post<0.001, ppost/follow-up<0.001), number of meals skipped (ppre/post<0.001), and soda consumption (ppre/post=0.003, ppost/follow-up=0.03) and an increase in nutrition knowledge (ppre/post<0.001, ppre/follow-up <0.001), physical activity (ppre/post<0.05, p pre/follow-up<0.01), frequency of label reading (ppre/follow-up <0.0l) and in dairy consumption (ppre/post=0.03). The TDI group did show positive gains in some areas post intervention, however a return to baseline behavior was shown at follow-up. Findings of this study suggest that compared to traditional didactic teaching, computer-based nutrition and health education has greater potential to elicit change in knowledge and behavior as well as promote maintenance of the behavior change over time. ^

Patterns of acculturative stress: Continuity, discontinuity, and adjustment among Latino youth

This study evaluated inter- and intra-individual changes in acculturation, acculturative stress, and adaptation experiences, as well as their associations with adjustment outcomes among a group of Latino adolescents in South Florida. Specifically, the current study investigated the incidence, changes, and effects of stressors that arise from acculturation experiences (e.g., related to culture, discrimination, language difficulties) among Latino youth by employing a person-centered approach and a longitudinal research design. Four separate groups of analyses were conducted to investigate (a) within-group differences in levels of reported acculturative stress, (b) patterns of continuity and discontinuity in levels of acculturative stress across time, (c) adjustment outcomes associated with distinct patterns of acculturative stress within each measurement occasion, and (d) predictive relations between longitudinal acculturative stress trajectories in early adolescence and psychosocial adjustment outcomes in young adulthood. ^ Results from the multivariate analyses indicated great within group heterogeneity in acculturative stress among Latino youth during early adolescence, as well as significant continuity and discontinuity in the patterns of shifts among acculturative stress profiles between contiguous measurement occasions. Within each developmental period, membership in acculturative stress clusters was significantly and differentially associated with multiple adjustment outcomes, suggesting that maladaptive outcomes are more likely to occur among Latino adolescents experiencing high levels of psychological distress across multiple acculturative domains. In general, Latino youth acculturation is best understood as multi-dimensional, to be variable across time, and to be fluid and responsive to multiple factors and influences. Implications for preventive strategies are discussed with regard to acculturation and developmental psychology research literatures. ^

Customization of the design of antenna using genetic algorithm and finite-difference time-domain technique

Antenna design is an iterative process in which structures are analyzed and changed to comply with certain performance parameters required. The classic approach starts with analyzing a "known" structure, obtaining the value of its performance parameter and changing this structure until the "target" value is achieved. This process relies on having an initial structure, which follows some known or "intuitive" patterns already familiar to the designer. The purpose of this research was to develop a method of designing UWB antennas. What is new in this proposal is that the design process is reversed: the designer will start with the target performance parameter and obtain a structure as the result of the design process. This method provided a new way to replicate and optimize existing performance parameters. The base of the method was the use of a Genetic Algorithm (GA) adapted to the format of the chromosome that will be evaluated by the Electromagnetic (EM) solver. For the electromagnetic study we used XFDTD™ program, based in the Finite-Difference Time-Domain technique. The programming portion of the method was created under the MatLab environment, which serves as the interface for converting chromosomes, file formats and transferring of data between the XFDTD™ and GA. A high level of customization had to be written into the code to work with the specific files generated by the XFDTD™ program. Two types of cost functions were evaluated; the first one seeking broadband performance within the UWB band, and the second one searching for curve replication of a reference geometry. The performance of the method was evaluated considering the speed provided by the computer resources used. Balance between accuracy, data file size and speed of execution was achieved by defining parameters in the GA code as well as changing the internal parameters of the XFDTD™ projects. The results showed that the GA produced geometries that were analyzed by the XFDTD™ program and changed following the search criteria until reaching the target value of the cost function. Results also showed how the parameters can change the search criteria and influence the running of the code to provide a variety of geometries.

Design and implementation of a multisite data repository for pediatric epilepsy

This dissertation established a software-hardware integrated design for a multisite data repository in pediatric epilepsy. A total of 16 institutions formed a consortium for this web-based application. This innovative fully operational web application allows users to upload and retrieve information through a unique human-computer graphical interface that is remotely accessible to all users of the consortium. A solution based on a Linux platform with My-SQL and Personal Home Page scripts (PHP) has been selected. Research was conducted to evaluate mechanisms to electronically transfer diverse datasets from different hospitals and collect the clinical data in concert with their related functional magnetic resonance imaging (fMRI). What was unique in the approach considered is that all pertinent clinical information about patients is synthesized with input from clinical experts into 4 different forms, which were: Clinical, fMRI scoring, Image information, and Neuropsychological data entry forms. A first contribution of this dissertation was in proposing an integrated processing platform that was site and scanner independent in order to uniformly process the varied fMRI datasets and to generate comparative brain activation patterns. The data collection from the consortium complied with the IRB requirements and provides all the safeguards for security and confidentiality requirements. An 1-MR1-based software library was used to perform data processing and statistical analysis to obtain the brain activation maps. Lateralization Index (LI) of healthy control (HC) subjects in contrast to localization-related epilepsy (LRE) subjects were evaluated. Over 110 activation maps were generated, and their respective LIs were computed yielding the following groups: (a) strong right lateralization: (HC=0%, LRE=18%), (b) right lateralization: (HC=2%, LRE=10%), (c) bilateral: (HC=20%, LRE=15%), (d) left lateralization: (HC=42%, LRE=26%), e) strong left lateralization: (HC=36%, LRE=31%). Moreover, nonlinear-multidimensional decision functions were used to seek an optimal separation between typical and atypical brain activations on the basis of the demographics as well as the extent and intensity of these brain activations. The intent was not to seek the highest output measures given the inherent overlap of the data, but rather to assess which of the many dimensions were critical in the overall assessment of typical and atypical language activations with the freedom to select any number of dimensions and impose any degree of complexity in the nonlinearity of the decision space.

Spatiotemporal patterns in community structure of macroinvertebrates inhabiting calcareous periphyton mats

Calcareous floating periphyton mats in the southern Everglades provide habitat for a diverse macroinvertebrate community that has not been well characterized. Our study described this community in an oligotrophic marsh, compared it with the macroinvertebrate community associated with adjacent epiphytic algae attached to macrophytes in the water column, and detected spatial patterns in density and community structure. The floating periphyton mat (floating mat) and epiphytic algae in the water column (submerged epiphyton) were sampled at 4 sites (1 km apart) in northern Shark River Slough, Everglades National Park (ENP), in the early (July) and late (November) wet season. Two perpendicular 90-m transects were established at each site and 100 samples were taken in a nested design. Sites were located in wet-prairie spikerush-dominated sloughs with similar water depths and emergent macrophyte communities. Floating mats were sampled by taking cores (6-cm diameter) that were sorted under magnification to enumerate infauna retained on a 250-μm-mesh sieve and with a maximum dimension >1 mm. Our results showed that floating mats provide habitat for a macroinvertebrate community with higher densities (no. animals/g ash-free dry mass) of Hyalella azteca, Dasyhelea spp., and Cladocera, and lower densities of Chironomidae and Planorbella spp. than communities associated with submerged epiphyton. Densities of the most common taxa increased 3× to 15× from early to late wet season, and community differences between the 2 habitat types became more pronounced. Floating-mat coverage and estimated floating-mat biomass increased 20 to 30% and 30 to 110%, respectively, at most sites in the late wet season. Some intersite variation was observed in individual taxa, but no consistent spatial pattern in any taxon was detected at any scale (from 0.2 m to 3 km). Floating mats and their resident macroinvertebrate communities are important components in the Everglades food web. This community should be included in environmental monitoring programs because degradation and eventual loss of the calcareous periphyton mat is associated with P enrichment in this ecosystem.

Patterns of cooperation, conflict, and domination in children's collaborative problem-solving

This study examined the influence of age, expertise, and task difficulty on children's patterns of collaboration. Six- and eight-year-old children were individually pretested for ability to copy a Lego model and then paired with each other and asked to copy two more models. The design was a 3 (dyad skill level: novice, expert, or mixed) X 2 (age: six or eight) X 2 (task difficulty: moderate or complex) factorial. Results indicated that cooperation increased with age and expertise and decreased with task difficulty. However, expertise had a greater influence on younger than older children's interaction styles. It is argued that with age, social skills may become as important as expertise in determining styles of collaboration. The issue is raised of whether cooperation, domination, and independence represent developmental sequences (i.e., independence precedes cooperation) or whether they represent personal styles of interaction. Finally, it is suggested that an important goal for future research is to assess the relationship between patterns of collaboration and learning.