As tecnologias de hardware necessÃrias para a realizaÃÃo da ComputaÃÃo UbÃqua (e.g., smartphones, tablets, sensores e eletrodomÃsticos inteligentes) evoluÃram e, atualmente, componentes de software que possibilitam novas formas de interaÃÃo, capazes de reconhecer a face e a voz dos usuÃrios, rastrear a sua localizaÃÃo e prover formas de incorporar realidade aumentada, necessÃrios em ambientes ubÃquos, estÃo sendo largamente desenvolvidos. AlÃm disso, a Engenharia de Software evoluiu e passou a incorporar novas tÃcnicas de desenvolvimento buscando aumentar a qualidade e diminuir o tempo de produÃÃo desses artefatos de software. Contudo, na ComputaÃÃo UbÃqua as dificuldades surgem no projeto das arquiteturas, na modelagem da colaboraÃÃo entre os componentes de software heterogÃneos, na engenharia do sistema, e na comercializaÃÃo, implantaÃÃo e validaÃÃo do sistema como um todo. Assim, o desenvolvimento de sistemas ubÃquos ainda apresenta inÃmeros desafios devido à grande diversidade e complexidade dos seus requisitos. Particularmente, em ambientes ubÃquos, onde a volatilidade e a heterogeneidade de dispositivos, serviÃos e aplicaÃÃes sÃo caracterÃsticas comuns, formas de interaÃÃes desacopladas e interoperÃveis entre as entidades de software distribuÃdas no sistema tornam-se essenciais. Essa volatilidade e heterogeneidade influencia a forma como os serviÃos sÃo disponibilizados no sistema, como sÃo descobertos e invocados e como suas atividades sÃo coordenadas para se atingir o objetivo final das aplicaÃÃes. Nesse contexto, este trabalho de dissertaÃÃo propÃe uma nova infraestrutura de software, na forma de um sistema de suporte, denominada SysSU (System Support for Ubiquity). Esse sistema de suporte à apresentado por meio de uma arquitetura de referÃncia e de uma especificaÃÃo formal. A arquitetura à baseada nos modelos Linda e publish/subscribe com o propÃsito de se atingir o desacoplamento desejado. Jà a especificaÃÃo formal determina a semÃntica das primitivas utilizadas para as interaÃÃes entre os componentes de software e a sintaxe das mensagens trocadas entre eles com o objetivo de padronizar as implementaÃÃes. Para validar o trabalho proposto, uma implementaÃÃo de referÃncia, baseada na arquitetura e na especificaÃÃo formal, foi construÃda. Essa implementaÃÃo foi utilizada no desenvolvimento de um estudo de caso consistindo de duas aplicaÃÃes distintas, GREat Tour e UbiPrinter, que apresentam caracterÃsticas de volatilidade e heterogeneidade. / The hardware technologies necessary for the realization of Ubiquitous Computing (eg, smartphones, tablets, sensors and smart appliances) have evolved and, today, software components that enable new forms of interaction, able to recognize the face and voice of users, track its location and provide ways to incorporate augmented reality, needed in ubiquitous environments, are being widely developed. In addition, the Software Engineering has evolved to incorporate new development techniques seeking to increase quality and reduce production time of these software artifacts. However, in Ubiquitous Computing difficulties arise in the design of architectures, modeling collaboration among heterogeneous software components, system engineering, and marketing, implementation and validation of the system as a whole. Thus, the development of ubiquitous systems still presents many challenges due to the great diversity and complexity of your requirements. Especially, in ubiquitous environments, where the volatility and heterogeneity of devices, services and applications are common features, and unbound forms of interactions between entities in interoperable distributed software system becomes essential. This volatility and heterogeneity influence the way services are provided in the system, as they are discovered and invoked and how their activities are coordinated to achieve the ultimate goal of the applications. Therefore, this dissertation proposes a new software infrastructure in the form of a support system, called SysSU (System Support for Ubiquity). This support system is shown by a reference architecture and a formal specification. The architecture is based on models Linda and publish / subscribe for the purpose of achieving the desired decoupling. Since the formal specification determines the semantics of the primitives used for the interactions between software components and syntax of the messages exchanged between them in order to standardize implementations. To validate the proposed work, a reference implementation, based on formal specification and architecture, was built. This implementation was used to develop a case study consisting of two separate applications, and UbiPrinter GREat Tour, which exhibit characteristics of volatility and heterogeneity.
| Identifer | oai:union.ndltd.org:IBICT/oai:www.teses.ufc.br:5488 |
| Date | 16 September 2011 |
| Creators | Francisco FabrÃcio de Paula Lima |
| Contributors | Rossana Maria de Castro Andrade, Miguel Franklin de Castro, Cidcley Teixeira de Sousa, Markus Endler |
| Publisher | Universidade Federal do CearÃ, Programa de PÃs-GraduaÃÃo em CiÃncia da ComputaÃÃo, UFC, BR |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | English |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da UFC, instname:Universidade Federal do Ceará, instacron:UFC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0017 seconds