A Methodology for Building Service-Oriented Applications in the Presence of Non-Functional Properties

This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts

A self-healing architecture for Web service-based applications

Web service-based application is an architectural style, where a collection of Web services communicates to each other to execute processes. With the popularity increase of developing Web service-based application and once Web services may change, in terms of functional and non-functional Quality of Service (QoS), we need mechanisms to monitor, diagnose, and repair Web services into a Web Application. This work presents a description of self-healing architecture that deals with these mechanisms. Other contributions of this paper are using the proxy server to measure Web service QoS values and to employ some strategies to recovery the effects from misbehaved Web services. © 2008 IEEE.

In search of work. International migration of women in Latin America and the Caribbean. Selected bibliography

Includes bibliography

Optimal allocation of distributed generators providing reactive power support ancillary service

Problems as voltage increase at the end of a feeder, demand supply unbalance in a fault condition, power quality decline, increase of power losses, and reduction of reliability levels may occur if Distributed Generators (DGs) are not properly allocated. For this reason, researchers have been employed several solution techniques to solve the problem of optimal allocation of DGs. This work is focused on the ancillary service of reactive power support provided by DGs. The main objective is to price this service by determining the costs in which a DG incurs when it loses sales opportunity of active power, i.e, by determining the Loss of Opportunity Costs (LOC). The LOC will be determined for different allocation alternatives of DGs as a result of a multi-objective optimization process, aiming the minimization of losses in the lines of the system and costs of active power generation from DGs, and the maximization of the static voltage stability margin of the system. The effectiveness of the proposed methodology in improving the goals outlined was demonstrated using the IEEE 34 bus distribution test feeder with two DGs cosidered to be allocated. © 2011 IEEE.

Situation of unpaid work and gender in the Caribbean: The measurement of unpaid work through time-use studies

Includes bibliography.

Report on the implementation of the ECLAC work programme subregional activities for the Caribbean 2006-2007 biennium [Covering the period 1 Janurary 2006- 31 December 2007]

The focus of the activities of the Economic Commission for Latin America and the Caribbean/Caribbean Development and Cooperation Committee (ECLAC/CDCC) secretariat during the 2006-2007 biennium continued to be on assistance to member governments of the subregion with policy-making and development strategies, especially on issues relevant to the promotion of the economic, social, and environmental dimensions of development in the Caribbean. The Subregional Headquarters for the Caribbean worked closely with member countries of the CDCC in an effort to ensure the relevance of outputs which would inform policy options. This involved the strengthening of partnerships with both regional and subregional institutions and relevant agencies of the United Nations system working in the Caribbean. A major decision was taken to refocus the operational aspects of the secretariat to ensure that they were relevant to the development goals of its members. This involved the introduction of a thematic approach to the work of the office. One of the changes resulting from this was the restructuring and renaming of the Caribbean Documentation Centre. The Caribbean Knowledge Management Centre (CKMC), as it is now known, has changed its emphasis from organizing and disseminating documents, and is now a more proactive partner in the research undertaken by staff and other users of the service. The CKMC manages the ECLAC website, the public face of the organization. Newsletters and all other documents, including Information and Communications Technology (ICT) profiles of selected countries, prepared by the secretariat, are now available online at the ECLAC/CDCC website www.eclacpos.org . The Caribbean Knowledge Management Portal was launched at a meeting of information specialists in St. Vincent and the Grenadines in 2007. In addition to reaching a wider public, this measure was introduced as a means of reducing the cost of printing or disseminating publications. In spite of the unusually high vacancy rate, at both the international and local levels, during the biennium, the subregional headquarters accomplished 98 per cent of the 119 outputs earmarked for the period. Using vacant positions to carry out the assignments was not an easy task, given the complexity in recruiting qualified and experienced persons for short periods. Nevertheless, consultancy services and short-term replacement staff greatly aided the delivery of these outputs. All the same, 35 work months remained unused during the biennium, leaving 301 work months to complete the outputs. In addition to the unoccupied positions, the work of the subprogramme was severely affected by the rising cost of regional and subregional travel which limited the ability of staff to network and interact with colleagues of member countries. This also hampered the outreach programme carried out mainly through ad hoc expert group meetings. In spite of these shortcomings, the period proved to be successful for the subprogramme as it engaged the attention of member countries in its work either through direct or indirect participation. Staff members completed 36 technical papers plus the reports of the meetings and workshops. A total of 523 persons, representing member countries, participated in the 18 intergovernmental and expert meetings convened by the secretariat in the 24-month period. In its effort to build technical capacity, the subprogramme convened 15 workshops/seminars which offered training for 446 persons.

Greening the work force in Brazilian hotels: The role of environmental training

