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

Participation in a positive youth development program and multi -problem alternative high school students' transformative goals: An investigation of the theoretical and methodological utility and validity of the Transformative Goal Attainment (TGAS)

There is a growing body of literature that provides evidence for the efficacy of positive youth development programs in general and preliminary empirical support for the efficacy of the Changing Lives Program (CLP) in particular. This dissertation sought to extend previous efforts to develop and preliminarily examine the Transformative Goal Attainment Scale (TGAS) as a measure of participant empowerment in the promotion of positive development. Consistent with recent advances in the use of qualitative research methods, this dissertation sought to further investigate the utility of Relational Data Analysis (RDA) for providing categorizations of qualitative open-ended response data. In particular, a qualitative index of Transformative Goals, TG, was developed to complement the previously developed quantitative index of Transformative Goal Attainment (TGA), and RDA procedures for calculating reliability and content validity were refined. Second, as a Stage I pilot/feasibility study this study preliminarily examined the potentially mediating role of empowerment, as indexed by the TGAS, in the promotion of positive development. ^ Fifty-seven participants took part in this study, forty CLP intervention participants and seventeen control condition participants. All 57 participants were administered the study's measures just prior to and just following the fall 2003 semester. This study thus used a short-term longitudinal quasi-experimental research design with a comparison control group. ^ RDA procedures were refined and applied to the categorization of open-ended response data regarding participants' transformative goals (TG) and future possible selves (PSQ-QE). These analyses revealed relatively strong, indirect evidence for the construct validity of the categories as well as their theoretically meaningful structural organization, thereby providing sufficient support for the utility of RDA procedures in the categorization of qualitative open-ended response data. ^ In addition, transformative goals (TG) and future possible selves (PSQ-QE), and the quantitative index of perceived goal attainment (TGA) were evaluated as potential mediators of positive development by testing their relationships to other indices of positive intervention outcome within a four-step method involving both analysis of variance (ANOVA and RMANOVAs) and regression analysis. Though more limited in scope than the efforts at the development and refinement of the measures of these mediators, the results were also promising. ^

Ionized cluster beam deposition: Modeling, cluster size measurement and applications

Clusters are aggregations of atoms or molecules, generally intermediate in size between individual atoms and aggregates that are large enough to be called bulk matter. Clusters can also be called nanoparticles, because their size is on the order of nanometers or tens of nanometers. A new field has begun to take shape called nanostructured materials which takes advantage of these atom clusters. The ultra-small size of building blocks leads to dramatically different properties and it is anticipated that such atomically engineered materials will be able to be tailored to perform as no previous material could.^ The idea of ionized cluster beam (ICB) thin film deposition technique was first proposed by Takagi in 1972. It was based upon using a supersonic jet source to produce, ionize and accelerate beams of atomic clusters onto substrates in a vacuum environment. Conditions for formation of cluster beams suitable for thin film deposition have only recently been established following twenty years of effort. Zinc clusters over 1,000 atoms in average size have been synthesized both in our lab and that of Gspann. More recently, other methods of synthesizing clusters and nanoparticles, using different types of cluster sources, have come under development.^ In this work, we studied different aspects of nanoparticle beams. The work includes refinement of a model of the cluster formation mechanism, development of a new real-time, in situ cluster size measurement method, and study of the use of ICB in the fabrication of semiconductor devices.^ The formation process of the vaporized-metal cluster beam was simulated and investigated using classical nucleation theory and one dimensional gas flow equations. Zinc cluster sizes predicted at the nozzle exit are in good quantitative agreement with experimental results in our laboratory.^ A novel in situ real-time mass, energy and velocity measurement apparatus has been designed, built and tested. This small size time-of-flight mass spectrometer is suitable to be used in our cluster deposition systems and does not suffer from problems related to other methods of cluster size measurement like: requirement for specialized ionizing lasers, inductive electrical or electromagnetic coupling, dependency on the assumption of homogeneous nucleation, limits on the size measurement and non real-time capability. Measured ion energies using the electrostatic energy analyzer are in good accordance with values obtained from computer simulation. The velocity (v) is measured by pulsing the cluster beam and measuring the time of delay between the pulse and analyzer output current. The mass of a particle is calculated from m = (2E/v$\sp2).$ The error in the measured value of background gas mass is on the order of 28% of the mass of one N$\sb2$ molecule which is negligible for the measurement of large size clusters. This resolution in cluster size measurement is very acceptable for our purposes.^ Selective area deposition onto conducting patterns overlying insulating substrates was demonstrated using intense, fully-ionized cluster beams. Parameters influencing the selectivity are ion energy, repelling voltage, the ratio of the conductor to insulator dimension, and substrate thickness. ^

Mentoring and minority student development

