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

A survey of music educator's understanding and use of advanced audio technology in their instructional methods and strategies

This study examines the correlation between how certified music educators understand audio technology and how they incorporate it in their instructional methods. Participants were classroom music teachers selected from fifty middle schools in Miami- Dade Public Schools. The study adopted a non-experimental research design in which a survey was the primary tool of investigation. The findings reveal that a majority of middle school music teachers in Miami-Dade are not familiar with advanced audiorecording software or any other digital device dedicated to the recording and processing of audio signals. Moreover, they report a lack of opportunities to develop this knowledge. Younger music teachers, however, are more open to developing up-to-date instructional methodologies. Most of the participants agreed that music instruction should be a platform for preparing students for a future in the entertainment industry. A basic knowledge of music business should be delivered to students enrolled in middle-school music courses.

The knowledge and use of critical thinking teaching strategies of faculty in associate degree nursing education programs

The purpose of this study was to determine the knowledge and use of critical thinking teaching strategies by full-time and part-time faculty in Associate Degree Nursing (ADN) programs. ^ Sanders CTI (1992) instrument was adapted for this study and pilot-tested prior to the general administration to ADN faculty in Southeast Florida. This modified instrument, now termed the Burroughs Teaching Strategy Inventory (BTSI), returned reliability estimates (Cronbach alphas of .71, .74, and .82 for the three constructs) comparable to the original instrument. The BTSI was administered to 113 full-time and part-time nursing faculty in three community college nursing programs. The response rate was 92% for full-time faculty (n = 58) and 61% for part-time faculty (n = 55). ^ The majority of participants supported a combined definition of critical thinking in nursing which represented a composite of thinking skills that included reflective thinking, assessing alternative viewpoints, and the use of problem-solving. Full-time and part-time faculty used different teaching strategies. Full-time faculty most often used multiple-choice exams and lecture while part-time faculty most frequently used discussion within their classes. One possible explanation for specific strategy choices and differences might be that full-time faculty taught predominately in theory classes where certain strategies would be more appropriate and part-time faculty taught predominately clinical classes. Both faculty types selected written nursing care plans as the second most effective critical thinking strategy. ^ Faculty identified several strategies as being effective in teaching critical thinking. These strategies included discussion, case studies, higher order questioning, and concept analysis. These however, were not always the strategies that were used in either the classroom or clinical setting. ^ Based on this study, the author recommends that if the profession continues to stress critical thinking as a vital component of practice, nursing faculty should receive education in appropriate critical teaching strategies. Both in-service seminars and workshops could be used to further the knowledge and use of critical thinking strategies by faculty. Qualitative research should be done to determine why nursing faculty use self-selected teaching strategies. ^

Language maintenance and use in south Florida Hispanic university students: Do educational programs matter?

This study examined the long-term effects of bilingual education/ESOL instruction on Hispanic university students' subsequent Spanish language maintenance using sociolinguistic methodology as its framework. The study investigated whether or not Hispanic university students who had participated in bilingual or ESOL classes in their elementary schooling maintained Spanish as young adults. Maintenance included using Spanish in their personal and professional lives and demonstrating written competence in Spanish, as well as whether subjects considered themselves to be bilingual, how they rated their ability in different skill areas for the two languages, and if they exhibited positive attitudes toward language and education as compared to Hispanic students who had experienced an all English classroom situation. A Language and Education Survey was developed to collect data pertaining to these areas. ^ A convenience sample of 202 Hispanic undergraduate university students enrolled in education classes at Florida International University during the 2000–2001 academic year participated in the study. Subjects were grouped according to the type of program they had experienced at the elementary school level, Bilingual/ESOL and All English. ^ Statistically significant differences were found between the groups in subjects' self-ratings of their abilities in speaking, reading, writing, and comprehension. No statistically significant differences were found with respect to the continuation of Spanish language study at the secondary school or college levels although there was a significant difference in number of semesters for those who planned to do so. ^ In language use, there were statistically significant differences overall as there were in the personal domain, but none were found in the professional domain; nor were there any statistically significant differences between the groups with respect to attitudes regarding education and language. There were statistically significant differences between the two groups for communicative competence in written Spanish. These statistically significant findings in language ability, language use and written communicative competence indicated that Hispanic university students who were enrolled in bilingual programs/ESOL in their earlier schooling did maintain Spanish as their native language as compared to Hispanic students who did not participate in such programs. ^

A methodology for formally modeling and analyzing software architecture of mobile agent systems