BACKGROUND: Organizations are increasingly required to reduce their environmental impact through the adoption of environmental management, which requires the support of human resource practices.OBJECTIVE: The objective of this study is to determine whether human resource management practices, especially training, are supporting environmental management practices at four hotels located in Brazil.METHODS: This research is qualitative, based on the analysis of four hotels in Brazil.RESULTS: Based on the systematized empirical evidence collected from four hotels (Hotels A, B, C, and D), it can be concluded that: (1) human resource management is still not fully aligned with environmental objectives at the hotels studied; (2) only Hotel B has implemented environmental management practices and aligned with human resource management in a more developed manner, which may indicate that these two variables of analysis could have interrelations; (3) environmental training as a human resource management practice was verified in all hotels analyzed.CONCLUSIONS: The greening of human resources practices is not fully aligned with environmental objectives in the hotels studied. If these hotels really wish to "go green," environmental training will be necessary. Hotel stakeholders play a major role in implementing the greening of the hotel industry.

Web Service para geração de VRS no contexto de posicionamento GPS

Internet is fully inserted in contemporary society, specially in relation to entertainment services and trading. Its reach has transposed the traditional desktop computer models coming to mobile devices like cell phones and GPS receivers. Likewise, the scientific community takes its benefits, both for publication of studies and for communication between clusters processing information, such as at LHC, located in Switzerland. Concerning geodetic positioning, researches in the area present the concept of Virtual Reference Stations - VRS, in which is necessary a communication way between the real reference stations and a central system as well as between central system and a service requester. In this work, we analyze the current solutions for generation of VRS with regard to data delivery for the service requester and present a solution based on Web Services as an alternative to the model being developed by Spatial Geodesy Study Group – GEGE/FCT/UNESP. Comparing solutions, it was verified the potential of Web Services to aid in researches of geodetic positioning using VRS. Using such technology, it is obtained interoperability, providing greater flexibility to develop client applications, both development carried out by researchers of the university or by any person or enterprise wishing to use the service

2003 IANR Team Award and Exemplary Service Award Presentations

What a treat it is to be here today to celebrate the outstanding work of members of our IANR community. It seems so much of our administrative time these days is spent dealing with difficult and joyless issues surrounding slashed budgets, lost programs, and the very real pain those engender. Perhaps it is that pain that doubles our joy when we have opportunities such as today to celebrate excellence. This afternoon we celebrate accomplishment in two ways with the IANR Team Award, and with the Exemplary Service Award. We'll begin today with the IANR Team Award, which recognizes the importance of interdisciplinary team efforts in achieving the Institute's goals. Criteria include: 1) problem identification, team strategy, grant success; 2) productivity and impact and the output of the team in relation to inputs; 3) the team effort, and 4) the quality of the nomination.

Cartographic notes on the work in the Family Health Strategy: relationships between workers and the population

The objective of this intervention study was to map instituted and instituting movements present in the work of the Family Health Strategy in the development of their care practices. The theoretical framework is based on institutional analysis, using the schizoanalytic approach. Group meetings were carried out with the staff to discuss how they provided collective care in continuing health education. The study subjects were professionals from the team and students who were engaged in academic activity in the service. The average attendance was twelve people per meeting, and there were a total of eight meetings from March to July 2010. Data were grouped into two immanent strata: the relationships of the team and the relationship with clients. The strata point to the intersection of education and legal institutions and the social and technical division of labor. Collective thinking in groups appeared to be effective in denaturalizing established processes and interrogating places, knowledge and practices.

The 193 call center, a meaningful public service!

This article is the first part of an on-going ergonomic work analysis with the emergency services call center set up by the Fire Department of the Military Police of Sao Paulo. The final objective of the research is to identify the prescribed task, the real work executed and strategies used by workers to meet the demands of the job. Starting by identifying the tasks and activities developed, this article analyzes the work of the emergency services call center which is of vital importance to the organizational structure, since it is the start point for the process that results in fulfilling the corporation's mission.

Formalizing languages for service oriented computing

Service Oriented Computing is a new programming paradigm for addressing distributed system design issues. Services are autonomous computational entities which can be dynamically discovered and composed in order to form more complex systems able to achieve different kinds of task. E-government, e-business and e-science are some examples of the IT areas where Service Oriented Computing will be exploited in the next years. At present, the most credited Service Oriented Computing technology is that of Web Services, whose specifications are enriched day by day by industrial consortia without following a precise and rigorous approach. This PhD thesis aims, on the one hand, at modelling Service Oriented Computing in a formal way in order to precisely define the main concepts it is based upon and, on the other hand, at defining a new approach, called bipolar approach, for addressing system design issues by synergically exploiting choreography and orchestration languages related by means of a mathematical relation called conformance. Choreography allows us to describe systems of services from a global view point whereas orchestration supplies a means for addressing such an issue from a local perspective. In this work we present SOCK, a process algebra based language inspired by the Web Service orchestration language WS-BPEL which catches the essentials of Service Oriented Computing. From the definition of SOCK we will able to define a general model for dealing with Service Oriented Computing where services and systems of services are related to the design of finite state automata and process algebra concurrent systems, respectively. Furthermore, we introduce a formal language for dealing with choreography. Such a language is equipped with a formal semantics and it forms, together with a subset of the SOCK calculus, the bipolar framework. Finally, we present JOLIE which is a Java implentation of a subset of the SOCK calculus and it is part of the bipolar framework we intend to promote.

