Context. Automation of conversion of business rules into source code in software development project can reduce time and effort in phase of development. In this thesis we discuss automatic conversion of behavioral business rules defined in Semantics of Business Vocabulary and Rules (SBVR) standard, to fragments of Unified Modeling Language diagrams: activity, sequence and state machine. It is conversion from Computation Independent Model (CIM) into Platform Independent Model (PIM) levels defined by Model Driven Architecture (MDA). PIM in MDA can be further transformed into Platform Specific Model which is prepared for source code generation. Objectives. Aim of this thesis is to initially explore field of automatic conversion of behavioral business rules - conversion from SBVR representation to fragments of UML diagrams. It is done by fulfilment of objectives defined as following: -To find out properties of SBVR behavioral rule which ensure that the rule can be automatically converted to parts of UML behavioral diagrams (activity, sequence, state machine). -To propose mapping of SBVR contructs to constructs of UML behavioral diagrams. -To prepare guidelines which help to specify SBVR behavioral business rules in such way that they can be automatically transformed into fragments of selected UML behavioral diagrams. Methods. Expert opinion and case study were applied. Business analysts from industry and academia were asked to convert set of SBVR behavioral business rules to UML behavioral diagrams: activity, sequence and state machine. Analysis of the set of business rules and their conversions to UML diagrams was basis for fulfilment of objectives. Results. 2 syntax and 3 semantic properties were defined. Conversion rules which define mapping for SBVR behavioral business rules constructs to UML constructs were defined: 5 rules for conversion to activity diagram, 6 for conversion to sequence diagram, 5 for conversion to state machine diagram. 6 guidelines which are intended to help in specification of behavioral business rules that can be automatically transformed into UML diagrams according to the presented conversion rules, were defined. Conclusions. Research performed in this thesis is initial study of automatic conversion of behavioral business rules from SBVR notation to UML behavioral diagrams notation. Validation of defined properties, conversion rules and guidelines can be done in industry as future work. Re-execution of research for larger and more diverse set/sets of behavioral business rules taken from industry projects, sufficiently broad access to business analysts from industry and academia could help to improve results.

Reverse Engineering of software is a complex task. It is supported by various analyses and the computation of certain software quality metrics. To get an overview of the structure of the analysed software it is often necessary to visualize the relations between different components of software. The VizzAnalyzer tool was developed for these purposes and allows visualizing the internal structure of software systems as UML2.0 class diagrams. The existing Eclipse-based visualization plug-in does not allow to automatically lay out the computed graph. Applying the layout manually is not feasible for larger graphs. A proper layout is needed to understand the provided information intuitively and the usefulness of the visualization is, on top of that, strongly connected to its layout. In this thesis, we first state requirements for the development and implementation process of a suitable layout algorithm. We further describe the development, design, and implementation of the Sugiyama layout algorithm into the existing Eclipse-based visualization plug-in. We add these new functionalities to be able to automatically compute a layout for given UML2.0 class diagrams achieving a proper Sugiyama layout for this type of diagrams. At the end of this thesis, we compare the results achieved by the implemented algorithm with the results achieved by yEd given the same diagrams as input.

In this thesis, a 3D approach to visualize software metrics is presented. Software metrics are attributes of a piece of software or its specification. They generally contain a set of multivariate time-series data and can be displayed, for example, as a Kiviat diagram consisting of axes and polylines. The aim of this work is to design a Win32 application that can load multivariate time-series data from a file and visualize it as an interactive 3D Kiviat diagram. There has been an approach that can display software metrics by using 2D Kiviat diagrams, but there are still some drawbacks on it. Since a better visualization of software metrics can help the developer to control the quality of software products more easily, this thesis improved the existing approach by extending 2D Kiviat diagram to 3D Kiviat diagram.

