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

AIDS workplace *policy adoption and implementation in local government: An analysis of departmental variation

This is an empirical study whose purpose was to examine the process of innovation adoption as an adaptive response by a public organization and its subunits existing under varying degrees of environmental uncertainty. Meshing organization innovation research and contingency theory to form a theoretical framework, an exploratory case study design was undertaken in a large, metropolitan government located in an area with the fourth highest prevalence rate of HIV/AIDS in the country. A number of environmental and organizational factors were examined for their influence upon decision making in the adoption/non-adoption as well as implementation of any number of AIDS-related policies, practices, and programs.^ The major findings of the study are as follows. For the county government itself (macro level), no AIDS-specific workplace policies have been adopted. AIDS activities (AIDS education, AIDS Task Force, AIDS Coordinator, etc.), adopted county-wide early in the epidemic, have all been abandoned. Worker infection rates, in the aggregate and throughout the epidemic have been small. As a result, absent co-worker conflict (isolated and negligible), no increase in employee health care costs, no litigation regarding discrimination, and no major impact on workforce productivity, AIDS has basically become a non-issue at the strategic core of the organization. At the departmental level, policy adoption decisions varied widely. Here the predominant issue is occupational risk, i.e., both objective as well as perceived. As expected, more AIDS-related activities (policies, practices, and programs) were found in departments with workers known to have significant risk for exposure to the AIDS virus (fire rescue, medical examiner, police, etc.). AIDS specific policies, in the form of OSHA's Bloodborn Pathogen Standard, took place primarily because they were legislatively mandated. Union participation varied widely, although not necessarily based upon worker risk. In several departments, the union was a primary factor bringing about adoption decisions. Additional factors were identified and included organizational presence of AIDS expertise, availability of slack resources, and the existence of a policy champion. Other variables, such as subunit size, centralization of decision making, and formalization were not consistent factors explaining adoption decisions. ^

Estrutura e desempenho organizacional: uma análise na Universidade Federal do Rio Grande do Norte

This research analyses the components of the organizational structure of the UFRN (Rio Grande do Norte Federal University) and to what extent they affect organizational performance. The study, classified as exploratory and descriptive, was conducted in two phases. The first phase consists of a pilot test to refine the research instrument and to identify the latent components of the organizational structure, and the second to characterize these components and thereby establish relationships with organizational performance. In the first phase, the research was conducted in 20 UFRN organizational units with the participation of 84 employees between technical-administrative and teachers, after considering missing values and outliers, while the second phase occurred in two stages: one conducted with 279 valid cases, consisting of technical-administrative and teachers of 37 UFRN units, and another with 112 managers of the institution in the 49 units identified in this research. The instrument adopted in the first phase was composed of 36 indicators of organizational structure, with six extracted and adapted from the instrument developed by Medeiros (2003) and 30 prepared based on the literature review, from Mintzberg (2012), Hall (1984), Vasconcellos and Hemsley (1997) and Seiffert and Costa (2007) and 7 performance indicators adapted from Fleury and Mills (2006), Vieira and Vieira (2003) and Kaplan and Norton (1997) from the self-assessment instrument in use by the university. In this stage the data were analyzed using the techniques of factor analysis and reliability analysis by means of Cronbach’s alpha, aiming to extract the factors representing the components of the organizational structure. In step 1 of the second phase, the instrument, refined and reduced in the previous phase, with 24 variables of organizational structure and 6 for performance was used, while in step 2, a semi-structured interview guide with questions, organized into nine organizational structure elements, was adopted aiming to gather information to understand the relationship of structure to performance of the UFRN. The techniques used in the second phase, as a whole, were factor analysis and reliability analysis to characterize the components extracted in the previous phase and to validate the performance variables and correlation analysis, regression and content analysis to establish and understand the relationship between structure and performance. The results showed, in the two stages, six latent components of organizational structure in the context under study: training and internalization, communication, hierarchy, decentralization, formalization and departmentalization - with high levels of Cronbach's alpha indexes - which can thereby be characterized as components of UFRN structure. Six performance indicators were validated in this study, showing them as efficient and highly reliable. Finally, it was found that the formalization, communication, decentralization, training and internalization components positively affect UFRN performance, while departmentalization has an adverse affect and hierarchy did not show a significant relationship. The results achieved in this work are important in future studies to support the development of a model structure that represents the specifics of the university

