Describing Web Service Architectures through Design-by-Contract

Architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, specifying how a system is to be composed from coarse-grain components. ADLs usually come equipped with a formal dynamic semantics, facilitating specification and analysis of distributed and event-based systems. In this paper, we describe the TrustME, an ADL framework that provides both a process and a structural view of web service-based systems. We use Petri-net descriptions to give a dynamic view of business workflow for web service collaboration. We adapt the approach of Schmidt to define a form of Meyer's design-by-contract for configuring workflow architectures. This serves as a configuration-level means of constructing safer, more robust systems.

Contribuições da metodologia service-learning para o ensino de responsabilidade social em cursos de graduação em administração

A temática da Responsabilidade Social está em grande discussão na atualidade, fazendo a sociedade repensar o papel das empresas e exigindo delas mais responsabilidade e envolvimento com o seu desenvolvimento. No Brasil, a discussão de questões relativas à Responsabilidade Social ganhou espaço apenas mais recentemente, em seguida ao processo de industrialização e vinda de grandes empresas para o país. Dessa forma, vem à tona uma discussão sobre o preparo dos profissionais de Administração brasileiros para trabalhar a Responsabilidade Social nas empresas e sobre a inclusão desta temática nos cursos de graduação em Administração. O desafio dessas instituições é abordar a Responsabilidade Social e a ética dentro de seus currículos, conjugando a formação acadêmica, técnica e ética dos alunos. As metodologias de ensino tradicionais levam a um esclarecimento teórico sobre o tema, no entanto não preparam os alunos para lidar com as questões de responsabilidade social na prática. Este estudo propôs o service-learning como uma metodologia de abordagem prática para o ensino de Responsabilidade Social, permitindo a aproximação entre instituições de ensino superior e comunidades, em uma experiência de aprendizado e ganho para ambas. Foram analisados neste estudo dois casos de instituições de ensino brasileiras que desenvolvem programas junto a comunidades, com o objetivo de conhecer suas práticas e estudar as possíveis contribuições que o uso da metodologia service-learning poderia trazer ao contexto educacional brasileiro, em busca da formação de profissionais mais sensibilizados às questões sociais.

The eager fight for supremacy in the online service industry: a comparative study of M&A activities: case studies of Apple, Google and Microsoft

A indústria de serviços online é caracterizada por um volume alto de Fusões e Aquisições no período de 2005 a 2015. As líderes de mercado, Apple, Google e Microsoft, incorporaram essa forma de crescimento inorgânico em suas estratégias corporativas. Essa tese examina as atividades de Fusões e Aquisições dessas três empresas. Consequentemente, ela tem foco em dois aspectos principais. Primeiro, existe o objetivo de saciar uma escassez na literatura acadêmica, no que se diz respeito ao estabelecimento de uma conexão entre a estratégia corporativa dessas empresas e as decisões tomadas de Fusões e Aquisições. Segundo, há também o objetivo de estimar possíveis futuros desenvolvimentos no setor. Através de uma análise de conteúdo qualitativa das publicações das empresas, relatórios de análise de mercado, e outros conteúdos de terceiros, estudos de caso foram desenvolvidos. Os resultados mostram o processo de posicionamento estratégico por parte da Apple, Google e Microsoft, dentro do mercado de serviços online, entre os anos de 2005 e 2015. As recorrentes fusões e aquisições são analisadas, no que se diz respeito as estratégias corporativas dessas empresas e a responsividade perante as atividades de seus competidores. Os resultados evidenciam atividades agressivas de Fusões e Aquisições em grupos estratégicos em comum entre as três empresas, especialmente no mercado de aparelhos de comunicação móvel e serviços de comunicação.

Applying DEMO to model and automate a process in a workflow system: a case study in a city hall

