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

Politics at the water's edge: The presidency, Congress, and the North Korea policy of the United States

For all their efforts to avoid a nuclear North Korea, the Clinton and Bush administrations failed to achieve this goal, the most important policy objective of the United States in its relations with North Korea for decades, mainly because of inconsistencies in U.S. policy. This dissertation seeks to explain why both administrations ultimately failed to prevent North Korea from going nuclear. It finds the origins of this failure in the implementation of different U.S. policy options toward North Korea during the Clinton and Bush administrations. To explain the lack of policy consistency, the dissertation investigates how the relations between the executive and the legislative branches and, more specifically, different government types—unified government and divided government—have affected U.S. policy toward North Korea. It particularly emphasizes the role of Congress and partisan politics in the making of U.S. policy toward North Korea. This study finds that divided government played a pivotal role. Partisan politics are also central to the explanation: politics did not stop at the water’s edge. A divided U.S. government produced more status quo policies toward North Korea than a unified U.S. government, while a unified government produced more active policies than a divided government. Moreover, a unified government with a Republican President produced more aggressive policies toward North Korea, whereas a unified government with a Democratic President produced more conciliatory policies. This study concludes that the different government types and intensified partisan politics were the main causes of the inconsistencies in the United States’ North Korea policy that led to a nuclear North Korea.

Transforming Participation: A Case Study of an Introductory Physics Student in a Modeling Instruction Class

We present a case study on how participation of one student changed during her first semester of introductory physics class using Modeling Instruction. Using video recordings, we explore how her behavior is consistent with a change from thinking of group learning as a parallel activity to one that is collaborative.

Measuring Hotel Service Quality: Tools for Gaining the Competitive Edge

As the hotel industry grows more competitive, quality guest service becomes an increasingly important part of managers' responsibility measuring the quality of service delivery is facilitated when managers know what types of assessment methods are available to them. The authors present and discuss the following available measurement techniques and describe the situations where they best meet the needs of hotel managers: management observation, employee feedback programs, comment cards, mailed surveys, personal and telephone interviews, focus groups, and mystery shopping.

Transforming the Hospitality Industry into E-Business

The emergence of a technology-intensive economy requires the transformation of business models in the hospitality industry Established companies can face technological, cultural, organizations and relationship barriers in moving from a traditional business model to an e-business model. The authors suggest that market, learning, and business process orientations at the organizational level can help remove some of the barriers toward e-business and facilitate the development of e-business within existing organizational infrastructures.

A "Transforming the School-to-Prison Pipeline" Initiative: Mentoring Model Pilot Project Symposium

Abstract: This informative and interactive teaching symposium posits the Positive Peer Leadership Mentoring Program (PPLM) as an evidence-based wrap-around service for youth and families in Miami-Dade who are involved in the school-to-prison pipeline. Presenters first provide information to initiate the dialogic process of discerning and interpreting the school-to-prison pipeline, impacted by costs of incarceration for Black youth and families and the move toward effective mental health services in the juvenile justice system. Then, participants experience an interactive pedagogical mentoring format set forth in PPLM as the first step toward transforming the school-to-prison pipeline in their own classroom or other educational setting.

Transforming STEM Education

A response to recommendations by the President's Council of Advisors on Science and Technology.