Um ambiente para especificação e execução AD-HOC de processos de negócio baseados em serviços Web

Recently the focus given to Web Services and Semantic Web technologies has provided the development of several research projects in different ways to addressing the Web services composition issue. Meanwhile, the challenge of creating an environment that provides the specification of an abstract business process and that it is automatically implemented by a composite service in a dynamic way is considered a currently open problem. WSDL and BPEL provided by industry support only manual service composition because they lack needed semantics so that Web services are discovered, selected and combined by software agents. Services ontology provided by Semantic Web enriches the syntactic descriptions of Web services to facilitate the automation of tasks, such as discovery and composition. This work presents an environment for specifying and ad-hoc executing Web services-based business processes, named WebFlowAH. The WebFlowAH employs common domain ontology to describe both Web services and business processes. It allows processes specification in terms of users goals or desires that are expressed based on the concepts of such common domain ontology. This approach allows processes to be specified in an abstract high level way, unburdening the user from the underline details needed to effectively run the process workflow

Cloud Integrator: uma plataforma para composição de serviços em ambientes de computação em nuvem

With the advance of the Cloud Computing paradigm, a single service offered by a cloud platform may not be enough to meet all the application requirements. To fulfill such requirements, it may be necessary, instead of a single service, a composition of services that aggregates services provided by different cloud platforms. In order to generate aggregated value for the user, this composition of services provided by several Cloud Computing platforms requires a solution in terms of platforms integration, which encompasses the manipulation of a wide number of noninteroperable APIs and protocols from different platform vendors. In this scenario, this work presents Cloud Integrator, a middleware platform for composing services provided by different Cloud Computing platforms. Besides providing an environment that facilitates the development and execution of applications that use such services, Cloud Integrator works as a mediator by providing mechanisms for building applications through composition and selection of semantic Web services that take into account metadata about the services, such as QoS (Quality of Service), prices, etc. Moreover, the proposed middleware platform provides an adaptation mechanism that can be triggered in case of failure or quality degradation of one or more services used by the running application in order to ensure its quality and availability. In this work, through a case study that consists of an application that use services provided by different cloud platforms, Cloud Integrator is evaluated in terms of the efficiency of the performed service composition, selection and adaptation processes, as well as the potential of using this middleware in heterogeneous computational clouds scenarios

Certificação de composições de serviços web semânticos

This thesis presents a certification method for semantic web services compositions which aims to statically ensure its functional correctness. Certification method encompasses two dimensions of verification, termed base and functional dimensions. Base dimension concerns with the verification of application correctness of the semantic web service in the composition, i.e., to ensure that each service invocation given in the composition comply with its respective service definition. The certification of this dimension exploits the semantic compatibility between the invocation arguments and formal parameters of the semantic web service. Functional dimension aims to ensure that the composition satisfies a given specification expressed in the form of preconditions and postconditions. This dimension is formalized by a Hoare logic based calculus. Partial correctness specifications involving compositions of semantic web services can be derived from the deductive system proposed. Our work is also characterized by exploiting the use of a fragment of description logic, i.e., ALC, to express the partial correctness specifications. In order to operationalize the proposed certification method, we developed a supporting environment for defining the semantic web services compositions as well as to conduct the certification process. The certification method were experimentally evaluated by applying it in three different proof concepts. These proof concepts enabled to broadly evaluate the method certification

Uma máquina de redução de grafos para serviços web

Web services are software accessible via the Internet that provide functionality to be used by applications. Today, it is natural to reuse third-party services to compose new services. This process of composition can occur in two styles, called orchestration and choreography. A choreography represents a collaboration between services which know their partners in the composition, to achieve the service s desired functionality. On the other hand, an orchestration have a central process (the orchestrator) that coordinates all application operations. Our work is placed in this latter context, by proposing an abstract model for running service orchestrations. For this purpose, a graph reduction machine will be defined for the implementation of service orchestrations specified in a variant of the PEWS composition language. Moreover, a prototype of this machine (in Java) is built as a proof of concept

