Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-05-15T16:58:03Z No. of bitstreams: 1 TES_FABIO_AGNE_FAYET_DE_SOUZA_PARCIAL.pdf: 671822 bytes, checksum: e2dfb30b655c23995c5b074d653987b4 (MD5) / Made available in DSpace on 2017-05-15T16:58:03Z (GMT). No. of bitstreams: 1 TES_FABIO_AGNE_FAYET_DE_SOUZA_PARCIAL.pdf: 671822 bytes, checksum: e2dfb30b655c23995c5b074d653987b4 (MD5) Previous issue date: 2017-03-10 / The present thesis establishes a path to differentiate the conscience of the wrongfulness enough for the existence of deceit, from the one that requires the knowledge itself of prohibition of the conduct practiced by the agent, thus setting the parameters for the treatment of error about the normative element of the crime description formulated negatively in the same way that the putative discriminant. The importance of this analysis bears in the recognition of the error upon the wrongfulness described into crime, beyond the limits of error iuris nocet; is to say, it allows analyzing the error of the agent about the prohibition of conduct when that comes related, explicitly, as the element of the crime description. Therefore, was made a deductive approach of the theme, through the bibliographic research of bias historical comparison, in order to, after weaving an overview about the origin and development of the problem, investigate, into historical evolution and in the universe of the crime descriptions made with these negatively formulated elements, the existence of a path to the analysis of the negative formulations into crime descriptions, delimiting the deceit and the prohibition. In this way, this path allows a new approach of the error on the negatively formulated normative elements in the context of the putative discriminant contained in the crime description, allowing the use of the law, in these cases, closer of the awareness of the prohibition required from the agent at the time of the event. / A presente tese estabelece um crit?rio diferenciador entre a consci?ncia da ilicitude suficiente para a exist?ncia do dolo, daquela exigida pelo conhecimento em si da proibi??o da conduta praticada pelo agente, fixando, assim, os par?metros para o tratamento do erro sobre o elemento normativo do tipo formulado negativamente, nos mesmos moldes estabelecidos para as descriminantes putativas como solu??o para o problema do erro. A import?ncia da presente an?lise consubstancia-se no reconhecimento do erro sobre a ilicitude descrita no tipo, desbordando dos limites do error iuris nocet; ? dizer: permite que se analise o erro do agente sobre a proibi??o da conduta, quando esta vem elencada, de forma expl?cita, como elemento do tipo penal. Para tanto, procedeu-se uma abordagem dedutiva do tema, por meio da pesquisa bibliogr?fica de vi?s hist?rico-comparativo, para, depois de tecer um panorama sobre a origem e o desenvolvimento do problema, investigar-se, na evolu??o hist?rica e no universo dos tipos penais constitu?dos por estes elementos normativos formulados negativamente, a exist?ncia de um crit?rio para a an?lise individualizada das formula??es negativas no ?mbito do tipo, delimitando o dolo e a proibi??o. Desse modo, tal crit?rio permite uma nova leitura acerca do erro sobre os elementos normativos formulados negativamente, no ?mbito das descriminantes putativas t?picas, permitindo a aplica??o do Direito, nestes casos, mais pr?xima da consci?ncia exigida do agente no momento do fato.