Esta tese procura demonstrar uma combinação de procedimentos concatenados para a realização de um projeto de arquitetura, adotando como suporte um conjunto residencial para idosos, que compreende particularidades comportamentais do usuário escolhido, caminhos da concepção arquitetônica e sua inserção na cidade. Esse conjunto de procedimentos é constituído da produção de conhecimento a partir de análises de dados secundários relativos às atividades, à ergonomia, à saúde, ao comportamento e à psicologia de idosos, com o objetivo de definir sistemas de melhores ambientes para uma situação específica de pessoas, recursos e lugar/infraestrutura, mobilizados pela arte de construir. Resultado do trabalho como professora na área de projeto arquitetônico, esta tese apresenta o produto das considerações sobre o processo que envolve desde o conhecimento das premissas e restrições inerentes a um projeto específico, assim como seu desenvolvimento e conclusão preliminar. Não pretende apresentar um resultado final detalhado, já que o foco é o caminho nessa busca. O idoso como público alvo foi escolhido não como questão central, mas pelo interesse acadêmico em desenvolver projeto especializado demonstrado através do método do varal, instrumento facilitador na busca de resultados aplicáveis especialmente a temas complexos e novos, como esse. Seu interesse reside na demonstração do método e sua aplicação no ensino de projeto, pois sem o rigor da construção, não há forma que se defenda. / This thesis try to demonstrate a combination of procedures joined to realize an architecture project, adopting like support a residential assemblage to elderly people, including behavior specificities of the chosen user, ways of the architectonic conception and its insertion in the city. This group of procedures is formed by the knowledge production from analysis on the secondary basis relatives to the activities, ergonomics, health, behavior and elderly people psychology, with the propose of to determine systems of better environment to a specific situation of persons, recourses and local/substructure, mobilized by the art of construct. Result of the teachers work in the architectonic project area, this thesis presents the product of the considerations about the process that involve from the knowledge of the premises and restrictions inherent to a specific project, as its development and preliminary conclusion. It dont intends to present a detailed final result, since the focus is the way against this inquiry. The elderly people like target was chosen none like a central question, but because the academic profit to develop specialized project demonstrated throughout the clothes line method, instrument that make easy this investigation of applicable results specially to complex and new themes, like this. Its benefit stay at the demonstration of the method and its application in the project teaching, because without the strictness of the construction, there isnt form that has defense.

Vias biológicas representam interações entre entidades químicas complexas (proteínas, substratos, metabólitos etc.) que ocorrem no nível molecular das células. A representação e compreensão do comportamento destas vias é o principal alvo de estudos da Biologia Sistêmica. Esta área de estudos envolve a construção de modelos matemáticos que possam simular in silico (computacionalmente) o comportamento destes sistemas biológicos verificados in vivo (experimentalmente). Do ponto de vista computacional é evidente que tais sistemas são complexos para abordar e descrever de modo intuitivo. São necessários modelos com valor preditivo, isto é, que permitam descrever os comportamentos do sistema que são experimentalmente verificáveis. Algumas notações gráficas foram propostas para descrever vias biológicas. Entre elas, os diagramas de processos tem sido amplamente utilizados. Um diagrama de processos é essencialmente um grafo no qual vértices e arestas representam componentes biológicos, e há uma notação gráfica associada com cada elemento. Nesta dissertação propomos uma fundamentação formal para a linguagem dos diagramas de processos definindo a sintaxe usando gramática de grafos. Nós definimos primeiramente um grafo chamado BioProc, descrevendo o meta-modelo dos diagramas de processos. Instâncias do grafo BioProc são portanto diagramas de processos modelando vias biológicas. Para descrever a semântica foi proposta uma tradução algébrica dos grafos BioProc para redes de Petri estocásticas generalizadas (GSPNs) já amplamente utilizadas na modelagem de processos biológicos. O uso de gramática de grafos como formalismo intermediário na tradução habilita a verificação sintática da via com a checagem dos tipos válidos que podem ser definidos para cada reação antes da simulação na rede de Petri e usá-las posteriormente para explorar propriedades estruturais e estocásticas do modelo. Além disso serve como base para a evolução do modelo proposto. Isto é relevante já que modelos frequentemente são construídos incrementalmente para se adaptar a novos requisitos e/ou incluir novas características. / Biological pathways represent interactions between complex chemical entities (proteins, substrates, metabolites, etc.) that occur at the molecular level of cells. The representation and comprehension of biological pathways behavior is the main target of research in the field of Systems Biology. This area investigates the construction of mathematical models that can simulate in silico (computationally) the behavior of biological systems checked in vivo (experimentally). From a computational view point it is clear that such systems are too complex to analyze and describe in an intuitiveway. Models with predictive value are needed, describing the behaviors that are experimentally verifiable. There are some graphical notations to describe biological pathways. Among them, process diagrams have been widely used. A process diagram is essentially a graph in which vertices and edges represent biological components, and there is a graphical notation associated with each element. In this master thesis we give a formal foundation for biological process diagrams, by defining their (concrete and abstract) syntax and semantics using a formalism called graph grammars. We first build a graph called BioProc Graph, describing the meta-model of process diagrams. Instances of this BioProc graph are concrete process diagrams modeling biological pathways. To describe the semantics we proposed a translation of BioProc diagrams to generalized stochastic Petri networks (GSPNs) already widely used in modeling biological processes. The use of graph grammar formalism as a basis for translation enables the syntatic verification to check the valid types that can be defined for each reaction after the simulation of Petri net and before that to explore structural and stochastic properties of the model. In addition it serves as the basis for model evolution proposed. This is relevant because models are often built incrementally to adapt to new requirements and/or include new features.

