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

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.

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.