A methodology for formally modeling and analyzing software architecture of mobile agent systems provides a solid basis to develop high quality mobile agent systems, and the methodology is helpful to study other distributed and concurrent systems as well. However, it is a challenge to provide the methodology because of the agent mobility in mobile agent systems.^ The methodology was defined from two essential parts of software architecture: a formalism to define the architectural models and an analysis method to formally verify system properties. The formalism is two-layer Predicate/Transition (PrT) nets extended with dynamic channels, and the analysis method is a hierarchical approach to verify models on different levels. The two-layer modeling formalism smoothly transforms physical models of mobile agent systems into their architectural models. Dynamic channels facilitate the synchronous communication between nets, and they naturally capture the dynamic architecture configuration and agent mobility of mobile agent systems. Component properties are verified based on transformed individual components, system properties are checked in a simplified system model, and interaction properties are analyzed on models composing from involved nets. Based on the formalism and the analysis method, this researcher formally modeled and analyzed a software architecture of mobile agent systems, and designed an architectural model of a medical information processing system based on mobile agents. The model checking tool SPIN was used to verify system properties such as reachability, concurrency and safety of the medical information processing system. ^ From successful modeling and analyzing the software architecture of mobile agent systems, the conclusion is that PrT nets extended with channels are a powerful tool to model mobile agent systems, and the hierarchical analysis method provides a rigorous foundation for the modeling tool. The hierarchical analysis method not only reduces the complexity of the analysis, but also expands the application scope of model checking techniques. The results of formally modeling and analyzing the software architecture of the medical information processing system show that model checking is an effective and an efficient way to verify software architecture. Moreover, this system shows a high level of flexibility, efficiency and low cost of mobile agent technologies. ^

The river, the railroad tracks, and the towers: How residents' worldview and use value transformed Wilton Manors into a diverse, gay-friendly, urban village

This case study examines the factors that shaped the identity and landscape of a small island-urban-village between the north and south forks of the Middle River and north of an urban area in Broward County, Florida. The purpose of the study is to understand how Wilton Manors was transformed from a “whites only” enclave to the contemporary upscale, diverse, and third gayest city in the U.S. by positing that a dichotomy for urban places exists between their exchange value as seen by Logan and Molotch and the use value produced through everyday activity according to Lefebvre. Qualitative methods were used to gather evidence for reaching conclusions about the relationship among the worldview of residents, the tension between exchange value and use value in the restructuration of the city, and the transformation of Wilton Manors at the end of the 1990s. Semi-structured, in-depth interviews were conducted with 21 contemporary participants. In addition, thirteen taped CDs of selected members of founding families, previously taped in the 1970s, were analyzed using a grounded theory approach. My findings indicate that Wilton Manors’ residents share a common worldview which incorporates social inclusion as a use value, and individual agency in the community. This shared worldview can be traced to selected city pioneers whose civic mindedness helped shape city identity and laid the foundation for future restructuration. Currently, residents’ quality of life reflected in the city’s use value is more significant than exchange value as a primary force in the decisions that are made about the city’s development. With innovative ideas, buildings emulating the new urban mixed-use design, and a reputation as the third gayest city in the United States, Wilton Manors reflects a worldview where residents protect use value as primary over market value in the decisions they make that shape their city but not without contestation.^

The practice and use of picuristes (lay injectionists) among Haitian immigrants in Miami -Dade County, Florida

This exploratory study examined use of picuristes among Haitian immigrants in Miami-Dade County, Florida. It describes how this health-seeking behavior is socially constructed among Haitian immigrants in terms of benefits. (b) risks, (c) sex, (d) gender, (e) acculturation proxies, and (f) transnational influences. It is conducted within the frameworks of Symbolic Interactionism, the Health Belief Model and the Explanatory Model of Illness. ^ Purposive sampling and a mixed-method design were used to obtain semistructured interviews of 10 picuristes and 25 users. The same methods were employed to select survey respondents so as to obtain a descriptive estimate of picuriste use and covariates of picuriste use within the sample. ATLAS.ti 5.0 and SPSS 14.0 were used to analyze the data. ^ The findings indicate an interconnection of elements from Vodou, traditional Haitian health beliefs and picuriste practice and use. ^ Rekonnèt, a relationship based on a history of trust with individuals related by blood or who share close personal and social ties was identified as a sufficient and necessary reason for picuriste practice and use. ^ Benefits reported are that the picuriste injections directly impact the blood, and that they represent affordable and convenient access to health care. Risks include rashes, abscesses and fevers. The reuse of injection equipment, routine injection of antibiotics and unknown substances and the improper discard of syringes and needles were reported, implying unrecognized risks of preventable infectious disease. No participant described a process that adheres to established international standards for safe injections. ^ There is no clear evidence that biological sex, gender, length of time in U.S. or language of interview influence picuriste practice or use. Transnational ties facilitate transport of substances from Haiti and the practice and use of picuristes locally. ^ Recommendation by a relative or trusted friend and believing that the benefits of picures outweigh risks were covariates of picuriste use. ^ This study highlights values and priorities of Haitian immigrants seeking healthcare, and cultural forces that shape their decisions about wellness and treatment. Future studies should test the application of Symbolic Interactionism to picuriste use in larger epidemiological studies that examine picuriste use in relation to health status.^