Neste trabalho apresentamos uma investigação desenvolvida ao longo de três anos em cursos introdutórios de Física da Universidade Federal do Rio Grande. O objetivo foi minimizar a dicotomia observada entre teoria e laboratório. A estratégia de ensino utilizada nas disciplinas de Física Geral para Engenharia fez uso do Vê de Gowin, um dispositivo heurístico capaz de explicitar como se dá o processo de produção do conhecimento científico. A construção de diagramas Vê foi utilizada para auxiliar na compreensão de textos nas aulas teóricas e como alternativa aos tradicionais relatórios nas aulas experimentais. A professora também fez uso dos Vês para organizar o ensino, em especial das aulas de laboratório. Alicerçados na teoria da aprendizagem significativa de Ausubel e Novak e nas teorias de ensino de Gowin e Moreira, e fundamentados em algumas idéias-chave de epistemólogos e filósofos da ciência contemporâneos, procuramos estimular uma integração entre teoria e experimentação, buscando contribuir para uma compreensão mais efetiva dos conceitos físicos e das concepções epistemológicas veiculadas nas aulas de Física. Na pesquisa, optamos por uma metodologia interpretativa, de imersão, mas também fizemos uso de vários dados quantitativos, procurando indícios da validade da estratégia. Os resultados mostraram que a eficácia do instrumento, para promover a desejada integração, depende da atuação decidida do professor. Indicaram também que as concepções dos estudantes sobre a ciência, o cientista e o modo como se dá a construção do conhecimento, ensinadas muitas vezes de forma implícita em aula, são persistentes e capazes de interferir na aprendizagem de teorias físicas. / In this paper, we presents a research carried out over three years in Physics introductory courses at Federal University of Rio Grande. The aim of the present study was to minimize the observed dichotomy between theory and lab. The teaching strategy in General Physics disciplines for Engineering has made use of Gowin's Vee, a heuristic device able to explain the process of scientific knowledge production. The construction of Vee diagrams was used to assist understanding of texts in theory classes and as an alternative to traditional reports in the experimental classes. The teacher also made use of it to organize the education, especially for laboratory classes. We based our work on the theory of Ausubel and Novak's meaningful learning and on Gowin and Moreira's theories of teaching and we also grounded it on some key ideas of contemporary epistemology and philosophy of science. We want to promote theory-experiment integration, seeking to contribute to a more effective comprehension of physical concepts and epistemological conceptions expressed in Physics classes. In research, we opted for an interpretative methodology, but we also made use of several quantitative data, looking for evidence of strategy's validity. The results showed that the effectiveness of the instrument performance to promote the desired integration depends on the teacher's decisive role. They also indicated that the students conceptions about science, the scientist and how the knowledge construction is made, that are taught many times implicitly in class, are persistent and can interfere in the physical theories learning.