Organizations are Complex systems. A conceptual model of the enterprise is needed that is: coherent the distinguished aspect models constitute a logical and truly integral comprehensive all relevant issues are covered consistent the aspect models are free from contradictions or irregularities concise no superfluous matters are contained in it essential it shows only the essence of the enterprise, i.e., the model abstracts from all realization and implementation issues. The world is in great need for transparency about the operation of all the systems we daily work with, ranging from the domestic appliances to the big societal institutions. In this context the field of enterprise ontology has emerged with the aim to create models that help to understand the essence of the construction and operation of complete systems; more specifically, of enterprises. Enterprise ontology arises in the way to look through the distracting and confusing appearance of an enterprise right into its deep kernel. This, from the perspective of the system designer gives him the tools needed to design a successful system in a way that’s reflects the desires and needs of the workers of the enterprise. This project’s context is the use of DEMO (Design and Engineering Methodology for Organizations) for (re)designing or (re)engineering of an enterprise, namely a process of the construction department of a city hall, the lack of a well-founded theory about the construction and operation of this processes that was the motivation behind this work. The purpose of studying applying the DEMO theory and method was to optimize the process, automating it as much as possible, while reducing paper and time spent between tasks and provide a better service to the citizens.

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.

On-line collaborative learning for in-service teacher education

This article brings some of the results of a study that analyzes a hybrid course for in-service teachers in the Project Teletandem Brazil: foreign languages for all. In this project, Brazilian teachers of Spanish as a foreign language took part in a blended tandem learning course, communicating via videoconferencing with Uruguayan teachers of Portuguese as a foreign language. The aim of the study was to verify Brazilian teachers' concepts and beliefs concerning language and culture and how the teletandem interactions affected them. After the interactions, teachers' views of culture seemed to also incorporate aspects of culture as an interpersonal process, instead of the factual and static view which was previously predominant. Therefore teacher education programs must consider the possibility of conjugating theory and reflective practice through the use of videoconference tools in order to allow teachers to experience culture rather learn facts about it. © 2011 ACADEMY PUBLISHER.

Aplicação do desdobramento da função qualidade (QFD) para melhoria da qualidade em um restaurante self-service

Currently, with the competitiveness that is seen in the market, it is crucial to the success of the business, develop new strategies to keep and win new customer preference. To ensure the success of a particular service or product, the secret is to continually meet the wishes and demands of the customers, which are the key parts of the business, through innovation, variety and quality assurance. To achieve this goal managers should be aware of all types of process that exist in the company, as they are primarily responsible and interested by quality service, customer satisfaction and consequently, generating favorable financial results. A tool used to ensure good results to business is the Quality Function Deployment (QFD) that seeks to hear and interpret customers requirements and turn them into essential features for a project

Collaborative language learning in Teletandem: a resource for pre-service teacher education

This article presents some of the results of a qualitative research project about the influences of the pedagogic strategies used by a mediator (graduate student in applied linguistics) in the supervision process of a Teletandem partner (undergraduate student in languages) on her pedagogical practice. It was done within the project Teletandem Brazil: foreign language for all. Based on the reflective teaching paradigm and collaborative language learning, with special emphasis on tandem learning, we analyzed the contributions of the collaborative relationship established between the graduate student and the student-teacher in her first teaching experience. The results bring about implications for the field of language teacher education in a perspective of education within practice, evidencing the experience of collaborative learning in teletandem as an opportunity for reflective teacher education of pre-service teachers.

Imaginative construction of care: the nursing professional experience in a remote care service

The direction of care delivery goes from the action to the being; a process built from professional experience, which gains special characteristics when the service is delivered by telephone. The goal of this research was to understand the interaction between professionals and users in a remote care service; to do so, a research is presented, using Grounded Theory and Symbolic Interactionism as theoretical references. Data were collected through eight interviews with professionals who deliver care by telephone. The theoretical understanding permitted the creation of the theoretical model of the Imaginative Construction of Care, which shows the interaction processes the professional experiences when delivering care by telephone. In this model, individual and social facts are added, showing the link between the concepts, with special emphasis on uncertainty, sensitivity and professional responsibility, as essential components of this experience.

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.

