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

Civilizing the tropics: The highlanders' failed attempt to transform the Colombian Amazon, 1850--1930

The subject of this dissertation is the nature of the environmental transformations, both symbolic and physical, that took place in Colombia between 1850 and 1930. This period begins with the attempt by the Colombian elite to leave behind colonial ties, overcome economic disorganization, and link Colombia to the international market. These efforts were part of a general project to “civilize” this tropical country. The period closes with the transition toward an industrialization and urbanization process led by the Colombian state during the 1930s. ^ Frequently, environmental studies as an academic field are dominated by biological concerns. However, most environmental thinking accepts their interdisciplinary nature. Under this framework not only spatial but also symbolic concerns are key elements in understanding environmental transformations. ^ This study finds that despite several attempts to transform the Colombian landscape physically, most of the substantive changes were localized and circumscribed to the Andean region. Other changes were mainly symbolic. This dissertation thus uses the Amazon as one of several regions that did not experience significant changes in the forest canopy. While highlanders originally dreamed of the Amazon as an untapped El Dorado, their failed attempts to exploit the region caused them to imagine it as a nightmarish “green hell”. ^ This dissertation concentrates on three pairs of concepts: tropicality/civilization, landscape/territory, and symbolic/material changes. It presents both a general vision of Colombia and case studies of three regions: Cundinamarca, and Cauca Valley are used to compare with the Amazon region that is developed at length. Whereas mainstream Colombian histories have either fixated on the Andean highlands or, in a relegated second place, on the Caribbean region, this dissertation attempts to significantly contribute to the historiography of Colombia by focusing on the largely neglected Amazonian region. ^ To understand imageries about Colombia's landscape, the dissertation relies on travel writings, chorographic descriptions and maps. It also makes uses legal documents and other published primary sources, including literary pieces and memoirs. ^

Toward a unified theory of task -oriented and relationship -oriented leader behavior: A multi -country generalizability study

The theoretical foundation of this study comes from the significant recurrence throughout the leadership literature of two distinct behaviors, task orientation and relationship orientation. Task orientation and relationship orientation are assumed to be generic behaviors, which are universally observed and applied in organizations, even though they may be uniquely enacted in organizations across cultures. The lack of empirical evidence supporting these assumptions provided the impetus to hypothetically develop and empirically confirm the universal application of task orientation and relationship orientation and the generalizability of their measurement in a cross-cultural setting. Task orientation and relationship orientation are operationalized through consideration and initiation of structure, two well-established theoretical leadership constructs. Multiple-group mean and covariance structures (MACS) analyses are used to simultaneously validate the generalizability of the two hypothesized constructs across the 12 cultural groups and to assess whether the similarities and differences discovered are measurement and scaling artifacts or reflect true cross-cultural differences. The data were collected by the author and others as part of a larger international research project. The data are comprised of 2341 managers from 12 countries/regions. The results provide compelling evidence that task orientation and relationship orientation, reliably and validly operationalized through consideration and initiation of structure, are generalizable across the countries/regions sampled. But the results also reveal significant differences in the perception of these behaviors, suggesting that some aspects of task orientation and relationship orientation are strongly affected by cultural influences. These (similarities and) differences reflect directly interpretable, error-free effects among the constructs at the behavioral level. Thus, task orientation and relationship orientation can demonstrate different relations among cultures, yet still be defined equivalently across the 11 cultures studied. The differences found in this study are true differences and may contain information about cultural influences characterizing each cultural context (i.e. group). The nature of such influences should be examined before the results can be meaningfully interpreted. To examine the effects of cultural characteristics on the constructs, additional hypotheses on the constructs' latent parameters can be tested across groups. Construct-level tests are illustrated in hypothetical examples in light of the study's results. The study contributes significantly to the theoretical understanding of the nature and generalizability of psychological constructs. The theoretical and practical implications of embedding context into a unified theory of task orientated and relationship oriented leader behavior are proposed. Limitations and contributions are also discussed. ^