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

Black middle school students' perceptions of success and their influence on academic performance

The purpose of the study was to investigate the perceptions of success held by Black middle school students in a Miami-Dade County (FL) public school and how these perceptions influence academic performance. The study sought to determine if differences exist among African-American, Haitian-American, and Haitian immigrant subgroups of the Black student population. ^ The study combined qualitative and quantitative methodology in data collection and analysis. The qualitative data consisted of three focus group interviews. Using a semi-structured protocol, questions focused on the student's perceptions of the characteristics of successful people, definitions of success, behaviors associated with achieving success, and peer, family and school support. The quantitative data comprised the responses of 352 Black middle school students to the Inventory of Student Motivation (ISM) developed to measure mastery, performance and social goal orientations. Response similarities and differences were examined using a series of two-way ANOVAs on the success scales by gender and culture. A three-way repeated measures ANOVA was conducted on mastery, performance and social general goal scales by culture and gender. ^ The results of the ISM revealed no statistically significant differences among African-American, Haitian-American, and Haitian students in their mastery, performance or social goal orientations. All three cultural groups scored significantly high on the mastery goal scale. There was a significant effect for gender on the mastery general scale with the females being more concerned with mastery than the males. Qualitative focus group interview results included varying definitions of success. African-American and Haitian-American students defined success in materialistic terms. Haitian students defined success in scholastic achievement terms. All students indicated hard work, persistence and goal setting through completion as important to achieving success. Negative influences included peer pressure, teacher and societal expectations, and classroom environment. Parental reaction to low academic performance varied by culture. ^

Stereotype threat and the standardized testing experiences of African American children at an urban elementary school

Stereotype threat (Steele & Aronson, 1995) refers to the risk of confirming a negative stereotype about one’s group in a particular performance domain. The theory assumes that performance in the stereotyped domain is most negatively affected when individuals are more highly identified with the domain in question. As federal law has increased the importance of standardized testing at the elementary level, it can be reasonably hypothesized that the standardized test performance of African American children will be depressed when they are aware of negative societal stereotypes about the academic competence of African Americans. This sequential mixed-methods study investigated whether the standardized testing experiences of African American children in an urban elementary school are related to their level of stereotype awareness. The quantitative phase utilized data from 198 African American children at an urban elementary school. Both ex-post facto and experimental designs were employed. Experimental conditions were diagnostic and non-diagnostic testing experiences. The qualitative phase utilized data from a series of six focus group interviews conducted with a purposefully selected group of 4 African American children. The interview data were supplemented with data from 30 hours of classroom observations. Quantitative findings indicated that the stereotype threat condition evoked by diagnostic testing depresses the reading test performance of stereotype-aware African American children (F[1, 194] = 2.21, p < .01). This was particularly true of students who are most highly domain-identified with reading (F[1, 91] = 19.18, p < .01). Moreover, findings indicated that only stereotype-aware African American children who were highly domain-identified were more likely to experience anxiety in the diagnostic condition (F[1, 91] = 5.97, p < .025). Qualitative findings revealed 4 themes regarding how African American children perceive and experience the factors related to stereotype threat: (1) a narrow perception of education as strictly test preparation, (2) feelings of stress and anxiety related to the state test, (3) concern with what “others” think (racial salience), and (4) stereotypes. A new conceptual model for stereotype threat is presented, and future directions including implications for practice and policy are discussed.

Computational evaluation of wind loads on low- and highrise buildings

