Aplicativo web para la corrección de modelos UML/OCL

Introducció d'un entorn virtual d' autoaprenentatge que permeti als estudiants millorar les seves habilitats de modelització, una peça clau en la seva capacitació com a professionals de la informàtica adaptats a les demandes de la societat actual.

Generació automàtica de les constraints a partir de un diagrama de classes UML amb restriccions especificades en OCL

L'àmbit d'aquest treball és la generació automàtica de les restriccions d'integritat (claus primàries, alternatives i comprovacions), tant per a les bases de dades relacionals com per a les orientades a objectes.

MetaSketch OCL Interpreter

No contexto das tecnologias propostas pela OMG, o MOF é utilizado para definir a sintaxe de linguagens de modelação, contudo, os aspectos semânticos não podem ser capturados usando esta linguagem. A descrição dos aspectos não sintácticos é realizada com recurso à linguagem OCL. Consequentemente, para uma completa definição de uma linguagem de modelação é necessário incorporar o OCL no MOF, criando uma infra-estrutura que possui a expressividade necessária para realizar esta função. Este projecto visa complementar a ferramenta de metamodelação MetaSketch Editor, introduzindo a capacidade de executar expressões em OCL e permitindo, desta forma, a verificação semântica dos modelos construídos usando o MetaSketch Editor. A gramática da linguagem OCL adoptada está de acordo com a especificação elaborada pela OMG (2006-05-01), juntando-se algumas contribuições de trabalhos existentes sobre esta linguagem. O projecto envolveu a implementação de um parser com recurso ao sistema GOLD Parser, a implementação da standard library do OCL em C# e, por último, a implementação de uma estratégia de execução das expressões em OCL.

Final environmental statement : OCL sale no. 48 : proposed 1979 outer continental shelf oil and gas lease sale offshore Southern California /

Mode of access: Internet.

MQL: A powerful extension to OCL for MOF queries

The Meta-Object Facility (MOF) provides a standardized framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely derived from that model. Information contained in these objects can be accessed directly, however, in order to realize the Model-Driven Architecture@trade; (MDA), we must have a mechanism for representing and evaluating structured queries on these instances. The MOF Query Language (MQL) is a language that extends the UML's Object Constraint Language (OCL) to provide more expressive power, such as higher-order queries, parametric polymorphism and argument polymorphism. Not only do these features allow more powerful queries, but they also encourage a greater degree of modularization and re-use, resulting in faster prototyping and facilitating automated integrity analysis. This paper presents an overview of the motivations for developing MQL and also discusses its abstract syntax, presented as a MOF model, and its semantics

Molybdenum Complexes Bearing the Tris(1-pyrazolyl)methanesulfonate Ligand: Synthesis, Characterization and Electrochemical Behaviour

The tris(1-pyrazolyl)methanesulfonate lithium salt Li(Tpms) [Tpms = SO3C(pz)(3)-] reacts with [Mo(CO)(6)] in NCMe heated at reflux to yield Li[Mo(Tpms)(CO)(3)] (1), which, upon crystallization from thf, forms the coordination polymer [Mo(Tpms)(CO)(2)(mu-CO)Li(thf)(2)](n) (2). Reaction of 1 with I-2, HBF4 or AgBF4 yields [Mo(Tpms)I(CO)(3)] (3), (Mo(Tpms)-H(CO)(3)] (5) or (Mo(Tpms)O-2](2)(mu-O) (7), respectively. The high-oxidation-state dinuclear complexes [{Mo(Tpms)O(mu-O)}(2)] (4) and [{Mo(tpms)OCl)(2)](mu-O) (6) are formed upon exposure to air of solutions of 3 and 5, respectively. Compounds 1-7, which appear to be the first tris(pyrazolyl)methanesulfonate complexes of molybdenum to be reported, were characterized by IR, H-1 and C-13 NMR spectroscopy, ESI-MS, elemental analysis, cyclic voltammetry and, in the cases of Li(Tpms) and compounds 2, 4.2CH(3)CN, 6.6CHCl(3) and 7, by X-ray diffraction analyses. Li(Tpms) forms a 1D polymeric structure (i.e., [Li(tpms)](n)} with Tpms as a tetradentate N2O2 chelating ligand that bridges two Li cations with distorted tetrahedral coordination. Compound 2 is a 1D coordination polymer in which Tpms acts as a bridging tetradentate N3O ligand and each Li(thf)(2)(+) moiety is coordinated by one bridging CO ligand and by the sulfonyl group of a contiguous monomeric unit. In 4, 6 and 7, the Tpms ligand is a tridentate chelator either in the NNO (in 4) or in the NNN (in 6 and 7) fashion. Complexes 1, 3 and 5 exhibit, by cyclic voltammetry, a single-electron oxidation at oxidation potential values that indicate that the Tpms ligand has an electron-donor character weaker than that of cyclopentadienyl.

Exploração do UML para a derivação automática de requisitos arquitecturais. Uma abordagem orientada a modelos

O desenvolvimento de software orientado a modelos defende a utilização dos modelos como um artefacto que participa activamente no processo de desenvolvimento. O modelo ocupa uma posição que se encontra ao mesmo nível do código. Esta é uma abordagem importante que tem sido alvo de atenção crescente nos últimos tempos. O Object Management Group (OMG) é o responsável por uma das principais especificações utilizadas na definição da arquitectura dos sistemas cujo desenvolvimento é orientado a modelos: o Model Driven Architecture (MDA). Os projectos que têm surgido no âmbito da modelação e das linguagens específicas de domínio para a plataforma Eclipse são um bom exemplo da atenção dada a estas áreas. São projectos totalmente abertos à comunidade, que procuram respeitar os standards e que constituem uma excelente oportunidade para testar e por em prática novas ideias e abordagens. Nesta dissertação foram usadas ferramentas criadas no âmbito do Amalgamation Project, desenvolvido para a plataforma Eclipse. Explorando o UML e usando a linguagem QVT, desenvolveu-se um processo automático para extrair elementos da arquitectura do sistema a partir da definição de requisitos. Os requisitos são representados por modelos UML que são transformados de forma a obter elementos para uma aproximação inicial à arquitectura do sistema. No final, obtêm-se um modelo UML que agrega os componentes, interfaces e tipos de dados extraídos a partir dos modelos dos requisitos. É uma abordagem orientada a modelos que mostrou ser exequível, capaz de oferecer resultados práticos e promissora no que concerne a trabalho futuro.