Development of a supplier and purchase order management product/service under the 4PL logistics concept: a case study

Supply chain starts with a demand arisen and ends with material transport and delivery at its final destination. With this in mind, most of manufacturing, processors or distribution companies of consumer goods, spare parts and components for production, processing and finished goods, within national or international markets, may not have information and control over its supply chain performance. This article presents concept and logistics models evolution, purchase order and international supplier management, control tower and its logistics information systems. This also presents a real process implementation for a global high tech manufacturer company.

A holistic approach to model-based testing of Web service compositions

The behavior of composed Web services depends on the results of the invoked services; unexpected behavior of one of the invoked services can threat the correct execution of an entire composition. This paper proposes an event-based approach to black-box testing of Web service compositions based on event sequence graphs, which are extended by facilities to deal not only with service behavior under regular circumstances (i.e., where cooperating services are working as expected) but also with their behavior in undesirable situations (i.e., where cooperating services are not working as expected). Furthermore, the approach can be used independently of artifacts (e.g., Business Process Execution Language) or type of composition (orchestration/choreography). A large case study, based on a commercial Web application, demonstrates the feasibility of the approach and analyzes its characteristics. Test generation and execution are supported by dedicated tools. Especially, the use of an enterprise service bus for test execution is noteworthy and differs from other approaches. The results of the case study encourage to suggest that the new approach has the power to detect faults systematically, performing properly even with complex and large compositions. Copyright © 2012 John Wiley & Sons, Ltd.

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.

Workflow Patterns for Service Oriented Computing in JOLIE

Il presente lavoro di tesi ha come punto focale la descrizione, la verifica e la dimostrazione della realizzabilità dei Workflow Patterns di Gestione del Flusso(Control-Flow) e Risorse (Resource) definiti da parte della Workflow Pattern Initiative (WPI)in JOLIE, un innovativo linguaggio di programmazione orientato ai servizi nato nell'ambito del Service Oriented Computing. Il Service Oriented Computing (SOC) è un nuovo modo di pensare la programmazione di applicazioni distribuite, i cui concetti fondamentali sono i servizi e la composizione. L’approccio SOC definisce la possibilità di costruire un’applicazione in funzione dei servizi che ne realizzano il comportamento tramite una loro composizione, definita secondo un particolare flusso di lavoro. Allo scopo di fornire la necessaria conoscenza per capire la teoria, le meccaniche e i costrutti di JOLIE utilizzati per la realizzazione dei pattern, il seguente lavoro di tesi è stato diviso in quattro parti, corrispondenti ad altrettanti capitoli. Nel primo capitolo viene riportata una descrizione generale del SOC e della Business Process Automation (BPA), che costituisce l’ambiente in cui il SOC è inserito. Per questo viene fatta una disamina della storia informatica sui sistemi distribuiti, fino ad arrivare ai sistemi odierni, presentando in seguito il contesto del BPA e delle innovazioni derivanti dalle sue macro-componenti, di cui il SOC fa parte. Continuando la descrizione dell’approccio Service Oriented, ne vengono presentati i requisiti (pre-condizioni) e si cerca di dare una definizione precisa del termine “servizio”, fino all'enunciazione dei principi SOC declinati nell’ottica delle Service Oriented Architectures, presentando in ultimo i metodi di composizione dei servizi, tramite orchestrazione e coreografia. L’ultima sezione del capitolo prende in considerazione il SOC in un’ottica prettamente industriale e ne evidenzia i punti strategici. Il secondo capitolo è incentrato sulla descrizione di JOLIE, gli aspetti fondamentali dell’approccio orientato ai servizi, che ne caratterizzano profondamente la definizione concettuale (SOCK), e la teoria della composizione dei servizi. Il capitolo non si pone come una descrizione esaustiva di tutte le funzionalità del linguaggio, ma considera soprattutto i concetti teorici, le strutture di dati, gli operatori e i costrutti di JOLIE utilizzati per la dimostrazione della realizzabilità dei Workflow Pattern del capitolo successivo. Il terzo capitolo, più lungo e centrale rispetto agli altri, riguarda la realizzazione dei workflow pattern in JOLIE. All'inizio del capitolo viene fornita una descrizione delle caratteristiche del WPI e dei Workflow Pattern in generale. In seguito, nelle due macro-sezioni relative ai Control-Flow e Resource pattern vengono esposte alcune nozioni riguardanti le metodologie di definizione dei pattern (e.g. la teoria sulla definizione delle Colored Petri Nets) e le convezioni adottate dal WPI, per passare in seguito al vero e proprio lavoro (sperimentale) di tesi riguardo la descrizione dei pattern, l’analisi sulla loro realizzabilità in JOLIE, insieme ad un codice di esempio che esemplifica quanto affermato dall'analisi. Come sommario delle conclusioni raggiunte sui pattern, alla fine di ognuna delle due sezioni definite in precedenza, è presente una scheda di valutazione che, con lo stesso metodo utilizzato e definito dalla WPI, permette di avere una rappresentazione generale della realizzabilità dei pattern in JOLIE. Il quarto capitolo riguarda gli esiti tratti dal lavoro di tesi, riportando un confronto tra le realizzazioni dei pattern in JOLIE e le valutazioni del WPI rispetto agli altri linguaggi da loro considerati e valutati. Sulla base di quanto ottenuto nel terzo capitolo vengono definite le conclusioni del lavoro portato avanti sui pattern e viene delineato un’eventuale scenario riguardante il proseguimento dell’opera concernente la validazione ed il completamento della studio. In ultimo vengono tratte alcune conclusioni sia riguardo JOLIE, nel contesto evolutivo del linguaggio e soprattutto del progetto open-source che è alla sua base, sia sul SOC, considerato nell’ambito del BPA e del suo attuale ambito di sviluppo dinamico.