Quality of Service in Distributed Stream Processing for large scale Smart Pervasive Environments

The wide diffusion of cheap, small, and portable sensors integrated in an unprecedented large variety of devices and the availability of almost ubiquitous Internet connectivity make it possible to collect an unprecedented amount of real time information about the environment we live in. These data streams, if properly and timely analyzed, can be exploited to build new intelligent and pervasive services that have the potential of improving people's quality of life in a variety of cross concerning domains such as entertainment, health-care, or energy management. The large heterogeneity of application domains, however, calls for a middleware-level infrastructure that can effectively support their different quality requirements. In this thesis we study the challenges related to the provisioning of differentiated quality-of-service (QoS) during the processing of data streams produced in pervasive environments. We analyze the trade-offs between guaranteed quality, cost, and scalability in streams distribution and processing by surveying existing state-of-the-art solutions and identifying and exploring their weaknesses. We propose an original model for QoS-centric distributed stream processing in data centers and we present Quasit, its prototype implementation offering a scalable and extensible platform that can be used by researchers to implement and validate novel QoS-enforcement mechanisms. To support our study, we also explore an original class of weaker quality guarantees that can reduce costs when application semantics do not require strict quality enforcement. We validate the effectiveness of this idea in a practical use-case scenario that investigates partial fault-tolerance policies in stream processing by performing a large experimental study on the prototype of our novel LAAR dynamic replication technique. Our modeling, prototyping, and experimental work demonstrates that, by providing data distribution and processing middleware with application-level knowledge of the different quality requirements associated to different pervasive data flows, it is possible to improve system scalability while reducing costs.

Enhancing quality of service in software-defined networks

Resource management is of paramount importance in network scenarios and it is a long-standing and still open issue. Unfortunately, while technology and innovation continue to evolve, our network infrastructure system has been maintained almost in the same shape for decades and this phenomenon is known as “Internet ossification”. Software-Defined Networking (SDN) is an emerging paradigm in computer networking that allows a logically centralized software program to control the behavior of an entire network. This is done by decoupling the network control logic from the underlying physical routers and switches that forward traffic to the selected destination. One mechanism that allows the control plane to communicate with the data plane is OpenFlow. The network operators could write high-level control programs that specify the behavior of an entire network. Moreover, the centralized control makes it possible to define more specific and complex tasks that could involve many network functionalities, e.g., security, resource management and control, into a single framework. Nowadays, the explosive growth of real time applications that require stringent Quality of Service (QoS) guarantees, brings the network programmers to design network protocols that deliver certain performance guarantees. This thesis exploits the use of SDN in conjunction with OpenFlow to manage differentiating network services with an high QoS. Initially, we define a QoS Management and Orchestration architecture that allows us to manage the network in a modular way. Then, we provide a seamless integration between the architecture and the standard SDN paradigm following the separation between the control and data planes. This work is a first step towards the deployment of our proposal in the University of California, Los Angeles (UCLA) campus network with differentiating services and stringent QoS requirements. We also plan to exploit our solution to manage the handoff between different network technologies, e.g., Wi-Fi and WiMAX. Indeed, the model can be run with different parameters, depending on the communication protocol and can provide optimal results to be implemented on the campus network.

Tor network forensics and hidden service deanonymization

The cybernetics revolution of the last years improved a lot our lives, having an immediate access to services and a huge amount of information over the Internet. Nowadays the user is increasingly asked to insert his sensitive information on the Internet, leaving its traces everywhere. But there are some categories of people that cannot risk to reveal their identities on the Internet. Even if born to protect U.S. intelligence communications online, nowadays Tor is the most famous low-latency network, that guarantees both anonymity and privacy of its users. The aim of this thesis project is to well understand how the Tor protocol works, not only studying its theory, but also implementing those concepts in practice, having a particular attention for security topics. In order to run a Tor private network, that emulates the real one, a virtual testing environment has been configured. This behavior allows to conduct experiments without putting at risk anonymity and privacy of real users. We used a Tor patch, that stores TLS and circuit keys, to be given as inputs to a Tor dissector for Wireshark, in order to obtain decrypted and decoded traffic. Observing clear traffic allowed us to well check the protocol outline and to have a proof of the format of each cell. Besides, these tools allowed to identify a traffic pattern, used to conduct a traffic correlation attack to passively deanonymize hidden service clients. The attacker, controlling two nodes of the Tor network, is able to link a request for a given hidden server to the client who did it, deanonymizing him. The robustness of the traffic pattern and the statistics, such as the true positive rate, and the false positive rate, of the attack are object of a potential future work.