Positive student development is a complex and multidimensional process, and is therefore best understood through interdisciplinary approaches. Recently, researchers studying the optimization of student development have responded to the challenge by using and integrating concepts from both educational and human developmental theories (King & Magdola, 1999). This theoretical confluence holds significant promise for ethnic minority college students due to the particular challenges these students often encounter. This research assesses individuals involved in an undergraduate educational and professional development mentoring intervention designed to optimize student development for ethnic minority students. First, in order to explore how development is fostered for minority college students, three objectives were pursued. The first objective was to assess the goals that students set for themselves and the degree of personal expressiveness they have in relation to their chosen goals. The second objective was to identify the types of challenges and obstacles that minority students perceive during their college years. The third objective was to identify the need for and availability of resources and support in overcoming obstacles to college success. Specifically, it was assessed whether (and in what ways) students involved in the intervention perceive significantly fewer obstacles and limitations to their development and greater availability of support and resources as a result of their involvement with the mentoring intervention. Second, the relationship between intervention involvement and students' perceptions of institutional and mentor nurturance and support was assessed. ^ A survey was conducted with 77 undergraduate students at Florida International University. A comparison-control design was used to compare students who were involved in the intervention (n = 38) and students who were not involved (n = 39) on variables related to their goals, perceived obstacles and supports, and college experiences. Results indicate that students in the intervention and students in the control group differed in goal orientation and perceived obstacles and supports. The two groups did not differ in their perceptions of institutional nurturance and support. Implications for the development and refinement of interventions aimed at fostering professional development for minority students are discussed. ^

Foreign-born CEOs, country-specific skills, selection, and strategic consequences

In this dissertation, I first suggest an extension of the managerial rents model and more specifically the managerial skills typology that it offers. Building on research in international business, I propose adding country-specific skills (CSS) to this typology in addition to firm-specific, industry-specific, and generic skills. I define CSS as managers' abilities that are applicable and specific to a particular national institutional context. Such skills are distinct from the other three types identified and are likely to influence managers' performance and the performance of their firms. So if CSS are distinct skills, what are the implications for strategy and international business research? In an attempt to respond to this question, I conduct two empirical essays in which I examine the implications of this refinement of the typology of managerial skills for CEO selection and firms' mergers and acquisitions (M&A;) strategy. In the first empirical essay, I puzzle at the fact that although CSS constitute a barrier to high-level executive mobility across countries, there have been a growing number of foreign-born CEOs being appointed across the globe. Why are these individuals being selected for the post of CEO? Using information on the appointment of foreign-born and national CEOs from 2005 to 2010 among global 500 companies, I show that internationalization pressures help explain their selection and that two types of firms are likely to appoint foreign leaders: highly internationalized firms and firms that are likely to internationalize. In the second empirical essay, I examine the strategic implications of country-specific skills. Employing the same sample as the one used in the first empirical essay, I demonstrate that given that their mindset is likely to be less focused on firms' home market, foreign-born CEOs may be prone to institute more changes in firms' cross-border M&A; strategy than their domestic counterparts. I also theorize on the moderating influence of CEOs' insiderness.

Foreign-born CEOs, Country-Specific Skills, Selection, and Strategic Consequences

In this dissertation, I first suggest an extension of the managerial rents model and more specifically the managerial skills typology that it offers. Building on research in international business, I propose adding country-specific skills (CSS) to this typology in addition to firm-specific, industry-specific, and generic skills. I define CSS as managers’ abilities that are applicable and specific to a particular national institutional context. Such skills are distinct from the other three types identified and are likely to influence managers’ performance and the performance of their firms. So if CSS are distinct skills, what are the implications for strategy and international business research? In an attempt to respond to this question, I conduct two empirical essays in which I examine the implications of this refinement of the typology of managerial skills for CEO selection and firms’ mergers and acquisitions (M&A) strategy. In the first empirical essay, I puzzle at the fact that although CSS constitute a barrier to high-level executive mobility across countries, there have been a growing number of foreign-born CEOs being appointed across the globe. Why are these individuals being selected for the post of CEO? Using information on the appointment of foreign-born and national CEOs from 2005 to 2010 among global 500 companies, I show that internationalization pressures help explain their selection and that two types of firms are likely to appoint foreign leaders: highly internationalized firms and firms that are likely to internationalize. In the second empirical essay, I examine the strategic implications of country-specific skills. Employing the same sample as the one used in the first empirical essay, I demonstrate that given that their mindset is likely to be less focused on firms’ home market, foreign-born CEOs may be prone to institute more changes in firms’ cross-border M&A strategy than their domestic counterparts. I also theorize on the moderating influence of CEOs’ insiderness.

The refinement and validation of the critical decision making and problem solving scale moral dilema (CDP-MD)

This thesis extended previous research on critical decision making and problem solving by refining and validating a measure designed to assess the use of critical thinking and critical discussion in sociomoral dilemmas. The purpose of this thesis was twofold: 1) to refine the administration of the Critical Thinking Subscale of the CDP to elicit more adequate responses and for purposes of refining the coding and scoring procedures for the total measure, and 2) to collect preliminary data on the initial reliabilities of the measure. Subjects consisted of 40 undergraduate students at Florida International University. Results indicate that the use of longer probes on the Critical Thinking Subscale was more effective in eliciting adequate responses necessary for coding and evaluating the subjects performance. Analyses on the psychometric properties of the measure consisted of test-retest reliability and inter-rater reliability.