Uma abordagem para avaliação e tratamento de exceções propagadas no uso de serviços Web em .Net

High dependability, availability and fault-tolerance are open problems in Service-Oriented Architecture (SOA). The possibility of generating software applications by integrating services from heterogeneous domains, in a reliable way, makes worthwhile to face the challenges inherent to this paradigm. In order to ensure quality in service compositions, some research efforts propose the adoption of verification techniques to identify and correct errors. In this context, exception handling is a powerful mechanism to increase SOA quality. Several research works are concerned with mechanisms for exception propagation on web services, implemented in many languages and frameworks. However, to the extent of our knowledge, no works found evaluates these mechanisms in SOA with regard to the .NET framework. The main contribution of this paper is to evaluate and to propose exception propagation mechanisms in SOA to applications developed within the .NET framework. In this direction, this work: (i)extends a previous study, showing the need to propose a solution to the exception propagation in SOA to applications developed in .NET, and (ii) show a solution, based in model obtained from the results found in (i) and that will be applied in real cases through of faults injections and AOP techniques.

Uma proposta de plataforma de software para integração e interoperabilidade de serviços Web - Webagritec: estudo de caso.

Este trabalho tem por finalidade apresentar os resultados obtidos no contexto do projeto de pesquisa, cujo objetivo foi definir uma infraestrutura de software para implantação de um portal de integração e interoperabilidade de serviços desenvolvidos pela Embrapa Informática Agropecuária denominado WebAgritec.

Competências na utilização das ferramentas/serviços Web 2.0

A evolução da sociedade e da tecnologia sustenta a globalização da sociedade atual e exige aos cidadãos novas literacias. A educação na sociedade do conhecimento é indissociável das Tecnologias de Informação e Comunicação (TIC), tanto como elemento mediador como potenciador das aprendizagens. A Web 2.0, entendida como Web social, potencia o acesso à informação, faculta aos docentes a oportunidade de desenvolver os seus conhecimentos e competências, e oferece oportunidades de construção de situações inovadoras de educação no seu percurso profissional, promovendo condições de aprendizagem ao longo da vida. O presente estudo, formalmente integrado no Programa Doutoral em Multimédia em Educação da Universidade de Aveiro, valoriza o levantamento da perceção da necessidade de envolvimento dos docentes em processos informais de aprendizagem ao longo da vida, na promoção do seu desenvolvimento profissional, salientando o papel das redes sociais neste contexto. Adotou-se como metodologia de investigação o survey, com o objetivo de realizar o levantamento das competências de utilização da Web 2.0 pelos professores do ensino básico e secundário, das escolas do ensino público do concelho de Aveiro, no contexto da aprendizagem informal. Através do survey procurou-se caracterizar o contexto profissional em que estes professores estão inseridos, considerando essencialmente duas dimensões: i) equipamentos e recursos e ii) atitude geral da escola face à integração das TIC nas rotinas profissionais. Centrou-se na obtenção de dados que permitissem a descrição de: i) competências TIC dos professores e a identificação dos seus percursos formativos e necessidades de formação; ii) hábitos e finalidades de utilização das tecnologias digitais em contexto profissional e de desenvolvimento profissional; e, ainda, iii) utilização de redes sociais/comunidades educativas, vantagens e condicionantes identificadas e importância para o desenvolvimento profissional; e, finalmente, iv) levantamento da opinião dos professores acerca das suas perceções de impactes associados à integração da utilização das redes nas suas práticas profissionais, nomeadamente nas práticas educativas. Os dados obtidos foram analisados, numa perspetiva qualitativa e exploratória, em função das frequências relativas de resposta e comparando os diferentes grupos de docentes identificados – professores de escolas básicas e professores de escolas secundárias; professores membros e não membros de redes. Os resultados apontam para uma melhoria das competências dos professores na utilização das TIC, sobretudo ao nível das competências básicas, face a outros estudos anteriores realizados em Portugal, como por exemplo Paiva (2002), Barbosa (2009) e Brito (2010). Uma grande parte dos docentes utiliza redes sociais/comunidades educativas, tendo-se identificado prioritariamente uma utilização de cariz genérico e tendencialmente pouco frequente, em detrimento de uma utilização de redes de cariz mais profissional. Os professores, no geral, e os utilizadores de redes, em particular, reconhecem o potencial educativo destas ferramentas/serviços Web 2.0. As conclusões apontam para a necessidade das escolas assumirem o incentivo e a adoção de estratégias que possam impulsionar o desenvolvimento de competências de utilização das TIC/ferramentas e serviços Web 2.0 que garantam equidade no acesso a redes sociais/comunidades educativas pelos professores. Esta recomendação pretende constituir uma via para as escolas promoverem a criação de redes sociais/comunidades educativas e fomentarem, pela sua utilização, o desenvolvimento de hábitos de trabalho colaborativo e de partilha entre os seus professores, contribuindo desta forma para potenciar as competências dos professores no acompanhamento da evolução tecnológica e no acesso a outras oportunidades de desenvolvimento profissional ao longo da vida. Isto é, “equipar” os professores para melhor poderem enfrentar os desafios do Século XXI para a educação, na preparação dos jovens para a sociedade global do conhecimento.

