Made available in DSpace on 2014-12-17T15:48:03Z (GMT). No. of bitstreams: 1 ThiagoPS_DISSERT.pdf: 3143029 bytes, checksum: 0f97ea16a97dc298694ca58c37e62914 (MD5) Previous issue date: 2012-08-06 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services / Tipicamente servi?os Web cont?m apenas informa??es sint?ticas que descrevem suas interfaces e a falta de descri??es sem?nticas torna a composi??o de servi?osWeb uma tarefa dif?cil. Para resolver este problema, pode-se usar ontologias para a defini??o sem?ntica da interface dos servi?os, facilitando a automa??o da descoberta, publica??o, media??o, invoca??o e composi??o dos servi?os. No entanto, linguagens que permitem se descrever semanticamente servi?os Web utilizando ontologias, como OWL-S, t?m constru??es que n?o s?o f?ceis de entender, mesmo para desenvolvedoresWeb, e as ferramentas existentes levam aos usu?rios muitos detalhes que as tornam dif?ceis de serem manipuladas. Este trabalho apresenta uma ferramenta chamada AutoWebS (Automatic Generation of Semantic Web Services) para o desenvolvimento de servi?os Web sem?nticos. O AutoWebS usa uma abordagem baseada em perfis UML e transforma??es entre modelos para a gera??o autom?tica de servi?osWeb e sua descri??o sem?ntica em OWL-S. O AutoWebS disponibiliza um ambiente que oferece recursos para modelar, implementar, compilar e implantar servi?os Web sem?nticos

The thesis deals with the modeling of the Component Based Software (CBS) systems in the UML language and with extension of the UML language with using of meta-modeling techniques and with using of the UML Prodile technology. Thesis also deals with Component Based Development (CBD). The main part of this study deals with specifying of methodology for creating of UML Prodiles and with demonstration of this methodology on selected Component System meta-model by creating the profile including the OCL constraints and description of problems with creating of the prodile. Thesis also describes support of the UML Profile technology in existing UML CASE tools. For demonstration purposes thesis contains the case study with example which uses in this work created UML Profile. Profile is created in accordance with specification of UML version 2.3 and OCL in version 2.2. Demonstration is performed and profile itself is created using IBM Rational Software Architect version 8.0.2.

XML (eXtensible Markup Language)已經快速成為網際網路上資料交換的標準，其架構適合用來描述複雜的資料結構並提供XML文件驗證的機制。要交換XML文件，就必須使用綱要語言來制定XML語彙，因而由此衍生出XML綱要設計之問題。在本篇研究中，將研究UML資料模型與XML綱要之間轉換的議題並發展一個可進行雙向轉換的模型。此轉換模型包含二部份，一是從UML資料模型結構轉換為XML綱要結構，一是從XML綱要結構反向轉換為UML資料模型結構；這二個模型將分別探討XML DTD (Data Type Definition)及 W3C XML Schema二個主題，將這二個子模型分別從語法及語意轉換之層面切入進行一連串結構轉換規則之延伸及建立。在XML綱要結構反向轉換為UML資料模型結構之模型中亦包含二個子模型，分別由XML綱要結構建立轉換之規則。我們建立此轉換模型之目的在於使UML資料模型結構及XML綱要結構間之轉換方法更為明確、簡單及容易使用，並透過系統實作來驗證其可行性。 / The (eXtensible Markup Language) XML is fast becoming the standard data exchange across the Internet. It is suitable to describe complex-structured data. It also provides a validation mechanism to validate vocabulary used in the XML document. In order to exchange XML document, XML vocabulary needs to be defined. As a result spread out the issues of XML schema design from here. In the research, UML data model and XML schema transformation issue have been studied to develop a bi-directional mapping and transformation model. We design the bidirectional mapping and transformation model in two parts. One is from UML data model to XML schema; another is from XML Schema to UML data model. Each part has two explored subject, including XML DTD (Data Type Definition) and W3C XML Schema. We develop a sequence of transformation rules from the viewpoints of syntactic and semantic transformation. These are also two parts in the transformation model of mapping from XML schema to UML data model. We develop transformation rules from the viewpoints of generic XML constructs step by step. We build up the transformation model to make transformation method more generic, genuine, systematic, explicit, simple and easy to use. Besides, we implement a transformation editor to validate the bi-directional transformation model.

