A framework for transforming, analyzing, and realizing software designs in unified modeling language

Unified Modeling Language (UML) is the most comprehensive and widely accepted object-oriented modeling language due to its multi-paradigm modeling capabilities and easy to use graphical notations, with strong international organizational support and industrial production quality tool support. However, there is a lack of precise definition of the semantics of individual UML notations as well as the relationships among multiple UML models, which often introduces incomplete and inconsistent problems for software designs in UML, especially for complex systems. Furthermore, there is a lack of methodologies to ensure a correct implementation from a given UML design. The purpose of this investigation is to verify and validate software designs in UML, and to provide dependability assurance for the realization of a UML design.^ In my research, an approach is proposed to transform UML diagrams into a semantic domain, which is a formal component-based framework. The framework I proposed consists of components and interactions through message passing, which are modeled by two-layer algebraic high-level nets and transformation rules respectively. In the transformation approach, class diagrams, state machine diagrams and activity diagrams are transformed into component models, and transformation rules are extracted from interaction diagrams. By applying transformation rules to component models, a (sub)system model of one or more scenarios can be constructed. Various techniques such as model checking, Petri net analysis techniques can be adopted to check if UML designs are complete or consistent. A new component called property parser was developed and merged into the tool SAM Parser, which realize (sub)system models automatically. The property parser generates and weaves runtime monitoring code into system implementations automatically for dependability assurance. The framework in the investigation is creative and flexible since it not only can be explored to verify and validate UML designs, but also provides an approach to build models for various scenarios. As a result of my research, several kinds of previous ignored behavioral inconsistencies can be detected.^

Development and testing of the Elderly Social Vulnerability Index (ESVI): A composite indicator to measure social vulnerability in the Jamaican elderly population

Over the last two decades social vulnerability has emerged as a major area of study, with increasing attention to the study of vulnerable populations. Generally, the elderly are among the most vulnerable members of any society, and widespread population aging has led to greater focus on elderly vulnerability. However, the absence of a valid and practical measure constrains the ability of policy-makers to address this issue in a comprehensive way. This study developed a composite indicator, The Elderly Social Vulnerability Index (ESVI), and used it to undertake a comparative analysis of the availability of support for elderly Jamaicans based on their access to human, material and social resources. The results of the ESVI indicated that while the elderly are more vulnerable overall, certain segments of the population appear to be at greater risk. Females had consistently lower scores than males, and the oldest-old had the highest scores of all groups of older persons. Vulnerability scores also varied according to place of residence, with more rural parishes having higher scores than their urban counterparts. These findings support the political economy framework which locates disadvantage in old age within political and ideological structures. The findings also point to the pervasiveness and persistence of gender inequality as argued by feminist theories of aging. Based on the results of the study it is clear that there is a need for policies that target specific population segments, in addition to universal policies that could make the experience of old age less challenging for the majority of older persons. Overall, the ESVI has displayed usefulness as a tool for theoretical analysis and demonstrated its potential as a policy instrument to assist decision-makers in determining where to target their efforts as they seek to address the issue of social vulnerability in old age. Data for this study came from the 2001 population and housing census of Jamaica, with multiple imputation for missing data. The index was derived from the linear aggregation of three equally weighted domains, comprised of eleven unweighted indicators which were normalized using z-scores. Indicators were selected based on theoretical relevance and data availability.

Physiological performance measures and tolerance limits of estuarine indicator species in south Florida

