Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico.Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2013-07-16T01:06:47Z (GMT). No. of bitstreams: 1
222365.pdf: 1595411 bytes, checksum: fe21c401f1c0f38cdc465e4417a24b99 (MD5) / Computação ubíqua, ou pervasive computing, introduz o uso de dispositivos móveis e/ou embutidos em objetos e ambientes, com capacidade de comunicação e computação, interagindo diretamente com o homem. Modelar e simular cenários baseados nessa filosofia implica em sobrepor uma série de desafios, a maioria associada à complexidade e heterogeneidade dos elementos presentes em tais cenários. Este trabalho especifica e discute os requisitos, as características e algumas funções essenciais para modelagem e simulação de ambientes de computação ubíqua, auxiliado por uma linguagem de especificação formal, Object-Z. Para alcançar esse objetivo, foi desenvolvido um estudo minucioso dos elementos, características, desafios, projetos e tecnologias associadas à computação ubíqua. Paralelamente, um estudo sobre os conceitos essenciais de modelagem e projetos relacionados à simulação foram pesquisados e analisados. Baseada nessas pesquisas e análises, a especificação foi desenvolvida e avaliada sob três distintos cenários exemplos de computação ubíqua. Como conseqüência, verifica-se que o modelo provê estruturas para representar, analisar e discutir os aspectos para modelagem e simulação em diversos cenários de computação ubíqua. Através da representação e discussão desses aspectos, é possível não
apenas modelar cenários, mas investigar em profundidade, desde as questões básicas até as mais complexas, os desafios, soluções, características e comportamentos nos ambientes.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/102496 |
| Date | January 2005 |
| Creators | Campiolo, Rodrigo |
| Contributors | Universidade Federal de Santa Catarina, Sobral, João Bosco Mangueira |
| Publisher | Florianópolis, SC |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | xii, 158 f.| il. |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0025 seconds