O saber na perspectiva psicanalítica de orientação freudo-lacaniana: um estudo teórico

This work came from a research question, namely authorizing a child to learn, lifted from the care of a child of 09 years in the school service of a private university located in Natal, whose complaint referred to a learning disorder more specifically, not the formalization of reading and writing. To undertake a survey of the Lacanian psychoanalytic - Freudian literature on learning, we find the concept of knowledge as fundamental to the analysis of this issue which led us to investigate the history of its co nstruction in Freud and Lacan, with a view to shed light on their relationship to learn. This is a theoretical type of research with the proposal to revisit the concept of knowledge in the work of Freud and Lacan's teaching, in which case only served as th e trigger point of this work. We found that in both these authors, the concept of knowledge is associated to the unconscious exclusively and can be hinged to learn the way of the desire to know. It concludes that learning is a process that involves the unconscious knowledge. Consequently, learning disorders may be linked to the impossible into play in the know about the desire to find himself alienated the significant of what operates as forbidden to know when not referred only or also of teaching and / or educational aspects. This shows us that the complaints that come to the clinic can illustrate dilemmas experienced by the speaking, related to subjective questions. Deviations from the possibility of learning may indicate in these cases, a manifestation of what is singular and very impossibility of generalization when it comes to subjects. With this, also attest that the relations of the subject with knowledge effect in learning processes.

Quando fé e gestão se encontram: compreendendo uma ONG de filosofia protestante sob as lentes da prática e do Sensemaking

We find in Brazil the reality of religious pluralism. From the end of XIX century until now, the religious scenario became more diversified in a process of acceptance and legitimation of different religions. In the same period, the Third Sector was largely developed up until its current form: complex, broad and plural as well. In this context, we find non profitable organizations that provide services under a religious phylosophy. One in particular, placed in Uberlândia-MG, protestant, has the fearures of a big company and is the largest one among the ones that provide social services and receive public funds in the city: Missão Luz. Thinking about the organization, some questions came to mind: is there a noticeable influence of the religious orientation on practices? How do managers understand and make sense of their practices? Adopting Chanlat’s (1996) concept of management mode, the perspective proposed by the Practice Based Studies (GHERARDI, 2013) and the sensemaking studies (WEICK, 1995), I developed a research that intended to understand Missão Luz’ management practices. Three sources of data were used – documents, shadowing and interviews – to understand, in the most complete way, organization’s management practices, using managers’ perspective. Results pointed to a noticeable relation between faith and management. Ten practices were identified among managers: council decisions, appreciation for excellence, respect for authority figures, giving second chances to employees, desire to be a reference, results quantification, search for professionalization, organization, formalization and standardization. The first five practices were heavily influenced by religious principles, and the five last were influenced by instrumental rationality, usually found in the Second Sector. It was noticed that faith was also related to those last practices, justifying them for their contribution for achieving excellence e consequent action of glorifying God. Practices are maintained e passed by the cultivation of the Mission’s DNA, an organization’s way of doing things, and by the belief of the role of the leader maintaining this DNA. Associated to practices, sensemaking moments were analyzed, situations where there order was disrupted and managers had to make sense e act on this understanding. These situations were divided in three themes: “fly the flag of the company”, changes in schools’ management and God’s purpose and sovereignty. The paper is finished with some suggestions for future researches.

Estrutura produtiva da agropecuária, ocupação e pobreza no estado de Minas Gerais no ano de 2010

