Schem@Doc: a web-based XML schema visualizer

XML Schema is one of the most used specifications for defining types of XML documents. It provides an extensive set of primitive data types, ways to extend and reuse definitions and an XML syntax that simplifies automatic manipulation. However, many features that make XML Schema Definitions (XSD) so interesting also make them rather cumbersome to read. Several tools to visualize and browse schema definitions have been proposed to cope with this issue. The novel approach proposed in this paper is to base XSD visualization and navigation on the XML document itself, using solely the web browser, without requiring a pre-processing step or an intermediate representation. We present the design and implementation of a web-based XML Schema browser called schem@Doc that operates over the XSD file itself. With this approach, XSD visualization is synchronized with the source file and always reflects its current state. This tool fits well in the schema development process and is easy to integrate in web repositories containing large numbers of XSD files.

Design of an extensible metadata editor based on RDF

The content of a Learning Object is frequently characterized by metadata from several standards, such as LOM, SCORM and QTI. Specialized domains require new application profiles that further complicate the task of editing the metadata of learning object since their data models are not supported by existing authoring tools. To cope with this problem we designed a metadata editor supporting multiple metadata languages, each with its own data model. It is assumed that the supported languages have an XML binding and we use RDF to create a common metadata representation, independent from the syntax of each metadata languages. The combined data model supported by the editor is defined as an ontology. Thus, the process of extending the editor to support a new metadata language is twofold: firstly, the conversion from the XML binding of the metadata language to RDF and vice-versa; secondly, the extension of the ontology to cover the new metadata model. In this paper we describe the general architecture of the editor, we explain how a typical metadata language for learning objects is represented as an ontology, and how this formalization captures all the data required to generate the graphical user interface of the editor.

Entre o palco e o ecrã: feras amestradas: comédia musical negra à portuguesa: intermédia

Trabalho de Projeto submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Encenação

Multy-dimensional composition by objectives in aspect-oriented requirements analysis

Thesis submitted to Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa in partial fulfilment of the requirements for the degree of Master in Computer Science

A middleware for service oriented computing in dynamic environments

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

BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

Model of a specialized bidirectional dictionary for German and Portuguese

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Terminologia e Gestão da Informação de Especialidade

Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Negotiation environment to support enterprise interoperability sustainability

Dissertation to obtain the Master degree in Electrical Engineering and Computer Science

entrante aa noite

Este trabalho pretende, a partir da análise de textos literários e não literários do português antigo, incluídos no Corpus Informatizado do Português Medieval (CLUNL/FCSH-UNL), descrever e interpretar a distribuição sintática e as propriedades do particípio presente no português antigo, verificando semelhanças e diferenças com outras formas não finitas, principalmente o gerúndio. Procurou-se averiguar o que caracteriza as formas de particípio presente do português antigo e do português europeu contemporâneo e o que as distingue de outras formas não finitas do verbo, no que diz respeito aos contextos em que ocorrem, mas também quanto ao seu funcionamento. Assim, analisando mais detalhadamente as orações em que estes particípios ocorrem com função verbal, investigaram-se algumas das suas propriedades internas (legitimação de sujeitos plenos, identificação e legitimação de sujeitos nulos, ordem de palavras), de modo a poder explicar o seu funcionamento e estrutura. No português antigo, as formas de particípio presente tinham características distintas das do português contemporâneo. No português de hoje, as formas terminadas em -nte, subsistem apenas como nomes (estudante, presidente, pedinte) e adjetivos (minguante, cadente, seguinte). O uso verbal destas formas desapareceu, tendo sido substituído por outras formas não finitas, nomeadamente o gerúndio e o infinitivo. Quando ainda mantinha o seu funcionamento verbal, o particípio presente ocorria nos mesmos contextos sintáticos em que encontramos outras formas não finitas, principalmente o gerúndio. Estas duas formas pareciam funcionar como variantes livres, tendo depois o gerúndio substituído a forma participial na maioria dos contextos. A análise dos dados e a comparação efetuada com as formas de gerúndio que ocorrem no mesmo contexto (adjunção adverbial) permitiram concluir que as estruturas com particípio do português se mostram mais defetivas (ocorrem sem conector, não há casos de negação própria e não há particípios presentes compostos) do que as gerundivas. No entanto, essa defetividade não parece dever-se à própria forma de particípio, pois foi possível encontrar particípios presentes como predicados principais.

Aspects of Passives in Capeverdean (Santiago’s variety)