Introdução de serviços Web 2.0 no ensino superior moçambicano: desenvolvimento de uma proposta no contexto da Universidade Eduardo Mondlane

O uso de ferramentas Web 2.0 em educação, concretamente em contexto universitário, tem crescido de forma generalizada impulsionado por benefícios nas áreas pedagógica, científica e mesmo de administração universitária. Estas ferramentas caraterizam-se por serem de uso livre, de manipulação facilitada, e pela disponibilidade em diversos meios ou suportes e por não precisarem (a maioria delas) de elevada largura de banda, fator decisivo para os públicos dos países em desenvolvimento como Moçambique. A Universidade Eduardo Mondlane (UEM) encontra-se num processo de massificação do uso de Tecnologias de Informação e Comunicação (TIC) entre as quais se destacam as ferramentas Web 2.0. Este documento descreve uma investigação aplicada que compreendeu o desenvolvimento e implementação de estratégias para a introdução e disseminação destas ferramentas para apoio às áreas pedagógica, científica e de gestão universitária. Identificam-se os desafios e oportunidades decorrentes dos constrangimentos particulares deste tipo de iniciativas aplicadas a uma instituição de ensino superior de um país como Moçambique, em termos de infraestruturas tecnológicas e de literacia digital. Os resultados alcançados permitem evidenciar um caminho muito positivo com várias iniciativas de utilização das ferramentas implementadas e ativas no terreno.

Desenvolvimento de um protótipo utilizando serviços web XML para integração entre sistemas acadêmicos web e aplicações para TV digital interativa

Pós-graduação em Televisão Digital: Informação e Conhecimento - FAAC

Uma máquina de redução de grafos extensível para a implementação de fluxos de trabalho

Graph Reduction Machines, are a traditional technique for implementing functional programming languages. They allow to run programs by transforming graphs by the successive application of reduction rules. Web service composition enables the creation of new web services from existing ones. BPEL is a workflow-based language for creating web service compositions. It is also the industrial and academic standard for this kind of languages. As it is designed to compose web services, the use of BPEL in a scenario where multiple technologies need to be used is problematic: when operations other than web services need to be performed to implement the business logic of a company, part of the work is done on an ad hoc basis. To allow heterogeneous operations to be part of the same workflow, may help to improve the implementation of business processes in a principled way. This work uses a simple variation of the BPEL language for creating compositions containing not only web service operations but also big data tasks or user-defined operations. We define an extensible graph reduction machine that allows the evaluation of BPEL programs and implement this machine as proof of concept. We present some experimental results.