Refinamento de diagramas de classes: análise e verificação

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Metamodelação de processos e serviços

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do Grau de Mestre em Engenharia Informática

Governança e modelação de processos de TI

Estudos efectuados, ao longo dos últimos anos, têm demonstrado como os recursos de Tecnologia de Informação (TI) devem ser usados de maneira a propiciar a criação de ambientes organizacionais mais alinhados com as necessidades de negócio. Actualmente, vivemos um processo competitivo onde as organizações gerem muitos activos – pessoas, dinheiro, instalações, fornecedores, clientes – e investem fortemente em Tecnologia de Informação. Para que a organização consiga extrair benefícios concretos do processo de manipulação do conhecimento é necessário que esta possua mecanismos estruturais de gestão que permitam criar uma base de conhecimento adequada, levando a organização a preservar o seu capital intelectual. A governança de TI, na forma como é debatida actualmente no mercado, está mais focada no uso de boas práticas representadas por metodologias como CobiT (Control Objectives for Information and related Technology) e ITIL (Information Technology Infrastructure Library). No entanto, neste estudo vamos mais além e apresentamos uma visão de como a governança de TI pode ser útil ao alinhamento do negócio com a TI, através do uso de uma nova técnica que permite identificar os níveis de aptidão da gestão de serviços de TI, de modo a avaliar e gerir, não só os problemas complexos dos sistemas de informação e a tecnologia das organizações, mas também questões de gestão, operacionais e culturais. Esta dissertação propõe um método para avaliar o grau de maturidade da governança de TI dentro de uma organização. Simultaneamente, foram recolhidas métricas da complexidade dos processos de TI, as quais foram correlacionadas com os níveis de maturidade. Baseado nestas correlações, foi criado um modelo que interliga a governança de TI com o nível de complexidade dos processos de TI. Começamos por fornecer uma panorâmica sobre o trabalho que tem sido desenvolvido nas áreas de domínio desta dissertação; apresentamos alguns conceitos básicos sobre a governança de TI e qual a sua importância; relatamos detalhadamente a abordagem adaptada para determinar o perfil de governança de TI das empresas portuguesas; formalizamos um conjunto de indicadores quantitativos que permitem exprimir a complexidade de um processo, com recurso à linguagem OCL (Object Constraint Language), sobre um metamodelo BPMN (Business Process Modeling Notation); analisamos os resultados e apresentamos as conclusões. Esta dissertação termina com a identificação das linhas de orientação gerais para a continuação futura do trabalho desenvolvido.

Avaliação da qualidade em modelos de requisitos i*

As abordagens de engenharia de requisitos orientada a objetivos oferecem mecanismos que ajudam na elicitação e modelação de requisitos. A presente dissertação centra-se no framework i*, uma das mais importantes linguagens de especificação de modelos de requisitos orientados a objetivos, que conta com grupos de trabalho em mais de vinte países e com sete edições de workshops internacionais. Existem alguns problemas que podem afetar a qualidade de modelos i*. A sua criação pode resultar em modelos complexos e/ou incompletos, assim como incorretos devido ao mau uso da notação do i*. Estes problemas contribuem para a existência de dificuldades na gestão e compreensão dos sistemas de software o que, por sua vez, leva a um aumento dos custos de desenvolvimento. A qualidade dos modelos deve, então, ser uma preocupação constante, por forma a que sejam construídos modelos corretos, completos e cuja complexidade acidental seja minimizada. Não obstante a sua importância, a gestão eficaz destes três aspetos é, ainda, um problema em aberto. Nesta dissertação é proposto um conjunto de métricas para dar suporte à avaliação quantitativa dos atributos de qualidade complexidade, completude e correção nos modelos de requisitos i*. As métricas são definidas seguindo a abordagem Goal-Question- Metric, sendo definidas tanto de modo informal, em língua natural, como formalmente, em OCL (Object Contraint Language), e incorporadas numa ferramenta de modelação i* para que possam ser recolhidas de modo automático. As métricas são avaliadas experimentalmente, através de um conjunto de casos de estudo reais e académicos, e teoricamente, através de propriedades deWeyuker.

Estudi d'eines CASE que suporten OCLper a la generació automàtica de codi Java

Es tracta d'una recerca d'eines CASEque actualment suporten OCL en la generació automàtica de codi Java per estudiar-les ianalitzar-les a través d'un model de proves consistent en un diagrama de classes del modelestàtic de l'UML i una mostra variada d'instruccions OCL, amb l'objectiu de detectar lesseves mancances, analitzant el codi obtingut i determinar si controla o no cada tipus derestricció, i si s'han implementat bé en el codi.

RetroDisseny de Bases de Dades Relacionals

El plantejament inicial d'aquest projecte és el de aconseguir obtenir l'esquema conceptual originari de qualsevol base de dades relacional per a fer tasques de reenginyeria. Es pretén, a més, dotar al diagrama ER a obtenir d'extensions emprant llenguatge de definició de restriccions (OCL), per la qual cosa emprarem les llibreries de funcions Dresden OCL.