Current water management practices in South Florida have negatively impacted many species inhabiting Florida Bay. Variable and high salinity has been identified as a key stressor in these estuaries. The Comprehensive Everglades Restoration Plan (CERP) includes water redistribution projects that will restore natural freshwater flows to northeastern Florida Bay. My studies focused on the following central theme and hypotheses: Biological performance measures (i.e., growth, reproduction, survival), behavior (i.e., habitat preference and locomotor behavior) and diversity of estuarine fish will be controlled by changes in salinity and water quality that will occur as a result of the restoration of freshwater flow to the bay. A series of acute and subchronic physiological toxicity studies were conducted to determine the effects of salinity changes on the life stages (embryo/larval, juvenile, adult) and fecundity of four native estuarine fish (Cyprinodon variegatus, Floridichthys carpio, Poecilia latipinna, and Gambusia holbrooki). Fish were exposed to a range of salinity concentrations (freshwater to hypersaline) based on salinity profiles in the study areas. Growth (length, weight) and survival were measured. Salinity trials included both rapid and gradual change events. Results show negative effects of acute, abrupt salinity changes on fish survival, development and reproductive success as a result of salinity stress. Other studies targeted reproduction and critical embryo-larval/neonate development as key areas for detecting long-term population effects of salinity change in Florida Bay. Adults of C. variegates and P. latipinna were also examined for behavioral responses to pulsed salinity changes. These responses include changes in swimming performance, locomotor behavior and zone preference. Finally, an ecological risk assessment was conducted for adverse salinity conditions in northeastern Florida Bay. Using the U.S. EPA's framework, the risk to estuarine fish species diversity was assessed against regional salinity profiles from a 17-year database. Based on the risk assessment, target salinity profiles for these areas are recommended for managers.^

An improved framework for dynamic origin-destination (O-D) matrix estimation

This dissertation aims to improve the performance of existing assignment-based dynamic origin-destination (O-D) matrix estimation models to successfully apply Intelligent Transportation Systems (ITS) strategies for the purposes of traffic congestion relief and dynamic traffic assignment (DTA) in transportation network modeling. The methodology framework has two advantages over the existing assignment-based dynamic O-D matrix estimation models. First, it combines an initial O-D estimation model into the estimation process to provide a high confidence level of initial input for the dynamic O-D estimation model, which has the potential to improve the final estimation results and reduce the associated computation time. Second, the proposed methodology framework can automatically convert traffic volume deviation to traffic density deviation in the objective function under congested traffic conditions. Traffic density is a better indicator for traffic demand than traffic volume under congested traffic condition, thus the conversion can contribute to improving the estimation performance. The proposed method indicates a better performance than a typical assignment-based estimation model (Zhou et al., 2003) in several case studies. In the case study for I-95 in Miami-Dade County, Florida, the proposed method produces a good result in seven iterations, with a root mean square percentage error (RMSPE) of 0.010 for traffic volume and a RMSPE of 0.283 for speed. In contrast, Zhou's model requires 50 iterations to obtain a RMSPE of 0.023 for volume and a RMSPE of 0.285 for speed. In the case study for Jacksonville, Florida, the proposed method reaches a convergent solution in 16 iterations with a RMSPE of 0.045 for volume and a RMSPE of 0.110 for speed, while Zhou's model needs 10 iterations to obtain the best solution, with a RMSPE of 0.168 for volume and a RMSPE of 0.179 for speed. The successful application of the proposed methodology framework to real road networks demonstrates its ability to provide results both with satisfactory accuracy and within a reasonable time, thus establishing its potential usefulness to support dynamic traffic assignment modeling, ITS systems, and other strategies.

Eastern oysters (Crassostrea virginica) as an indicator for restoration of Everglades Ecosystems

The Comprehensive Everglades Restoration Plan (CERP) attempts to restore hydrology in the Northern and Southern Estuaries of Florida. Reefs of the Eastern oyster Crassostrea virginica are a dominant feature of the estuaries along the Southwest Florida coast. Oysters are benthic, sessile, filter-feeding organisms that provide ecosystem services by filtering the water column and providing food, shelter and habitat for associated organisms. As such, the species is an excellent sentinel organism for examining the impacts of restoration on estuarine ecosystems. The implementation of CERP attempts to improve: the hydrology and spatial and structural characteristics of oyster reefs, the recruitment and survivorship of C. virginica, and the reef-associated communities of organisms. This project links biological responses and environmental conditions relative to hydrological changes as a means of assessing positive or negative trends in oyster responses and population trends. Using oyster responses, we have developed a communication tool (i.e., Stoplight Report Card) based on CERP performance measures that can distinguish between responses to restoration and natural patterns. The Stoplight Report Card system is a communication tool that uses Monitoring and Assessment Program (MAP) performance measures to grade an estuary's response to changes brought about by anthropogenic input or restoration activities. The Stoplight Report Card consists of both a suitability index score for each organism metric as well as a trend score (− decreasing trend, +/− no change in trend, and + increasing trend). Based on these two measures, a component score (e.g., living density) is calculated by averaging the suitability index score and the trend score. The final index score is obtained by taking the geometric score of each component, which is then translated into a stoplight color for success (green), caution (yellow), or failure (red). Based on the data available for oyster populations and the responses of oysters in the Caloosahatchee Estuary, the system is currently at stage “caution.” This communication tool instantly conveys the status of the indicator and the suitability, while trend curves provide information on progress towards reaching a target. Furthermore, the tool has the advantage of being able to be applied regionally, by species, and collectively, in concert with other species, system-wide.