Effects of Family, Child, and Teacher Demographics on Prekindergarten Children's Access to and Use of Numeracy and Spatial Materials in the Early Education Setting

Florida’s Voluntary Pre-Kindergarten program (VPK) aims to ensure that all 4-year-olds are prepared to excel in K-12 mathematics. Early numeracy/spatial skills are predictive of success in K–12 mathematics. No research has examined whether VPK classrooms are equipped with the materials necessary to teach numeracy/spatial skill. The Pre-Kindergarten Numeracy and Spatial Environment Survey was created to examine the frequency of access to and use of numeracy/spatial materials in VPK classrooms. The 69-item survey was completed by the lead educator from a sample of 62 pre-kindergarten classrooms in Miami-Dade County. Regression analysis results suggest the location of the pre-kindergarten center, the sex distribution of the children in the classrooms or the number of years of experience that the educator has as a lead teacher along with the extra training courses undertaken by the teachers does not affect the access to or the use of, numeracy and spatial materials in the classrooms.

Evaluation of the Scent Collection System for Its Effectiveness in Volatile Organic Compound Collection and Use in Canine Training

As a result of increased terrorist activity around the world, the development of a canine training aid suitable for daily military operations is necessary to provide effective canine explosive detection. Since the use of sniffer dogs has proven to be a reliable resource for the rapid detection of explosive volatiles organic compounds, the present study evaluated the ability of the Human Scent Collection System (HSCS) device for the creation of training aids for plasticized / tagged explosives, nitroglycerin and TNT containing explosives, and smokeless powders for canine training purposes. Through canine field testing, it was demonstrated that volatiles dynamically collected from real explosive material provided a positive canine response showing the effectiveness of the HSCS in creating canine training aids that can be used immediately or up to several weeks (3) after collection under proper storage conditions. These reliable non-hazardous training aids allow its use in areas where real explosive material aids are not practical and/or available.

The knowledge and use of critical thinking teaching strategies of faculty in associate degree nursing education programs

The purpose of this study was to determine the knowledge and use of critical thinking teaching strategies by full-time and part-time faculty in Associate Degree Nursing (ADN) programs. Sander's CTI (1992) instrument was adapted for this study and pilottested prior to the general administration to ADN faculty in Southeast Florida. This modified instrument, now termed the Burroughs Teaching Strategy Inventory (BTSI), returned reliability estimates (Cronbach alphas of .71, .74, and .82 for the three constructs) comparable to the original instrument. The BTSI was administered to 113 full-time and part-time nursing faculty in three community college nursing programs. The response rate was 92% for full-time faculty (n = 58) and 61 % for part-time faculty (n = 55). The majority of participants supported a combined definition of critical thinking in nursing which represented a composite of thinking skills that included reflective thinking, assessing alternative viewpoints, and the use of problem-solving. Full-time and part-time faculty used different teaching strategies. Fulltime faculty most often used multiple-choice exams and lecture while part-time faculty most frequently used discussion within their classes. One possible explanation for specific strategy choices and differences might be that full-time faculty taught predominately in theory classes where certain strategies would be more appropriate and part-time faculty taught predominately clinical classes. Both faculty types selected written nursing care plans as the second most effective critical thinking strategy. Faculty identified several strategies as being effective in teaching critical thinking. These strategies included discussion, case studies, higher order questioning, and concept analysis. These however, were not always the strategies that were used in either the classroom or clinical setting. Based on this study, the author recommends that if the profession continues to stress critical thinking as a vital component of practice, nursing faculty should receive education in appropriate critical teaching strategies. Both in-service seminars and workshops could be used to further the knowledge and use of critical thinking strategies by faculty. Qualitative research should be done to determine why nursing faculty use self-selected teaching strategies.