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

Evaluating and improving the opposing expert safeguard against junk science

In Daubert, the Supreme Court opined that opposing expert testimony is an effective safeguard against junk science in the courtroom. Although jurors maybe unable to identify flaws in scientific research without some assistance, social psychological research suggests that people can be trained to make more sophisticated judgments about scientific quality. Further, previous research demonstrated that an opposing expert who addresses the methodology of proffered expert testimony may not enable jurors to evaluate scientific validity. In three studies, I tested why this safeguard was ineffective using a variety of stimulus materials. In the first study, I examined the mediating effect of attitudes on juror decisions within the context of a sexual harassment trial. In the second study, I examined the moderating effect of the presentation of expert credentials on participant decisions regarding child suggestibility literature. In the third study, I tested several improvements to the safeguard using improvements designed to correct for the effects of attitudes and credential presentation on juror decisions within the context of a first-degree murder trial. I found that while opposing expert testimony may have potential as a safeguard, in its current form it is ineffective. That is, a traditional opposing expert caused jurors to be skeptical of all expert testimony rather than sensitizing them to the validity of the research presented at trial. Further, while the improvements tested in this study may have potential to assist jurors in making scientifically sound decisions, more research is needed to further test and refine these improvements. ^

Hazard mitigation element quality in coastal comprehensive plans in a state with strong requirements for hazard mitigation plan elements

This dissertation examines the quality of hazard mitigation elements in a coastal, hazard prone state. I answer two questions. First, in a state with a strong mandate for hazard mitigation elements in comprehensive plans, does plan quality differ among county governments? Second, if such variation exists, what drives this variation? My research focuses primarily on Florida's 35 coastal counties, which are all at risk for hurricane and flood hazards, and all fall under Florida's mandate to have a comprehensive plan that includes a hazard mitigation element. Research methods included document review to rate the hazard mitigation elements of all 35 coastal county plans and subsequent analysis against demographic and hazard history factors. Following this, I conducted an electronic, nationwide survey of planning professionals and academics, informed by interviews of planning leaders in Florida counties. I found that hazard mitigation element quality varied widely among the 35 Florida coastal counties, but were close to a normal distribution. No plans were of exceptionally high quality. Overall, historical hazard effects did not correlate with hazard mitigation element quality, but some demographic variables that are associated with urban populations did. The variance in hazard mitigation element quality indicates that while state law may mandate, and even prescribe, hazard mitigation in local comprehensive plans, not all plans will result in equal, or even adequate, protection for people. Furthermore, the mixed correlations with demographic variables representing social and disaster vulnerability shows that, at least at the county level, vulnerability to hazards does not have a strong effect on hazard mitigation element quality. From a theory perspective, my research is significant because it compares assumptions about vulnerability based on hazard history and demographics to plan quality. The only vulnerability-related variables that appeared to correlate, and at that mildly so, with hazard mitigation element quality, were those typically representing more urban areas. In terms of the theory of Neo-Institutionalism and theories related to learning organizations, my research shows that planning departments appear to have set norms and rules of operating that preclude both significant public involvement and learning from prior hazard events.

Effects of invasive Africanized honey bees (Apis mellifera scutellata) on native stingless bee populations (Meliponinae) and traditional Mayan beekeeping in central Quintana Roo, Mexico