Enhanced skip -list search algorithm in 3-layer mediator framework

The Three-Layer distributed mediation architecture, designed by Secure System Architecture laboratory, employed a layered framework of presence, integration, and homogenization mediators. The architecture does not have any central component that may affect the system reliability. A distributed search technique was adapted in the system to increase its reliability. An Enhanced Chord-like algorithm (E-Chord) was designed and deployed in the integration layer. The E-Chord is a skip-list algorithm based on Distributed Hash Table (DHT) which is a distributed but structured architecture. DHT is distributed in the sense that no central unit is required to maintain indexes, and it is structured in the sense that indexes are distributed over the nodes in a systematic manner. Each node maintains three kind of routing information: a frequency list, a successor/predecessor list, and a finger table. None of the nodes in the system maintains all indexes, and each node knows about some other nodes in the system. These nodes, also called composer mediators, were connected in a P2P fashion. ^ A special composer mediator called a global mediator initiates the keyword-based matching decomposition of the request using the E-Chord. It generates an Integrated Data Structure Graph (IDSG) on the fly, creates association and dependency relations between nodes in the IDSG, and then generates a Global IDSG (GIDSG). The GIDSG graph is a plan which guides the global mediator how to integrate data. It is also used to stream data from the mediators in the homogenization layer which connected to the data sources. The connectors start sending the data to the global mediator just after the global mediator creates the GIDSG and just before the global mediator sends the answer to the presence mediator. Using the E-Chord and GIDSG made the mediation system more scalable than using a central global schema repository since all the composers in the integration layer are capable of handling and routing requests. Also, when a composer fails, it would only minimally affect the entire mediation system. ^

A scalable multimedia content processing framework with application to TV shopping

The advent of smart TVs has reshaped the TV-consumer interaction by combining TVs with mobile-like applications and access to the Internet. However, consumers are still unable to seamlessly interact with the contents being streamed. An example of such limitation is TV shopping, in which a consumer makes a purchase of a product or item displayed in the current TV show. Currently, consumers can only stop the current show and attempt to find a similar item in the Web or an actual store. It would be more convenient if the consumer could interact with the TV to purchase interesting items. ^ Towards the realization of TV shopping, this dissertation proposes a scalable multimedia content processing framework. Two main challenges in TV shopping are addressed: the efficient detection of products in the content stream, and the retrieval of similar products given a consumer-selected product. The proposed framework consists of three components. The first component performs computational and temporal aware multimedia abstraction to select a reduced number of frames that summarize the important information in the video stream. By both reducing the number of frames and taking into account the computational cost of the subsequent detection phase, this component component allows the efficient detection of products in the stream. The second component realizes the detection phase. It executes scalable product detection using multi-cue optimization. Additional information cues are formulated into an optimization problem that allows the detection of complex products, i.e., those that do not have a rigid form and can appear in various poses. After the second component identifies products in the video stream, the consumer can select an interesting one for which similar ones must be located in a product database. To this end, the third component of the framework consists of an efficient, multi-dimensional, tree-based indexing method for multimedia databases. The proposed index mechanism serves as the backbone of the search. Moreover, it is able to efficiently bridge the semantic gap and perception subjectivity issues during the retrieval process to provide more relevant results.^

Physiological performance measures and tolerance limits of estuarine indicator species in South Florida