Buildings and other infrastructures located in the coastal regions of the US have a higher level of wind vulnerability. Reducing the increasing property losses and causalities associated with severe windstorms has been the central research focus of the wind engineering community. The present wind engineering toolbox consists of building codes and standards, laboratory experiments, and field measurements. The American Society of Civil Engineers (ASCE) 7 standard provides wind loads only for buildings with common shapes. For complex cases it refers to physical modeling. Although this option can be economically viable for large projects, it is not cost-effective for low-rise residential houses. To circumvent these limitations, a numerical approach based on the techniques of Computational Fluid Dynamics (CFD) has been developed. The recent advance in computing technology and significant developments in turbulence modeling is making numerical evaluation of wind effects a more affordable approach. The present study targeted those cases that are not addressed by the standards. These include wind loads on complex roofs for low-rise buildings, aerodynamics of tall buildings, and effects of complex surrounding buildings. Among all the turbulence models investigated, the large eddy simulation (LES) model performed the best in predicting wind loads. The application of a spatially evolving time-dependent wind velocity field with the relevant turbulence structures at the inlet boundaries was found to be essential. All the results were compared and validated with experimental data. The study also revealed CFD's unique flow visualization and aerodynamic data generation capabilities along with a better understanding of the complex three-dimensional aerodynamics of wind-structure interactions. With the proper modeling that realistically represents the actual turbulent atmospheric boundary layer flow, CFD can offer an economical alternative to the existing wind engineering tools. CFD's easy accessibility is expected to transform the practice of structural design for wind, resulting in more wind-resilient and sustainable systems by encouraging optimal aerodynamic and sustainable structural/building design. Thus, this method will help ensure public safety and reduce economic losses due to wind perils.

A Case Study of Health Tourism in the Jeju Province, South Korea

The United States Census Bureau (2006) reported that in 2005 more than 46 million Americans lacked health insurance, and that by 2019 national spending for health care would exceed $4.5 trillion (Centers for Medicare & Medicaid Services, 2010). Because those numbers are expected to increase, health tourists are seeking better opportunities for low-cost, high-quality treatment in other countries, plus the added benefit of experiencing foreign cultures. Health tourism is a rapidly growing market in both advanced and developing countries. The purpose of this study was to develop an applicable model of health tourism, the Jeju-Style Health Tourism Model, for Jeju Special Self-Governing Province, in the Republic of Korea (South Korea) and to provide other cities and countries with its implications. This study employed a focus group, indepth interviews, and content analysis to discover important factors in developing the model. The results suggested that four major sources must be executed together to maximize the benefits of health tourism development. On a foundation of natural resources, knowledge-based resources were most important (54.5%), followed by artificial resources (25.7%), and expenses-based resources (19.8%).

Authentic Experiences Assessment Instrument: The Case of Millennial Students and Cultural Attractions in Central Florida

Three types of authenticity were chosen to analyze cultural attractions—they were: staged or real authenticity, sensory authenticity, and existential authenticity. A group of millennium students that visited Orlando’s cultural attractions from the University of Central Florida were part of this study. Results show that the term “culture” is unclear among students. Also gender might play a role in determining what is perceived as “authenticity.” In general the focus group discussion had a consensus that these three types of authenticity were the right ones to measured cultural attractions, people, and behaviors.

Comparison of two mentoring programs for at -risk Black adolescents: A traditional one -to -one mentoring program and a school -to -work transitional program

The purposes of this study were: (a) to compare the impact of One-to-One (OTO) mentoring interventions administered in the high school setting, and the workplace of the students who participated in the School-to-Work (STW) transitional program, and (b) to identify how the participants perceived their experience in the OTO mentoring program and the STW transitional program. A qualitative approach was used to identify how participants perceived their mentoring experiences with the STW and OTO mentoring programs by utilizing focus groups and content analysis. A quantitative approach was used to compare the statistical differences of outcomes between the STW and OTO mentoring programs, by utilizing descriptive statistics, independent samples t-tests, chi-square analyses, and logistic regression. The sample was limited to participants in the STW and OTO mentoring programs resulting in 21 participants for the qualitative approach and 114 participants for the quantitative approach. ^ Results from the qualitative approach indicated that focus group participants in the STW program were satisfied with the program and the relationship with their mentors. They also suggested that the STW program be lengthened to include the entire academic year. Participants from the OTO focus group were dissatisfied with their program due to inadequate mentor involvement. Results from the quantitative approach showed that the increase in school attendance for the STW program's at-risk Black male youth was statistically significant compared to the OTO program participants; the STW program participants displayed a better outlook for attending college that was statistically significant compared to those in the OTO program; and the OTO program participants displayed a better outlook for permanent employment compared to those in the STW program. ^ Therefore, this study finds that mentoring can contribute to reducing school absences and high school completion in order for at-risk Black adolescents to attend college. It is recommended that the OTO program be restructured to eliminate the disparity that exists regarding the administration of the STW program and the OTO program. ^