Les systèmes d'Entrepôts de Données et OLAP spatiaux (EDS et SOLAP) sont des technologies d'aide à la décision permettant l'analyse multidimensionnelle de gros volumes de données spatiales. Dans ces systèmes, la qualité de l'analyse dépend de trois facteurs : la qualité des données entreposées, la qualité des agrégations et la qualité de l’exploration des données. La qualité des données entreposées dépend de critères comme la précision, l'exhaustivité et la cohérence logique. La qualité d'agrégation dépend de problèmes structurels (e.g. les hiérarchies non strictes qui peuvent engendrer le comptage en double des mesures) et de problèmes sémantiques (e.g. agréger les valeurs de température par la fonction Sum peut ne pas avoir de sens considérant une application donnée). La qualité d'exploration est essentiellement affectée par des requêtes utilisateur inconsistantes (e.g. quelles ont été les valeurs de température en URSS en 2010 ?). Ces requêtes peuvent engendrer des interprétations erronées des résultats. Cette thèse s'attaque aux problèmes d'incohérence logique qui peuvent affecter les qualités de données, d'agrégation et d'exploration. L'incohérence logique est définie habituellement comme la présence de contradictions dans les données. Elle est typiquement contrôlée au moyen de Contraintes d'Intégrité (CI). Dans cette thèse nous étendons d'abord la notion de CI (dans le contexte des systèmes SOLAP) afin de prendre en compte les incohérences relatives aux agrégations et requêtes utilisateur. Pour pallier les limitations des approches existantes concernant la définition des CI SOLAP, nous proposons un Framework basé sur les langages standards UML et OCL. Ce Framework permet la spécification conceptuelle et indépendante des plates-formes des CI SOLAP et leur implémentation automatisée. Il comporte trois parties : (1) Une classification des CI SOLAP. (2) Un profil UML implémenté dans l'AGL MagicDraw, permettant la représentation conceptuelle des modèles des systèmes SOLAP et de leurs CI. (3) Une implémentation automatique qui est basée sur les générateurs de code Spatial OCL2SQL et UML2MDX qui permet de traduire les spécifications conceptuelles en code au niveau des couches EDS et serveur SOLAP. Enfin, les contributions de cette thèse ont été appliquées dans le cadre de projets nationaux de développement d'applications (S)OLAP pour l'agriculture et l'environnement. / Spatial Data Warehouse (SDW) and Spatial OLAP (SOLAP) systems are Business Intelligence (BI) allowing for interactive multidimensional analysis of huge volumes of spatial data. In such systems the quality ofanalysis mainly depends on three components : the quality of warehoused data, the quality of data aggregation, and the quality of data exploration. The warehoused data quality depends on elements such accuracy, comleteness and logical consistency. The data aggregation quality is affected by structural problems (e.g., non-strict dimension hierarchies that may cause double-counting of measure values) and semantic problems (e.g., summing temperature values does not make sens in many applications). The data exploration quality is mainly affected by inconsistent user queries (e.g., what are temperature values in USSR in 2010?) leading to possibly meaningless interpretations of query results. This thesis address the problems of logical inconsistency that may affect the data, aggregation and exploration qualities in SOLAP. The logical inconsistency is usually defined as the presence of incoherencies (contradictions) in data ; It is typically controlled by means of Integrity Constraints (IC). In this thesis, we extends the notion of IC (in the SOLAP domain) in order to take into account aggregation and query incoherencies. To overcome the limitations of existing approaches concerning the definition of SOLAP IC, we propose a framework that is based on the standard languages UML and OCL. Our framework permits a plateforme-independent conceptual design and an automatic implementation of SOLAP IC ; It consists of three parts : (1) A SOLAP IC classification, (2) A UML profile implemented in the CASE tool MagicDraw, allowing for a conceptual design of SOLAP models and their IC, (3) An automatic implementation based on the code generators Spatial OCLSQL and UML2MDX, which allows transforming the conceptual specifications into code. Finally, the contributions of this thesis have been experimented and validated in the context of French national projetcts aimming at developping (S)OLAP applications for agriculture and environment.