The Maya of the Yucatan region have a long history of keeping the native stingless bees (subfamily Meliponinae). However, market forces in the last few decades have driven the Maya to favor the use of invasive Africanized honey bees (Apis mellifera scutellata) for producing large quantities of high quality honey that has an international market. Furthermore, the native bees traditionally used by the Maya are now disappearing, along with the practice of keeping them. ^ An interdisciplinary approach was taken in order to determine the social factors behind the decrease in stingless beekeeping and the ecological driving forces behind their disappearance from the wild. Social research methods included participant observation with stingless beekeepers, Apis beekeepers, and marketing intermediaries. Ecological research methods included point observations of commonly known melliferous and polliniferous plants along transects in three communities with different degrees of human induced ecosystem disturbance. ^ The stingless bee species most important to the Maya, Melipona beecheii, has become extremely rare, and this has caused a breakdown of stingless beekeeping tradition, compounded with the pressure of the market economy, which fuels Apis beekeeping and has lessened the influence of traditional practices. The community with the heaviest amount of human induced ecosystem disturbance also had the highest degree of dominance of Apis mellifera, while the area with the most intact ecosystem had the highest diversity of stingless bees, though Apis mellifera was still the dominant species. Aggressive competitive behavior involving physical attacks by Apis mellifera against stingless bees was observed on several occasions, and this is a new observation previously unreported by science. ^

Labor turnover : its causes, consequences, and control strategy in five selected restaurants in the Miami area

The purpose of this study is to identify and analyze the basic causes of food service employee turnover in five selected restaurants in the Miami area. The withdrawal behavior in this study is treated in terms of controllable turnover, for the purpose of management, learning more about what action to take to solve this problem which has eaten into the fabric of the hospitality industry. The aim is to find out from the food service employees and management view of work for the purpose of identifying the variables which cause an employee to voluntarily leave a job. The objective is therefore, to analyze and describe the problem of labor turnover in these selected restaurants. Such description must precede efforts to arrive at solutions to the problem if these efforts are ever to be more than haphazard and superficial. Sigmund Freud once stated: "The true beginning of scientific activity consists in describing phenomena and only then in proceeding to group, classify and correlate them."1 The nature of the study is basically descriptive survey. Data is collected by the use of management questionnaire, food service employee questionnaire and finally employees job description index. The survey consisted of a series of well defined questions with open and closed endings dealing with employee with employee turnover. As Robert Ferber and P. J. Verdoom state in their book titled Research Method in Economics of Business: "Structured questionnaires, by supplying question formulations in very specific terms as well as the different possible answers are easier for the sample members to answer and also serve to reduce the danger of interviewer bias."2 The answers to the prepared questionnaire by sample members were then recorded. The results of the questionnaire responses were then compiled for presentation and analysis. 1 Julian Simon, Basic Research Methods in Social Science. Random House, New York, 1969, p.53. 2 Robert J. Ferber and P.J. Verdoon, Research Methods in Economics and Business, The McMillan Company, 1962, p. 20 9 .

Meating the social: sharing atiku-euiash in Sheshatshiu, Labrador

This work examines atiku-euiash (caribou meat) sharing practices in Sheshatshiu, Newfoundland and Labrador, and aims to elucidate an overarching question: how do sharing practices participate in the co-constitution of the Innu ‘social’? The ‘social’ is understood in this work as a descriptor that refers to the emergent properties of the Innu collective. The thesis is that sharing practices participate in the co-constitution of the Innu social and enact its boundaries. Inside these boundaries, atiku-euiash is more than simply a food resource: by realizing Innu values of generosity, respect and autonomy, sharing implicates the associations of human, animal, and animal masters that constitute the Innu world. Sharing is connected with the enskilment of the younger generations by their el-ders, and thus with the reproduction of Innu values through time. The ways of sharing are relevant because changes in such practices affect the constitution of the Innu social. Giv-en Euro-Canadian colonization, the Innu are in a fraught social space in which sharing is interrupted by colonization practices and values. Understanding sharing is necessary to develop policies that do not interrupt the reproduction of the Innu world This work uses several research methods: participant observation, sharing surveys, and interviews. It also uses network analysis as sharing practices leave traces of giving and receiving actions and these traces can be represented as a network of givers, receivers and circulating caribou meat. There are two main ways in which caribou is hunted and shared: household-based hunts and community-based hunts. The household-based hunts are organized by the hunters themselves, who are able and willing to hunt. Community-based hunts are completely organized and funded by the SIFN or the Innu Nation. In or-der to understand the differences in the distribution of the two hunt types, the categories of centrality and clustering are used to show how the flow of atiku-eiuash and its associ-ated realization of values and enskilment correlate with different degrees of centralization inside the sharing clusters.