Made available in DSpace on 2014-12-17T15:47:56Z (GMT). No. of bitstreams: 1 HeremitaBL.pdf: 2830784 bytes, checksum: 9be09d8550fa0d1ce0a1a08185ccbdbd (MD5) Previous issue date: 2006-07-28 / This work presents an ontology to describe the semantics of IMML (Interactive Message Modeling Language) an XML-based User Interface Description Language. The ontology presents the description of all IMML elements including a natural language description and semantic rules and relationships. The ontology is implemented in OWL-DL, a standard language to ontology description that is recommended by W3C. Our main goal is to describe the semantic using languages and tools that can be processed by computers. As a consequence, we develop tools to the validation of a user interface specification and also to present the semantic description in different views / Este trabalho apresenta uma ontologia para a descri??o da sem?ntica da IMML (Interactive Message Modeling Language), uma linguagem baseada em XML para a descri??o de interfaces de usu?rios. A ontologia apresenta a descri??o dos elementos da IMML incluindo uma descri??o em linguagem natural e tamb?m as rela??es e regras sem?nticas. Esta ontologia est? implementada em OWL-DL, a linguagem padr?o para a constru??o de ontologias recomendada pelo W3C. A descri??o da sem?ntica na forma de uma ontologia permite que a mesma seja descrita em uma linguagem que pode ser processada por computadores. Como conseq??ncia, podemos construir ferramentas para validar semanticamente uma especifica??o e construir diferentes representa??es para a sem?ntica

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-02-29T21:40:50Z No. of bitstreams: 1 CarlosAlbertoNunesMachado_TESE.pdf: 4383936 bytes, checksum: f242b77bd956f24ec3818296ce30b852 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-03-01T19:53:18Z (GMT) No. of bitstreams: 1 CarlosAlbertoNunesMachado_TESE.pdf: 4383936 bytes, checksum: f242b77bd956f24ec3818296ce30b852 (MD5) / Made available in DSpace on 2016-03-01T19:53:18Z (GMT). No. of bitstreams: 1 CarlosAlbertoNunesMachado_TESE.pdf: 4383936 bytes, checksum: f242b77bd956f24ec3818296ce30b852 (MD5) Previous issue date: 2015-01-29 / A computa??o ub?qua ? um paradigma no qual dispositivos com capacidade de processamento e comunica??o s?o embutidos nos elementos comuns de nossas vidas (casas, carros, m?quinas fotogr?ficas, telefones, escolas, museus, etc), provendo servi?os com um alto grau de mobilidade e transpar?ncia. O desenvolvimento de sistemas ub?quos ? uma tarefa complexa, uma vez que envolve v?rias ?reas da computa??o, como Engenharia de Software, Intelig?ncia Artificial e Sistemas Distribu?dos. Essa tarefa torna-se ainda mais complexa pela aus?ncia de uma arquitetura de refer?ncia para guiar o desenvolvimento de tais sistemas. Arquiteturas de refer?ncia t?m sido usadas para fornecer uma base comum e dar diretrizes para a constru??o de arquiteturas de softwares para diferentes classes de sistemas. Por outro lado, as linguagens de descri??o arquitetural (ADLs) fornecem uma sintaxe para representa??o estrutural dos elementos arquiteturais, suas restri??es e intera??es, permitindo-se expressar modelo arquitetural de sistemas. Atualmente n?o h?, na literatura, ADLs baseadas em arquiteturas de refer?ncia para o dom?nio de computa??o ub?qua. De forma a permitir a modelagem arquitetural de aplica??es ub?quas, esse trabalho tem como objetivo principal especificar UbiACME, uma linguagem de descri??o arquitetural para aplica??es ub?quas, bem como disponibilizar a ferramenta UbiACME Studio, que permitir? arquitetos de software realizar modelagens usando UbiACME. Para esse fim, inicialmente realizamos uma revis?o sistem?tica, de forma a investigar na literatura relacionada com sistemas ub?quos, os elementos comuns a esses sistemas que devem ser considerados no projeto de UbiACME. Al?m disso, com base na revis?o sistem?tica, definimos uma arquitetura de refer?ncia para sistemas ub?quos, RA-Ubi, que ? a base para a defini??o dos elementos necess?rios para a modelagem arquitetural e, portanto, fornece subs?dios para a defini??o dos elementos de UbiACME. Por fim, de forma a validar a linguagem e a ferramenta, apresentamos um experimento controlado onde arquitetos modelam uma aplica??o ub?qua usando UbiACME Studio e comparam com a modelagem da mesma aplica??o em SySML.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-01-12T13:24:40Z No. of bitstreams: 1 PorfirioDantasGomes_DISSERT.pdf: 7295529 bytes, checksum: e59eed8fb988f2607cf908db21416196 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-01-16T15:14:08Z (GMT) No. of bitstreams: 1 PorfirioDantasGomes_DISSERT.pdf: 7295529 bytes, checksum: e59eed8fb988f2607cf908db21416196 (MD5) / Made available in DSpace on 2017-01-16T15:14:08Z (GMT). No. of bitstreams: 1 PorfirioDantasGomes_DISSERT.pdf: 7295529 bytes, checksum: e59eed8fb988f2607cf908db21416196 (MD5) Previous issue date: 2016-04-04 / A Internet das Coisas (do ingl?s Internet of Things - IoT) ? um paradigma emergente caracterizado por uma mir?ade de dispositivos heterog?neos conectados ? Internet. Por?m, a alta heterogeneidade e a larga distribui??o dos dispositivos dispon?veis em IoT dificultam a implanta??o desse paradigma, fazendo com que m?quinas e usu?rios enfrentem desafios para encontrar, selecionar, e usar recursos de forma r?pida, confi?vel, e amig?vel. Nesse contexto, servi?os de descoberta desempenham um papel chave, permitindo que clientes (e.g., plataformas de middleware, usu?rios finais, e aplica??es) recuperem recursos atrav?s da especifica??o de crit?rios de busca contendo uma s?rie de atributos, tais como o tipo do recurso, capacidades, localiza??o, par?metros de qualidade de contexto (Quality of Context - QoC), etc. Esta disserta??o introduz o QoDisco, um servi?o de descoberta distribu?do que permite buscas por m?ltiplos atributos, buscas em intervalos, e opera??es de busca s?ncrona e ass?ncrona. Al?m disso, o QoDisco inclui um modelo baseado em ontologias para a descri??o sem?ntica de recursos (i.e., sensores e atuadores), servi?os, e dados capturados por sensores. Esta disserta??o apresenta, em detalhes, (i) a arquitetura do QoDisco, (ii) seu modelo de informa??o, (iii) a implementa??o de um prot?tipo, (iv) e a integra??o do QoDisco com uma plataforma de middleware para IoT, a EcoDiF. Por fim, este trabalho apresenta uma prova de conceito em um cen?rio de polui??o urbana e uma avalia??o qualitativa do desempenho do procedimento de busca do QoDisco. / The Internet of Things (IoT) is an emergent paradigm characterized by a plethora of heterogeneous devices connected to the Internet. However, the high heterogeneity and the wide distribution of the available devices in IoT make difficult the adoption of this paradigm, with users facing challenges to find, select, and use resources in a fast, reliable, and user-friendly way. In this context, discovery services perform a key role, allowing clients (e.g., middleware platforms, end-users, and applications) to retrieve resources through the specification of search criteria containing attributes, such as the resource type, capabilities, location, quality of context (QoC) parameters, and etc. This dissertation introduces the QoDisco, a distributed discovery service to search resources by multiple attributes, range queries, and synchronous and asynchronous operations. Furthermore, QoDisco includes an ontology-based model for semantic description of resources (i.e., sensors and actuators), services, and data captured by sensors. This dissertation presents, in details, (i) the QoDisco architecture, (ii) its information model, (iii) a propotype implementation, (iv) and the integration of QoDisco with a middleware platform for IoT, EcoDiF. Lastly, this work presents a proof of concept in an urban pollution scenario and a qualitative avaliation of the QoDisco?s search procedure performance.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-08-14T11:29:03Z No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-08-14T11:41:59Z (GMT) No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) / Made available in DSpace on 2017-08-14T11:42:00Z (GMT). No. of bitstreams: 1 EvertonRaniellyDeSousaCavalcante_TESE.pdf: 7986753 bytes, checksum: c7cc344a4f7c9cbaa61e56bb4d270735 (MD5) Previous issue date: 2016-06-10 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Arquiteturas de software exercem um papel significativo no desenvolvimento de sistemas intensivos de software a fim de permitir satisfazer tanto requisitos funcionais quanto n?ofuncionais. Em particular, arquiteturas de software din?micas t?m surgido para endere?ar caracter?sticas dos sistemas contempor?neos que operam em ambientes din?micos e consequentemente sujeitos a mudan?as em tempo de execu??o. Linguagens de descri??o arquitetural (ADLs) s?o utilizadas para representar arquiteturas de software, produzindo modelos que podem ser utilizados tanto em tempo de projeto quanto em tempo de execu??o. Contudo, a maioria das ADLs existentes possui limita??es em diversos aspectos: (i) possui enfoque em aspectos estruturais, topol?gicos da arquitetura; (ii) n?o prov? um suporte adequado ? representa??o de aspectos comportamentais da arquitetura; (iii) n?o permite descrever aspectos avan?ados relativos ? din?mica da arquitetura; (iv) ? limitada com rela??o ? verifica??o de propriedades arquiteturais e restri??es, e; (v) ? desconectada do n?vel de implementa??o, resultando em inconsist?ncias entre arquitetura e implementa??o. No intuito de endere?ar esses problemas, esta tese prop?e um framework formal para arquiteturas de software din?micas. Tal framework envolve: (i) ?-ADL, uma linguagem formal para descrever arquiteturas de software sob as perspectivas estrutural e comportamental; (ii) a especifica??o de opera??es de reconfigura??o din?mica programada; (iii) a gera??o autom?tica de c?digo fonte a partir de descri??es arquiteturais, e; (iv) uma abordagem baseada em verifica??o estat?stica (SMC) para expressar e verificar formalmente propriedades em arquiteturas de software din?micas. As principais contribui??es trazidas pelo framework proposto s?o quatro. Primeiro, a linguagem ?-ADL passou a ser dotada de primitivas de n?vel arquitetural para descrever reconfigura??es din?micas programadas. Segundo, descri??es arquiteturais em ?-ADL s?o traduzidas para c?digo fonte de implementa??o na linguagem de programa??o Go, contribuindo assim para minimizar desvios arquiteturais. Terceiro, uma nova l?gica chamada DynBLTL ? utilizada para expressar formalmente propriedades em arquiteturas de software din?micas. Quarto, um ferramental baseado em SMC foi constru?do para automatizar verifica??o de propriedades arquiteturais enquanto busca reduzir esfor?o, recursos computacionais e tempo para realizar essa tarefa. Neste trabalho, dois sistemas baseados em redes de sensores sem fio s?o utilizados para validar os elementos do framework. / Software architectures play a significant role in the development of software-intensive systems in order to allow satisfying both functional and non-functional requirements. In particular, dynamic software architectures have emerged to address characteristics of the contemporary systems that operate on dynamic environments and consequently subjected to changes at runtime. Architecture description languages (ADLs) are used to represent software architectures, producing models that can be used at design time and/or runtime. However, most existing ADLs have limitations in several facets: (i) they are focused on structural, topological aspects of the architecture; (ii) they do not provide an adequate support for representing behavioral aspects of the architecture; (iii) they do not allow describing advanced aspects regarding the dynamics of the architecture; (iv) they are limited with respect to the automated verification of architectural properties and constraints; and (v) they are disconnected from the implementation level, thus entailing inconsistencies between architecture and implementation. In order to tackle these problems, this thesis proposes formally founded framework for dynamic software architectures. Such a framework comprises: (i) ?-ADL, a formal language for describing software architectures under both structural and behavioral viewpoints; (ii) the specification of programmed dynamic reconfiguration operations; (iii) the automated generation of source code from architecture descriptions; and (iv) an approach based on statistical model checking (SMC) to formally express and verify properties in dynamic software architectures. The main contributions brought by the proposed framework are fourfold. First, the ?-ADL language was endowed with architectural-level primitives for describing programmed dynamic reconfigurations. Second, architecture descriptions in ?- ADL are translated towards implementation source code in the Go programming language, thereby contributing to minimize architectural drifts. Third, a novel logic, called DynBLTL, is used to formally express properties in dynamic software architectures. Fourth, a toolchain relying on SMC was built to automate the verification of architectural properties while striving to reduce effort, computational resources, and time for performing such a task. In this work, two wireless sensor network-based systems are used to validate the framework elements.