Orientador: Lucila Helena Deliesposte Cescato / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin / Made available in DSpace on 2018-08-07T11:04:51Z (GMT). No. of bitstreams: 1 Quinonez_FabiolaAzanha_M.pdf: 3774661 bytes, checksum: 43303e872404bf21c83ed4ea86d8befe (MD5) Previous issue date: 2006 / Resumo: Nesta tese foi utilizado um programa baseado em elementos finitos para projetar cristais fotônicos bidimensionais, assim como foram desenvolvidos processos de litografia holográfica para gravação destas estruturas fotônicas em filmes de carbono amorfo hidrogenado, depositados sobre substratos de vidro. O projeto dos parâmetros geométricos das estruturas que apresentam um gap fotônico, numa dada região de interesse do espectro óptico, foi feito através do cálculo dos diagramas de bandas das estruturas, levando-se em consideração as dimensões e formas que possam ser fabricadas utilizando a técnica de litografia holográfica. Para gravação dos cristais fotônicos bidimensionais, com simetrias cúbica e hexagonal, foi utilizada a técnica de superposições sucessivas de padrões, gerados pela interferência de duas ondas planas (exposições holográficas), associadas à litografia do filme de carbono por plasma reativo (RIE ¿ Reactive Ion Etching) / Abstract: In this thesis, we employed a software based on finite element method to design two-dimensional photonic crystals, as well as we developed a holographic lithography process to record these photonic structures in amorphous carbon films, coated on glass substrates. In order to present a photonic band gap in a desired region of the optical spectrum, the geometrical parameters of the structures were defined by analyzing the calculated band diagram of the structures. Such definition takes into account the dimensions and forms of the structures that can be fabricated using techniques of holographic lithography. To record the two-dimensional photonic crystals, with cubic and hexagonal symmetries, we used the technique of successive superimposition of fringe patterns. The patterns were generated by the interference of two plane waves (holographic exposures), associated to the lithography of the carbon film by reactive ion etching / Mestrado / Propriedades òticas e Espectroscopia da Matéria Condensada ; Outras Inter. da Mat. Com Rad. e Part / Mestre em Física

Made available in DSpace on 2014-10-09T12:24:21Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:04:27Z (GMT). No. of bitstreams: 1 00404.pdf: 1111146 bytes, checksum: f2492669cbf68883695a8c4243057513 (MD5) / Dissertacao (Mestrado) / IEA/D / Instituto de Fisica, Universidade de Sao Paulo - IF/USP

Made available in DSpace on 2014-10-09T12:54:39Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:07:19Z (GMT). No. of bitstreams: 0 / Realizou-se, neste trabalho, uma investigação do sistema binário BaF2-YF3 com o objetivo de esclarecer o comportamento térmico e os equilíbrios de fase em torno do composto BaY2F8, um requisito importante para a obtenção de cristais de alta qualidade. Diversas amostras mistas de composições entre 58 e 80 mol% YF3 foram sintetizadas mediante fusão sob atmosfera reativa; os fluoretos de partida foram obtidos através da hidrofluorinação de óxido de ítrio e de carbonato de bário de alta pureza. Empregou-se análise térmica diferencial, calorimetria exploratória diferencial, termogravimetria, difração de raios-X, microscopia eletrônica de varredura e espectroscopia de energia dispersiva para caracterizar as amostras. Experiências de crescimento de cristais pelo método da fusão por zona também foram realizadas para examinar o diagrama de fases do sistema. Devido à grande vulnerabilidade do YF3 à contaminação por oxigênio e do problema da sobreposição dos eventos térmicos que ocorrem próximos à fusão do BaY2F8, antes de ser possível investigar o sistema em si através de análise térmica foi necessário determinar as condições ótimas para os ensaios com estas técnicas. O método de Rietveld foi empregado para determinação quantitativa das fases presentes nas amostras a partir dos difratogramas correspondentes, e para o cálculo dos parâmetros de rede do BaY2F8. Foram observadas importantes discrepâncias entre os resultados obtidos através das várias técnicas de caracterização e os diagramas de fase encontrados na literatura: foram detectadas diferenças nas temperaturas de transições de fase e encontrou-se evidências de que o BaY2F8 funde incongruentemente. Com base nestes resultados, propôs-se um diagrama de fases parcial do sistema que engloba a faixa de composições estudada no trabalho e que leva em consideração as discrepâncias observadas. / Dissertação (Mestrado) / IPEN/D / Instituto de Pesquisas Energéticas e Nucleares - IPEN/CNEN-SP

Made available in DSpace on 2014-10-09T12:37:14Z (GMT). No. of bitstreams: 0 / Made available in DSpace on 2014-10-09T14:09:04Z (GMT). No. of bitstreams: 1 04781.pdf: 2513582 bytes, checksum: deec2ac276c1193eea3fa53a882df8ed (MD5) / Tese (Doutoramento) / IPEN/T / Instituto de Pesquisas Energeticas e Nucleares - IPEN/CNEN-SP