Information technology and social cohesion : a tale of two villages

Acknowledgements: This research was carried out through a grant from the EPSRC: Communities and Cultures Network+ EP/K003585 and forms part of the dot.rural Rural Digital Economy Research Hub EP/G066051

Information technology and social cohesion : a tale of two villages

Acknowledgements: This research was carried out through a grant from the EPSRC: Communities and Cultures Network+ EP/K003585 and forms part of the dot.rural Rural Digital Economy Research Hub EP/G066051

Do Social Crises Cause Religious Revivals? What British Church Adherence Rates Show

Funding Some of author A’s research alluded to here was conducted while on a Leverhulme Senior Research Fellowship. Author B’s research is supported by the ESRC Research Centre XXX.

From exotic seduction to utter normality : Discourse research and International Relations

Peer reviewed

The Politics of Gender Socialization

This manuscript is comprised of three papers that examine the far-reaching and often invisible political outcomes of gender role socialization in the United States. These papers focus primarily on two areas: political confidence amongst girls and women, and the effects of gender on survey measurement and data quality.

Chapter one focuses on political confidence, and the likelihood that women will run for political office. Women continue to be underrepresented at all levels of political leadership, and their lack of political ambition, relative to men, has been identified as a primary cause. In this paper, I explore the relationship between an individual's masculinity and femininity and her development of political ambition. Using original survey data from the 2012 Cooperative Congressional Election Study (CCES), I first empirically demonstrate that gender (masculinity/femininity) and sex (male/female) are unique elements of identity and, moreover, are both independently related to political ambition. I then explore the relevance of gender for the study of candidate emergence, testing whether and how masculinity and femininity might be related to political ambition are supported empirically. While the results suggest that masculinity is positively associated with the development of political ambition, the relationship between femininity and candidate emergence seems to be more complicated and not what prevailing stereotypes might lead us to expect. Moreover, while the relationship between masculinity and political ambition is the same for men and women, the relationship between femininity and political ambition is very different for women than it is for men. This study suggests that gender role socialization is highly related with both men's and women's desire to seek positions of political leadership.

Chapter two continues this exploration of gendered differences in the development of political ambition, this time exploring how social attractiveness and gendered perceptions of political leadership impact the desire to hold political office.Women are persistently underrepresented as candidates for public office and remain underrepresented at all levels of government in the United States. Previous literature suggests that the gendered ambition gap, gender socialization, insufficient recruitment, media scrutiny, family responsibilities, modern campaign strategies, and political opportunity structures all contribute to the gender imbalance in pools of officeholders and candidates. To explain women's reticence to run, scholars have offered explanations addressing structural, institutional, and individual-level factors that deter women from becoming candidates, especially for high positions in the U.S. government. This paper examines a previously unexplored factor: how dating and socialized norms of sexual attraction affect political ambition. This study investigates whether young, single, and heterosexual women's desire for male attention and fear of being perceived as unattractive or "too ambitious" present obstacles to running for office. The results of these experiments suggest that social expectations about gender, attraction and sexuality, and political office-holding may contribute to women's reticence to pursue political leadership. Chapter two is a co-authored work and represents the joint efforts of Laura Lazarus Frankel, Shauna Shames, and Nadia Farjood.

Chapter 3 bridges survey methodology and gender socialization, focusing on how interviewer sex affects survey measurement and data quality. Specifically, this paper examines whether and how matching interviewer and respondent sex affects panel attrition--respondents dropping out of the study after participating in the first wave. While the majority of research on interviewer effects suggests that matching interviewer and respondent characteristics (homophily) yields higher quality data, little work has examined whether this pattern holds true in the area of panel attrition. Using paradata from the General Social Survey (GSS), I explore this question. My analysis reveals that, despite its broader positive effects on data quality, matching interviewer and respondent sex increases likelihood to attrit. Interestingly, this phenomenon only emerges amongst male respondents. However, while assigning female interviewers to male respondents decreases their propensity to attrit, it also increases the likelihood of biased responses on gender related items. These conflicting outcomes represent a tradeoff for scholars and survey researchers, requiring careful consideration of mode, content, and study goals when designing surveys and/or analyzing survey data. The implications of these patterns and areas for further research are discussed.