Current water management practices in South Florida have negatively impacted many species inhabiting Florida Bay. Variable and high salinity has been identified as a key stressor in these estuaries. The comprehensive Everglades Restoration Plan (CERP) includes water redistribution projects that will restore natural freshwater flows to northeastern Florida Bay. My studies focused on the following central theme and hypotheses: Biological performance measures (i.e., growth, reproduction, survival), behavior (i.e., habitat preference and locomotor behavior) and diversity of estuarine fish will be controlled by changes in salinity and water quality that will occur as a result of the restoration of freshwater flow to the bay. A series of acute and subchronic physiological toxicity studies were conducted to determine the effects of salinity changes on the life stages (embryo/larval, juvenile, adult) and fecundity of four native estuarine fish (Cyprinodon variegatus, Floridichthys carpio, Poecilia latipinna, and Gambusia holbrooki). Fishe were exposed to a range of salinity concentrations (freshwater to hypersaline) based on salinity profiles in the study areas. Growth (length, weight) and survival were measured. Salinity trials included both rapid and gradual change events. Results show negative effects of acute, abrupt salinity changes on fish survival, development and reproductive success as a result of salinity stress. Other studies targeted reproduction and critical embryo-larval/neonate development as key areas for detecting long-term population effects of salinity change in Florida Bay. Adults of C. variegatus and P. latipinna were also examined for behavioral responses to pulsed salinity changes. These responses include changes in swimming performance, locomotor behavior and zone preference. Finally, an ecological risk assessment was conducted for adverse salinity conditions in northeastern Florida Bay. Using the U.S. EPA's framework, the risk to estuarine fish species diversity was assessed against regional salinity profiles from a 17-year database. Based on the risk assessment, target salinity profiles for these areas are recommended for managers.

A framework for policy based coordinated adaptation in mobile systems

Adaptation is an important requirement for mobile applications due to the varying levels of resource availability that characterizes mobile environments. However without proper control, multiple applications can each adapt independently in response to a range of different adaptive stimuli, causing conflicts or sub optimal performance. In this thesis we presented a framework, which enables multiple adaptation mechanisms to coexist on one platform. The key component of this framework was the 'Policy Server', which has all the system policies and governs the rules for adaptation. We also simulated our framework and subjected it to various adaptation scenarios to demonstrate the working of the system as a whole. With the help of the simulation it was shown that our framework enables seamless adaptation of multiple applications.

Development and Testing of the Elderly Social Vulnerability Index (ESVI): A Composite Indicator to Measure Social Vulnerability in the Jamaican Elderly Population

Over the last two decades social vulnerability has emerged as a major area of study, with increasing attention to the study of vulnerable populations. Generally, the elderly are among the most vulnerable members of any society, and widespread population aging has led to greater focus on elderly vulnerability. However, the absence of a valid and practical measure constrains the ability of policy-makers to address this issue in a comprehensive way. This study developed a composite indicator, The Elderly Social Vulnerability Index (ESVI), and used it to undertake a comparative analysis of the availability of support for elderly Jamaicans based on their access to human, material and social resources. The results of the ESVI indicated that while the elderly are more vulnerable overall, certain segments of the population appear to be at greater risk. Females had consistently lower scores than males, and the oldest-old had the highest scores of all groups of older persons. Vulnerability scores also varied according to place of residence, with more rural parishes having higher scores than their urban counterparts. These findings support the political economy framework which locates disadvantage in old age within political and ideological structures. The findings also point to the pervasiveness and persistence of gender inequality as argued by feminist theories of aging. Based on the results of the study it is clear that there is a need for policies that target specific population segments, in addition to universal policies that could make the experience of old age less challenging for the majority of older persons. Overall, the ESVI has displayed usefulness as a tool for theoretical analysis and demonstrated its potential as a policy instrument to assist decision-makers in determining where to target their efforts as they seek to address the issue of social vulnerability in old age. Data for this study came from the 2001 population and housing census of Jamaica, with multiple imputation for missing data. The index was derived from the linear aggregation of three equally weighted domains, comprised of eleven unweighted indicators which were normalized using z-scores. Indicators were selected based on theoretical relevance and data availability.