Made available in DSpace on 2014-12-17T15:48:02Z (GMT). No. of bitstreams: 1 MichaelSS.pdf: 1470554 bytes, checksum: 016748ab8192abef9067fea20f51d077 (MD5) Previous issue date: 2006-10-16 / A great challenge of the Component Based Development is the creation of mechanisms to facilitate the finding of reusable assets that fulfill the requirements of a particular system under development. In this sense, some component repositories have been proposed in order to answer such a need. However, repositories need to represent the asset characteristics that can be taken into account by the consumers when choosing the more adequate assets for their needs. In such a context, the literature presents some models proposed to describe the asset characteristics, such as identification, classification, non-functional requirements, usage and deployment information and component interfaces. Nevertheless, the set of characteristics represented by those models is insufficient to describe information used before, during and after the asset acquisition. This information refers to negotiation, certification, change history, adopted development process, events, exceptions and so on. In order to overcome this gap, this work proposes an XML-based model to represent several characteristics, of different asset types, that may be employed in the component-based development. Besides representing metadata used by consumers, useful for asset discovering, acquisition and usage, this model, called X-ARM, also focus on helping asset developers activities. Since the proposed model represents an expressive amount of information, this work also presents a tool called X-Packager, developed with the goal of helping asset description with X-ARM / O Desenvolvimento Baseado em Componentes tem como grande desafio a cria??o de mecanismos que facilitem a identifica??o de assets reus?veis que satisfa?am os requisitos de sistemas particulares sob desenvolvimento. Neste sentido, reposit?rios de componentes t?m sido propostos como meios para se atender esta necessidade. Por?m, reposit?rios precisam representar as caracter?sticas de assets que possam ser levadas em considera??o pelos consumidores quando da escolha dos assets mais adequados ?s suas necessidades. Neste contexto, a literatura apresenta alguns modelos que foram propostos com a finalidade de descrever as caracter?sticas de assets, tais como identifica??o, classifica??o, requisitos n?o funcionais, informa??es de implanta??o e uso, arquivos que comp?em os assets, e interfaces de componentes. No entanto, o conjunto de caracter?sticas representadas por estes modelos ? insuficiente para descrever diversas informa??es usadas antes, durante e depois da aquisi??o dos assets, dentre as quais pode-se destacar informa??es de negocia??o e certifica??o, hist?rico de mudan?as, processo de desenvolvimento usado, eventos, exce??es. De forma a solucionar tais defici?ncias, este trabalho apresenta um modelo baseado em XML para a representa??o de diversas caracter?sticas, de diversos tipos de assets, que possam ser empregadas no desenvolvimento baseado em componentes. O modelo proposto, denominado X-ARM, fornece informa??es usadas n?o apenas pelos consumidores na identifica??o, aquisi??o e uso de assets, mas tamb?m para apoiar as atividades dos desenvolvedores de assets. Dado que o modelo proposto representa uma expressiva quantidade de informa??es, este trabalho tamb?m apresenta uma ferramenta chamada X-Packager, desenvolvida com o objetivo de auxiliar a descri??o de assets com X-ARM