This thesis aimed to contribute to the discussion about the relationship between agricultural production structure, occupation and poverty in Brazil, specifically in the state of Minas Gerais, in 2010. The issue of employment is becoming increasingly challenging in the face of ongoing modernization process in agriculture, capital intensive and labor saver looking levels ever higher production and productivity. The productive inclusion can be an effective way to exit from poverty (the work is often the only asset of the poor). In this sense, we sought to investigate what activities or groups of activities occupied a larger number of people and generated higher yields and can potentially have contributed to a lower incidence of poverty. The basis for primary data was the 2010 Population Census (microdata). To achieve the objectives we used descriptive analysis, Pearson correlation coefficients and quantile regressions. Among the main findings highlight that agriculture occupied more and generated higher overall income than ranching presented more precarious, despite having lower average incomes and income percentile values, greater heterogeneity and instability, as well as higher proportions of poor. Overall, commodities showed greater formalization and lower poor proportions. In the case of agriculture, commodities activities occupied less, generated lower mass income and middle-income (although income percentiles slightly larger and more informality) and had lower poverty indicators than non-commodity (more heterogeneous rents). In livestock, commodities had higher percentages of occupation, income (although middle-income values and percentiles slightly smaller), and smaller proportions of poor than non-commodity (more heterogenous). In terms of occupation and income stood out the farming activities unspecified (non-commodity), the coffee growing and cattle (commodities). The cultivation of coffee and cattle had the lowest poverty indicators. agricultural production diversification indicators showed positive correlations with the occupation in activities not commodities (only), but also with the proportion of poor, indigent and concentration of income. In addition, the occupation in not commodities showed positive correlations with poverty indicators. It is noteworthy that the occupations in soybeans, coffee and fruit showed negative correlation coefficients with the indicators of poverty, indigence and gini. Finally, among the agricultural activities, there was to go to occupied in agricultural activities not commodities for commodity would be 'more equalizer' (decreasing coefficients over the distribution of income) than for cattle. The occupation in livestock (mostly non-commodity) would generate greater impact on the lower income deciles, but their coefficients grow back in the last deciles, which shows its most perverse character. Among the activities that would affect more strongly the lower deciles and less the higher deciles stand out pig farming, poultry, citrus cultivation, coffee and sugar cane. The cattle and the cultivation of soy, had the highest rates, but they grow back in the last deciles, which shows a more wicked character.

Talom Rukbo and the Donyipolo Yelam Kebang: restructuring Adi religious practices in Arunachal Pradesh, Northeast India

The purpose of this dissertation is to examine and contextualize the recent changes in the articulation of Donyipolo faith among the indigenous community of the Adi from the 1980s until the present. This is achieved by documenting both ‘non-formalized’ and ‘formalized’ belief and ritual within this Eastern Himalayan community. Since the mid-1980s, the Adi – led by indigenous activist Talom Rukbo and the Donyipolo Yelam Kebang (Donyipolo Faith Council) – have been restructuring Donyipolo to fit the model of more mainstream religions via a series of processes that could be called ‘formalization’ or ‘institutionalization’, a reformation blueprint that has subsequently spread to neighboring ethnic groups. This ethnography, exploring both folk practice and the modern reformation, is rooted in radical empiricism – in this context, meaning to collect data and allow analysis to arise organically. Radical empiricism is employed alongside vernacular theorizing to allow for the acknowledgement of indigenous theory through which we can trace indigenous agencies and the construction of indigenous lifeworlds. Facilitating this space for the acknowledgement of ‘religious re-imaginings’ as a means of cultural preservation – and as a representation of creativity – is significant particularly when viewed in the context of contemporary research on similar movements in Northeast India, which sometimes tends toward the negation of indigenous innovation by representing such religious revivals as conversion tools attributed to the Hindu right. It is hoped that the reader will come away from this dissertation with an understanding of the ‘constellations of faith’ that comprise ‘traditional’ Donyipolo and a comprehension of the innovative institutionalization processes that have shaped the new Adi praxis. Donyipolo should be viewed as a complex, nuanced, and independent indigenous faith, whether in its forms of folk expressions or in its new structure as expressed through the Donyipolo Yelam Kebang.