Does U.S counter-drug policy affect nationalism in the Anglophone Caribbean? A comparative study on the impact of counter-drug policy on nationalism in Jamaica and Trinidad and Tobago

This dissertation examined the effect of United States counter-drug policy on nationalism in small states, focusing on Jamaica and Trinidad and Tobago. The states were selected for their roles and geostrategic importance in the illegal drug trade; Jamaica being the largest drug producing country in the Anglophone Caribbean and having strong links to the trade of Colombian cocaine, and Trinidad being a mere seven miles from the South American coast. Since U.S. counterdrug policies have frequently been viewed in the region as imperialistic, this dovetails into ideas on the perceptions of smallness and powerlessness of Caribbean nations. Hence, U.S. drug policies affect every vulnerability faced by the Caribbean, individually and collectively. Thus, U.S. drug policy was deemed the most appropriate independent variable, with nationalism as the dependent variable. In both countries four Focus Groups and one Delphi Study were conducted resulting in a total of 60 participants. Focus Group participants, recruited from the general population, were asked about their perception of the illegal drug trade in the country and the policies their government had created. They were also asked their perception on how deeply involved the U.S. was in the creation of these policies and their opinions on whether this involvement was positive or negative. The Delphi Study participants were experts in the field of local drug policies and also gave their interpretations of the role the U.S. played in local policy creation. Coupled with this data, content analysis was conducted on various newspaper articles, press releases, and speeches made regarding the topic. In comparing both countries, it was found that there is a disconnect between government actions and the knowledge and perceptions of the general public. In Trinidad and Tobago this disconnect was more apparent given the lack of awareness of local drug policies and the utter lack of faith in government solutions. The emerging conclusion was that the impact of U.S. drug policy on nationalism was more visible in Trinidad and Tobago where there was a weaker civil society-government relationship, while the impact on nationalism was more obscure in Jamaica, which had a stronger civil-society government relationship.

Princípios da construção enxuta no processo de planejamento de uma construtora de grande porte de Natal (RN)

Considered as one of the oldest activities done by men, the civil construction represents one of the most important sectors for the economic growth of a country, in spite of the low results of growth in the past few years and also in the current year. To make this industry grow, even with an unfavourable economic scenario, it is necessary to implement an effective planning in its activities. This is one of the most important concepts brought by the Lean Construction philosophy, which had its origin through the adaptation of the concepts established by the Toyota Production System (TPS) or Lean Production. By having as a scenario the city of Natal\RN, the main goal of this dissertation consists in investigating how the 11 principles of the lean construction influenced the schedule of a construction field that started to implement its lean concepts. As a methodology, it was used the case study of a big enterprise located in Natal (RN). During the execution of the method, documents related to the short-term, midterm and long-term planning were analysed , aiming to describe its planning process; it was also described the factors that caused the delays at the enterprises’ field ;in addition, a comparison was made between the results obtained at the case study and the ones presented at the literature; in the end, the actions were listed by the company, which had the purpose to solve the main causes of delays, verifying if they were linked to the lean construction principles. This research finds its reason of existence in the relevance of its theme at the nowadays reality of the construction industry, since the principles of the lean construction uphold the reduction of processes that are useless, diminishing wastes as well as costs in construction. The relevance is perceived for the academy, in terms of the possibility to discuss if the concepts established by the lean production are being adapted to the civil construction sector and how this adaptation is influencing at the buildings planning project. Economic importance, because with the reduction of the wastes and costs, the companies may reduce the building´s value into a more accessible value, even with the sector´s lower growth. And social significance, because lean construction gives a better participation of the labour at the planning activity. Among the main results, the high frequency of planning errors stands out, mainly the programming deviations and not the task programming, as well as the execution errors, low productivity and activities executed by the workers. Amongst the 11 principles of lean construction, only five were related with the 12 actions analysed by the author. From the 12 actions, four were completely cohesive to one or more from these five principles. Some improvement proposals were also highlighted and established by the research.