Made available in DSpace on 2014-12-17T15:48:13Z (GMT). No. of bitstreams: 1 LirisneiGS.pdf: 852828 bytes, checksum: d8e0d9662bced4742e1d852cf03d78a8 (MD5) Previous issue date: 2007-08-20 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This work presents an User Interface (UI) prototypes generation process to the softwares that has a Web browser as a plataform. This process uses UI components more complex than HTML elements. To described this components more complex this work suggest to use the XICL (eXtensinble User Interface Components Language). XICL is a language, based on XML syntax, to describe UI Components and IUs. XICL promotes extensibility and reusability in the User Interface development process. We have developed two compiler. The first one compiles IMML (Interactive Message Modeling Language) code and generates XICL code. The second one compiles XICL code and generates DHTML code / Este trabalho apresenta um processo de gera??o de prot?tipos de Interfaces de Usu?rio (IU) para software que tem como plataforma operacional um navegador Web. Este processo faz o uso de componentes de interface de usu?rio mais complexos que os elementos HTML. Para descrever estes componentes mais complexos este trabalho sugere o uso da linguagem XICL (eXtensible User Interface Components Language). A XICL ? uma linguagem, baseada em XML, para a descri??o de componentes de IU e de IUs. A XICL permite reusabilidade e extensibilidade no desenvolvimento de interfaces de usu?rios. Foram desenvolvidos dois compiladores, um que gera c?digo XICL a partir de c?digo IMML (Interactive Message Modeling Language) e outro que a partir de XICL gera DHTML