Waged domestic work in Argentina: the regulation of care provision

This paper addresses the condition of domestic work in Argentina, in a perspective that draws from the literature on care work. In this approach, domestic work can be interpreted as one of the mercantile forms in which care work is socially organized, due to the persistence of the traditional sexual division of labor and the weakness of public policies. From these considerations, I develop a quantitative study on the levels of informality, precarity, and wage inequality that characterize domestic work in that country. Thereafter, I discuss the main measures adopted by the Argentine government since 2003, with the goal of reducing legal discrimination of domestic workers and promoting their formalization. On this basis, the paper highlights the advances in the recognition of domestic workers’ labor rights, while emphasizing how social and cultural restraints still permeate labor relations in this sector.

A Formal Approach to Support Interoperability in Scientific Meta-workflows

Scientific workflows orchestrate the execution of complex experiments frequently using distributed computing platforms. Meta-workflows represent an emerging type of such workflows which aim to reuse existing workflows from potentially different workflow systems to achieve more complex and experimentation minimizing workflow design and testing efforts. Workflow interoperability plays a profound role in achieving this objective. This paper is focused at fostering interoperability across meta-workflows that combine workflows of different workflow systems from diverse scientific domains. This is achieved by formalizing definitions of meta-workflow and its different types to standardize their data structures used to describe workflows to be published and shared via public repositories. The paper also includes thorough formalization of two workflow interoperability approaches based on this formal description: the coarse-grained and fine-grained workflow interoperability approach. The paper presents a case study from Astrophysics which successfully demonstrates the use of the concepts of meta-workflows and workflow interoperability within a scientific simulation platform.

Relação entre ciclo de vida do produto turístico e estratégias de cooperação na faixa litorânea urbana do município de Natal

Tourism in the Northeast of Brazil was introduced as an alternative economic development for the Region by federal promoting policies that focused primarily in structuring the local geographic area. With the completion of these structuring actions, mass tourism expanding the area, as well as spread actions based on cooperation and formalization of governance institutions. This study aimed to examine the relationship between the life cycle of the tourism product 'Coastal Cities of Natal and the cooperation strategies in a historical perspective. Thus was submitted to the life cycle of the tourism product 'Coastal Cities of Natal ; the major projects of tourism development were mapped, the existing cooperation strategies were characterized, and investigated the influence of the cooperation actions for the current stage of product. The specific theoretical support to tourism was built on the perspective of the Theory of Population Ecology, System of Tourism and Touristic Product Life Cycle. Regarding to cooperation the theoretical foundation addressed issues of strategy, New Forms and Collective Efficiency. The survey consisted of a causal descriptive study, using a case study. We used the qualitative and quantitative methodological approaches, and data collected by consulting of secondary data and semistructured interviews with twelve staff working in tourism in Natal. Results showed that the life cycle graph of product 'Coastal Cities of Natal is moving from one stage of growth to a stage of maturity, with a primary upward trend and with crises that are up over the graph. They have been mapped six of tourism development projects of relevance to the product: The Politics of Mega Projects, PRODETUR/NE, Municipalization National Program of Tourism, Regionalization Program, Urbanization Project Beach do Meio and Actions for the Promotion of Destiny. They have been identified sixty-four participating players in process of tourism development, which twenty were considered relevant to the respondents. The main strategies identified for cooperation were the consortium, collective strategy and clusters. Results indicated that co-operation strategies were adopted so that the benefits were obtained at the collective level, dedicated to the strengthening of Natal Destiny and its products. The main reasons were the need of cooperative marketing, international market entry and actions inducing the state. Finally, it was concluded that strategies for cooperation related to product life cycle 'Coastal Cities of Natal' as that work in the consolidation of projects for development of tourism, when the efficiency of collective action is achieved

Processo de planejamento estratégico em universidade pública: o caso da Universidade Federal do Pará