Together, these papers illustrate two ways that gender norms are related to political outcomes: they contribute to patterns of candidate emergence and affect the measurement of political attitudes and behaviors.

Weathering the crisis? Managing democracy at a national broadcaster

With post-2008 political and economic crises as its backdrop, this inquiry into the political roles and functions of public service broadcasting (PSB) in Ireland is principally concerned with examining the capacities for and actuality of critical and counter-hegemonic professional journalistic and institutional mediations of crisis. Recognising the diversity of influences on the normative identity of Irish PSB, the dissertation adopts a sociological approach that acknowledges the systemic embedding of media institutions in the broader field of power. An initial tracing of the formative impacts of endogenous and exogenous forces on the democratic horizons of PSB suggests that the present crisis conjuncture does not represent promising terrain for engendering critical crisis and recovery imaginaries. A methodologically diverse intra-institutional empirical research agenda aims to explore at close hand Irish PSB’s contingent navigation of crisis, encompassing ethnographic observation in the newsroom, practitioner interviews and textual analysis of broadcast output. These methods afford close analysis of practices of journalistic production and reflexivity, self-conceptions of the journalistic habitus, and ideological affinities of crisis framings in broadcast output. These analyses are supplemented by a participant observation study of the possibilities for public agenda-building in a key institutional venue of public participation in broadcasting governance. The findings offer an evidential basis for the arguments that the crisis has prompted only minimal changes to professional norms and practices of representation and inclusion; that journalistic crisis framings tend toward effecting hegemonic repair by lending support to neoliberal crisis and recovery imaginaries; and that the institutional openings for the building of public counterpower are highly constrained. The overall conclusion is made that the normative democratic orientation embedded in the professional and institutional projects of public service broadcasting help render it ill-equipped to act as a re-democratising countervailing power against the democratic regressions engendered by the present crisis of democratic capitalism.

Massive inclusion of digital technologies in schools : Argentinian young adolescents? appropriation of computers and the Internet in popular and middle classes

Since the implementation of the Programa Conectar Igualdad (PCI) (Connecting Equality Program) in 2010 in Argentina, numerous Social Science specialists started to research how massive ICT introduction in schools would radically affect teaching and learning processes, knowledge building and youth behaviour. Nevertheless, there is still not much empirical evidence showing the ways in which these technologies are appropriated. This situation discloses the need of placing research questions locally situated with regard to those potential changes. What existing access methods does PCI encounter? And how does its implementation participate in the design of personal and family heterogeneous trajectories of ICTs appropriation? How do the students themselves perceive the infl uence of PCI on their own technologic abilities and competence? How do knowledge and aptitudes associated to new digital media articulate with the knowledge manners promoted by the school format and institutionalism? How does the massive introduction of netbooks affect the interaction among different school actors (students-teachers)? What happens in other sociability and socialization spaces, such as the house and cybercafé?

The differential impact of oxytocin receptor (OXTR) genotypes on the risk of autism spectrum disorder (ASD) and resulting social communication deficits