Música em projetos socioassistenciais governamentais: práticas e concepções culturais no Serviço de Convivência e Fortalecimento de Vínculos em Natal/RN

This present research focus at the teaching of music in social programs, it discuss about the teaching concepts that permeates the educational-musical practice presents in Serviço de Convivência e Fortalecimento de Vínculos (SCFV), of Complexo Dom Bosco, in Natal-RN. The Objective is to reflect upon the music teaching concepts and the relations between musical knowledge and culture. For this, it was problematized the concepts of music teaching and learning in governmental social projects through theoretical and empirical research. After this step, it was studied the cultural aspects involving the routine in the institutions the influenced the music learning at Serviço de Convivência e Fortalecimento de Vínculos, furthermore, and how these aspects are present in the constitution of the paradigms that involve music teaching. For this, it was used a qualitative approach and a case study as type of research. As data capture tool it was used the ethnographic write, photography, interviews as a Facilitator of music with the students of the program, and video recordings of musical learning situations. Theoretical support it was used authors who study the complexity, culture and music teaching in social projects. Finally, the conclusion is that musical learning, in the SCFV context, is involved of cultural conceptions steeped to the Oratório Dom Bosco space and the same time the Brazilian Social Assistance Policy. Sometimes these concepts are contradictory: discipline, leadership and combat social exclusion refer to dialogical cultural hologram of the institutions involved in the music education process.

Visita interprofissional da cardiologia: uma estratégia de educação interprofissional na área da saúde na Universidade Federal do Rio Grande do Norte

The interprofessional education still represents a great challenge for the health education. This paper aims at implementing the Interprofessional Cardiology Visit (VIC, acronym in Portuguese) as a teaching strategy for the interprofessional education in the undergraduate and graduate courses of UFRN (Federal University of Rio Grande do Norte, acronym in Portuguese). It is a prospective and exploratory study held from March 2013 to November 2014, in the cardiology department of HUOL (Portuguese acronym for Onofre Lopes University Hospital), including health professionals from the mentioned hospital (doctor, psycologist, physiotherapist, dentist, social assistant, nutritionist, pharmacist and nurse), undergraduate and graduate students from the health courses of UFRN. The study happened in three parts: interprofessional activity planning; Implementation of the activity “Interprofessional Cardiology Visit (VIC)”; and Activity evaluation, this last one was made through focus groups. The process of planning and implementation of the VIC was described during the implementation phase: 60 meetings in which 1324 participants discussed one specific patient per meeting. After each case presentation, an interprofessional discussion was held, pointing out each professional’s specific point of view towards improving the overall care of that discussed patient. From the focus group analysis, five categories emerged: Recognition of previous participations in interprofessional activities; Conceptual vision of interprofessional activities; Impacts of the VIC to the patient’s care; Contributions of VIC to the professional training; and Challenges of VIC continuation. The making and planning of VIC process has reached its goals, despite of some health professional’s participation not being systematic due to work overload, such as the nurses’ case, as well as schedule difficulties. The VIC was praised as a successful experience and considered an initiative with positive impact for improving the care of patients with heart diseases. It is clear, from analyzing the discourses, that the VIC is a strategy which positively impacts both the care and the teaching. However, some difficulties remain, such as the lack of human resources and the challenge of making it systematic.

Contributos da supervisão para a dialógica e o trabalho colaborativo : estudo de um caso

Dissertação apresentada à Escola Superior de Educação de Santarém para a obtenção do grau de mestre em Ciências da educação - Supervisão e orientação pedagógica

Entre as tramas da indústria da moda: argumentos sobre o trabalho escravo contemporâneo na sociedade de consumo