The present dissertation intends to study passives in Capeverdean. I argue that Capeverdean have eventive passives with specific morphology, postverbal morphemes, -du and -da, which affix to the verb to form passives and interact with the TMA morphemes available in the language in the same way as in the active voice. I also show that Capeverdean only allows short passives. However, this study demonstrates that the by-phrase, although not expressed phonologically, is implicit and can be tracked through instrumentals and Agent-oriented adverbs. In order to account for this specific property of Capeverdean passives, I assume the existence of a Voice head which introduces the external argument in all finite sentences in Capeverdean, except in unaccusatives, following proposals from Marantz (1984), Kratzer (1996), Sailor & Ahn (2010), Pratas (2014). I also assume that this Voice head is subject to a Doubly Filled Comp Filter, similar to what is proposed in Koopman (1997), which determines that either heads or specifiers can be overt, never both. In the case of passives, I propose that external argument is in Spec,Voice and the passive morphology is lexicalized in Voice0 and that while Spec,Voice is silent, Voice0 is not. This configuration can be explained if it is assumed, following Costa & Martins (2004), that in Capeverdean passives Voice0 is a strong functional head, thus requiring visibility at PF. This restriction, combined with the Doubly Filled Comp filter, imposes that Spec,Voice is silent.

Análise configuracional dos grandes conjuntos urbanos na Região de Lisboa (1945-1974) : contributos da sintaxe espacial para a história de arte como história da cidade

A presente investigação debruça-se sobre o estudo dos grandes conjuntos urbanos, tendo como referência a área de Lisboa no período entre 1945 e 1974. O seu objetivo principal é compreender o padrão espacial e respetivas variantes destas formas urbanas relativamente recentes bem como avaliar o seu impato na estrutura global da cidade e da sociedade. Tomando como ponto de partida a história de arte como história da cidade, a tese toma como objeto o grande conjunto urbano e aponta a hipótese do estudo da relação forma-fundo como meio de obter informações relevantes que relacionem o uso e função com respeito ao desenho do espaço aberto. Como diferentes arranjos entre espaços abertos e fechados implicam tipos espaciais distintos (Medeiros 2013), o estudo da relação entre a forma (cheio) e o fundo (vazio) dos grandes conjuntos urbanos e respetivas variações, pode fornecer-nos informação espacial relevante, que nos permitem compreender melhor estas formas urbanas recentes. Usando a abordagem própria da teoria da sintaxe espacial (Hillier e Hanson 1984), do tipo configuracional, determinam-se as relações entre os vários elementos constituintes dos sistemas espaciais formados nestas urbanizações. Essas relações são depois analisadas através de medidas e variáveis topológicas que nos permitem identificar qualidades e valores espaciais para a sociedade. Os resultados obtidos a partir dessas variáveis e medidas permitem-nos, depois, avaliar os graus de ‘formalidade’ e ‘urbanidade’ em cada sistema (Holanda 2002). Consequentemente, a avaliação qualitativa das características espaciais que se pretendem obter nesta investigação, tem como base a avaliação quantitativa, permitindo assim comparar mais facilmente os diversos casos de estudo. De entre o conjunto de casos analisados, o estudo revela uma série de características comuns, que nos permitem identificar um padrão específico de urbanismo modernista que reflete claramente um conjunto de ideologias associadas a uma visão reformista da sociedade através do espaço. Mas por outro lado, existem também um conjunto de características particulares de cada caso, que reportam para a estrutura morfológica da cidade tradicional. No que reporta à hipótese de estudo levantada nesta investigação sobre a relação forma-fundo, verifica-se através da amostra que esta relação aparece invertida. Esta diferenciação deve-se ao abandono dos tradicionais sistemas de rua e de quarteirão, ainda presentes nas urbanizações de Alvalade e do Areeiro e a sua substituição pelo bloco livre em espaço aberto como nos casos de Alfragide, Portela e Olivais. Tal facto, como prova a teoria da Sintaxe Espacial ou Lógica Social do Espaço, traduziu-se necessariamente em diferentes modos de vida pública e privada e consequentemente de vida espacial e social. Assim concluímos, através da análise dos casos de estudo apresentados, que embora fazendo parte duma mesma ideologia urbana com características comuns (genótipo modernista), os mesmos apresentam resultados espaciais totalmente diferenciados o que justifica a dificuldade da sua análise comparativa.

BiYacc: Roll your parser and reflective printer into one

In: A. Cunha, E. Kindler (eds.): Proceedings of the Fourth International Workshop on Bidirectional Transformations (Bx 2015), L’Aquila, Italy, July 24, 2015, published at http://ceur-ws.org

Embedding, evolution, and validation of model-driven spreadsheets

This paper proposes and validates a model-driven software engineering technique for spreadsheets. The technique that we envision builds on the embedding of spreadsheet models under a widely used spreadsheet system. This means that we enable the creation and evolution of spreadsheet models under a spreadsheet system. More precisely, we embed ClassSheets, a visual language with a syntax similar to the one offered by common spreadsheets, that was created with the aim of specifying spreadsheets. Our embedding allows models and their conforming instances to be developed under the same environment. In practice, this convenient environment enhances evolution steps at the model level while the corresponding instance is automatically co-evolved.Finally,wehave designed and conducted an empirical study with human users in order to assess our technique in production environments. The results of this study are promising and suggest that productivity gains are realizable under our model-driven spreadsheet development setting.

A realização do sujeito em complementos infinitivos de verbos causativos e percetivos no português língua de herança

Dissertação de mestrado em Ciências da Linguagem