The goal of this research is to check if the strategic planning developed between 2001 and 2009 into the State University of Para (Universidade Federal do Pará - UFPA) was consolidated into its Academic Centers as a management practice. To this end, we identified the planning formalization degree of the Academic Centers, the conceived tools for the planning, the conception and the methodological process used in the tools elaboration, as also its implementation. The research used a qualitative approach: it is descriptive and it uses the case study technique. The data were gathered from primary and secondary sources, through bibliography, documents, and field researches through semi-structure interviews. The analysis and data interpretation were done by each investigated Academic Center from the analytics categories guided by the specifics goals. We used theoretic fundamental based principles and the university as a study empiric reference based on its structure analysis, organizational processes and institutional strategic plan. We inspected how the strategic planning process was developed throughout the fixed period and how the investigated Academic Centers are from the collected documents and interviews. The theoretical foundation was built from three axis: the Brazilian undergraduate and posgraduate education system; the university itself including its singularity and complexity as an organization; and the planning as a strategic management process. The main results show us that the UFPA has updated regulatory milestones, presenting organizational structure, laws, instructions, manuals and deployed management model that give the strategic planning development conditions beyond its administration, i. e., into its Academic Centers. The centers also present those established milestones and develop the basic planning processes of the institution. Those processes are conceived based on the institutional strategic planning and the managers mainly use the procedural orientation defined by the university management, from where the conceptual foundation is originated and propagated. According to the literature and to the research done in this work, we can conclude that the Academic Centers from the UFPA developed the strategic planning practice. This planning is organized and founded and guided the plans and decisions which avoided the disordered management and, according to the managers, allowed the advances and performance improvement. We can conclude that the UFPA built an important foundation with respect to the management professionalization. On the other hand, we can not conclude that the management practice is consolidated since there are weaknesses into the structuring of the technical teams and there is not any management tool for the implementation of the elaborated plans

Causatividad y construcciones con verbo soporte en latín: el ejemplo de "poena afficere"

En este trabajo nos proponemos analizar la colocación latina poena afficere, ‘imponer un castigo’, un tipo de colocación con especificidades tanto sintácticas como semánticas que la distinguen de las construcciones verbo-nominales más prototípicas: el sustantivo predicativo funciona no como Objeto Directo sino como tercer argumento del verbo soporte, un esquema sintáctico que, como intentaremos demostrar, resulta ideal para la expresión de predicados causativos. De los ejemplos documentados de poena afficere en un amplio corpus de textos, intentaremos destacar las principales características de este tipo de colocación. Para su descripción y formalización nos serviremos del marco teórico propuesto por la Teoría Sentido-Texto.

The pathology of command and control: a formal synthesis

One of the most important theories in the study of environmental governance and policy is the pathology of command and control, which describes the negative consequences of top-down, technocratic governance of social and ecological systems. However, to date, this theory has been expressed somewhat inconsistently and informally in the literature, even by the seminal works that have established its importance and popularized it. This presents a problem for the sustainability science community if it cannot be sure of the precise details of one of its most important theories. Without such precision, applications and tests of various elements of the theory cannot be conducted reliably to advance the knowledge of environmental governance. I address this problem by synthesizing several seminal works to formalize this theory. The formalization involves the identification of the individual elements of the theory and a diagrammatic description of their relationships with each other that unfold in a series of semi-independent causal paths. Ideally, with such a formalization, scholars can use this theory more reliably and more meaningfully in their future work. I conclude by discussing the implications this theory has for the governance of natural resources.

Formalização e Implementação de um Sistema de Gestão Ambiental Segundo a Norma ISO 14001:2004 numa empresa de Construção Civil

Dissertação de Mestrado em Gestão Integrada da Qualidade, Ambiente e Segurança

Formalização e Implementação de um Sistema de Gestão Ambiental de acordo com a norma NP EN ISO 14001:2012 na empresa Maranhão - Sociedade de Construções, Lda

Dissertação de Mestrado em Gestão Integrada da Qualidade, Ambiente e Segurança