Even after its abolition, the slave labor still exists in the world. In a new socio-historic context, the shackles and slave quarters have been left behind, nowadays the workers are tempted, subjected to degrading conditions and have their rights retrenched. The contemporary slave labor has been emerging as subject of research in the Organizational Studies since the early 2000s, calling attention to many gaps to be filled about the way organizations all around the world use this practice. Contemporary slave labor is found in many and various economic activities, since coal to textile industries or even stores. In this dissertation, we have incorporated the consumption dimension to the field of Organizational Studies, discussing the modern slavery, aiming to understand the consumers’ point of view about this topic, that is, we have researched the consumers’ interpretations concerning the slave labor in the fashion industry. Our objective is to analyze consumer’s argumentative construction in the decision of buying or not products made by industries from the fashion field that were denounced because of slave labor usage. We have adopted fashion industry as research focus because it obscures the reflection of the consumers that feel like in a new world while shopping, a world of beauty and fantasy, seeking their own satisfaction. Furthermore, the Brazilian fashion industry is one of the biggest of the world (ABIT, 2015), with a huge symbolic strength in the country. We have realized a qualitative research using semi-structured interviews with 35 consumers to identify their arguments according to the criteria defined by Liakopoulos (2002): data, propositions, guarantees, supports and refutations. The data are the statements used by the interviewees categorically, that is, those which are clear in the interviews. The propositions are what qualifies and justifies the used data. The guarantees are related to the nature of the data, they are what gives the sense to the data and are introduced implicitly in the interviewee speech. The supports are universal premises introduced in order to legitimate the arguments. The refutations, when present, counter the used arguments. As results, we’ve found consumers who developed arguments pro-consumption and anti-consumption and who have defended ideas about the responsibility of different actors for the existence of this practice and for the fight against it. From these two categories: (1) pro-consumption – consume despite the complaints and (2) anti-consumption – don’t consume, because of the accusations; we have identified the following argumentative lines: skepticism, faultfinding and moral engagement. By the end, we have presented the interviewees’ argumentative construction and the obtained results.

A Formação de professores nas tramas do virtual

This study aims to reflect on the cultural and aesthetics formation of teacher, and how they act as a co-author in the virtual environment. The reflection permeates on topics such as: The Information Age and the challenges of the teacher in the twenty-first century; teacher professional development and the multiple personal identities; the importance of cultural repertoire for teaching practice and the role of the teacher as co-author in the informational network. In addition to the theoretical reflections were conducted two focus groups with the participation of teachers with different graduations and working in various levels of education to discuss the presented topics. It was proposed to create a website for the teacher to sail and collaborate with posts on many cultural artifacts. For the construction of the content for the site, it developed a “daily creation”, which is the search information storage from multiple sources, such as academic papers, songs, websites, magazines, comics, blogs, books, photographs, advertisements, finally everything that can increase imagination and serve for the production of content. Data analysis of the focus group showed that teachers recognize the varied cultural repertoire makes for a good professional aplomb, but cannot actively participate in the local culture. It was also found that the teacher has difficulty manipulating information technology and communication and therefore, distance themselves from an active production network. The focus group contributed to building a website and posts on cultural artifacts. Production can be accessed at www.digitaldoprofessor.com.

Ordered magnetic dipoles: controlling anisotropy in nanomodulated continuous ferromagnetic films

In this paper, the research focus is how to entangle magnetic dipoles to control/engineer magnetic properties of different devices at a submicron/nano scale. Here, we report the generation of synthetic arrays of tunable magnetic dipoles in a nanomodulated continuous ferromagnetic film. In-plane magnetic field rotations in modulated Ni 45Fe 55 revealed various rotational symmetries of magnetic anisotropy due to dipolar interaction with a crossover from lower to higher fold as a function of modulation geometry. Additionally, the effect of aspect ratio on symmetry shows a novel phase shift of anisotropy, which could be critical to manipulate the overall magnetic properties of the patterned film. The tendency to form vortex is in fact found to be very small, which highlights that the strong coupling between metastable dipoles is more favorable than vortex formation to minimize energy in this nanomodulated structure. This has further been corroborated by the observation of step hysteresis, magnetic force microscopy images of tunable magnetic dipoles, and quantitative micromagnetic simulations. An analytical expression has been derived to estimate the overall anisotropy accurately for nanomodulated film having low magnetocrystaline anisotropy. Derived mathematical expressions based on magnetic dipolar interaction are found to be in good agreement with our results.