Point Process Methodology for On-line Spatio-temporal Disease Surveillance

The AEGISS (Ascertainment and Enhancement of Gastrointestinal Infection Surveillance and Statistics) project aims to use spatio-temporal statistical methods to identify anomalies in the space-time distribution of non-specific, gastrointestinal infections in the UK, using the Southampton area in southern England as a test-case. In this paper, we use the AEGISS project to illustrate how spatio-temporal point process methodology can be used in the development of a rapid-response, spatial surveillance system. Current surveillance of gastroenteric disease in the UK relies on general practitioners reporting cases of suspected food-poisoning through a statutory notification scheme, voluntary laboratory reports of the isolation of gastrointestinal pathogens and standard reports of general outbreaks of infectious intestinal disease by public health and environmental health authorities. However, most statutory notifications are made only after a laboratory reports the isolation of a gastrointestinal pathogen. As a result, detection is delayed and the ability to react to an emerging outbreak is reduced. For more detailed discussion, see Diggle et al. (2003). A new and potentially valuable source of data on the incidence of non-specific gastro-enteric infections in the UK is NHS Direct, a 24-hour phone-in clinical advice service. NHS Direct data are less likely than reports by general practitioners to suffer from spatially and temporally localized inconsistencies in reporting rates. Also, reporting delays by patients are likely to be reduced, as no appointments are needed. Against this, NHS Direct data sacrifice specificity. Each call to NHS Direct is classified only according to the general pattern of reported symptoms (Cooper et al, 2003). The current paper focuses on the use of spatio-temporal statistical analysis for early detection of unexplained variation in the spatio-temporal incidence of non-specific gastroenteric symptoms, as reported to NHS Direct. Section 2 describes our statistical formulation of this problem, the nature of the available data and our approach to predictive inference. Section 3 describes the stochastic model. Section 4 gives the results of fitting the model to NHS Direct data. Section 5 shows how the model is used for spatio-temporal prediction. The paper concludes with a short discussion.