Background: Autism spectrum disorder (ASD) is multifactorial and is likely the result of complex interactions between multiple environmental and genetic factors. Recently, it has been suggested that each symptom cluster of the disorder, such as poor social communication, may be mediated by different genetic influences. Genes in the oxytocin pathway, which mediates social behaviours in humans, have been studied with single nucleotide polymorphisms (SNPs) in the oxytocin receptor gene (OXTR) being implicated in ASD. This thesis examines the presence of different oxytocin receptor genotypes, and their associations with ASD and resulting social communication deficits. Methods: The relationship between four OXTR variants and ASD was evaluated in 607 ASD simplex (SPX) families. Cases were compared to their unaffected siblings using a conditional logistic approach. Odds ratios and associated 95 percent confidence intervals were obtained. A second sample of 235 individuals with a diagnosis of ASD was examined to evaluate whether these four OXTR variants were associated with social communication scores on the Autism Diagnostic Interview – Revised (ADI-R). Parameter estimates and associated 95 percent confidence intervals were generated using a linear regression approach. Multiple testing issues were addressed using false discovery adjustments. Results: The rs53576 AG genotype was significantly associated with a lower risk of ASD (OR = 0.707, 95% CI: 0.512-0.975). A single genotype (AG) provided by the rs2254298 marker was found to be significantly associated with higher social communication scores (Parameter estimate = 1.833, SE = 0.762, p = 0.0171). This association was also seen in a Caucasian only and mothers as the respondent samples. No association was significant following false discovery rate adjustments. Conclusion: The findings from these studies provide limited support for the role of OXTR SNPs in ASD, especially in social communication skills. The clinical significance of these associations remains unknown, however, it is likely that these associations do not play a role in the severity of symptoms associated with ASD. Rather, they may be important in the appearance of social deficits due to the rs2254298 markers association with enlarged amygdalas.

Digital anthropology and educational eGames: learning through behavioural patterns in digital, game-based contexts

The selected publications are focused on the relations between users, eGames and the educational context, and how they interact together, so that both learning and user performance are improved through feedback provision. A key part of this analysis is the identification of behavioural, anthropological patterns, so that users can be clustered based on their actions, and the steps taken in the system (e.g. social network, online community, or virtual campus). In doing so, we can analyse large data sets of information made by a broad user sample,which will provide more accurate statistical reports and readings. Furthermore, this research is focused on how users can be clustered based on individual and group behaviour, so that a personalized support through feedback is provided, and the personal learning process is improved as well as the group interaction. We take inputs from every person and from the group they belong to, cluster the contributions, find behavioural patterns and provide personalized feedback to the individual and the group, based on personal and group findings. And we do all this in the context of educational games integrated in learning communities and learning management systems. To carry out this research we design a set of research questions along the 10-year published work presented in this thesis. We ask if the users can be clustered together based on the inputs provided by them and their groups; if and how these data are useful to improve the learner performance and the group interaction; if and how feedback becomes a useful tool for such pedagogical goal; if and how eGames become a powerful context to deploy the pedagogical methodology and the various research methods and activities that make use of that feedback to encourage learning and interaction; if and how a game design and a learning design must be defined and implemented to achieve these objectives, and to facilitate the productive authoring and integration of eGames in pedagogical contexts and frameworks. We conclude that educational games are a resourceful tool to provide a user experience towards a better personalized learning performance and an enhance group interaction along the way. To do so, eGames, while integrated in an educational context, must follow a specific set of user and technical requirements, so that the playful context supports the pedagogical model underneath. We also conclude that, while playing, users can be clustered based on their personal behaviour and interaction with others, thanks to the pattern identification. Based on this information, a set of recommendations are provided Digital Anthropology and educational eGames 6 /216 to the user and the group in the form of personalized feedback, timely managed for an optimum impact on learning performance and group interaction level. In this research, Digital Anthropology is introduced as a concept at a late stage to provide a backbone across various academic fields including: Social Science, Cognitive Science, Behavioural Science, Educational games and, of course, Technology-enhance learning. Although just recently described as an evolution of traditional anthropology, this approach to digital behaviour and social structure facilitates the understanding amongst fields and a comprehensive view towards a combined approach. This research takes forward the already existing work and published research onusers and eGames for learning, and turns the focus onto the next step — the clustering of users based on their behaviour and offering proper, personalized feedback to the user based on that clustering, rather than just on isolated inputs from every user. Indeed, this pattern recognition in the described context of eGames in educational contexts, and towards the presented aim of personalized counselling to the user and the group through feedback, is something that has not been accomplished before.