Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

O trabalho desenvolvido e composto, basicamente,de três partes. Inicialmente, descreve-se a linguagem de programação PASCAL, independentemente de qualquer implementação. A seguir e apresentado um estudo sobre a implementação de PASCAL para o computador B-6700 sendo discutidas, para cada etapa de desenvolvimento, diversas opções alternativas. Por fim,apresenta-se uma serie de sugestões para a realização de novos trabalhos sobre o assunto. / This work describes an implementation of the programming language PASCAL on the B6700 computers. PASCAL is a high language known by its powerful definition and manipulation of structured data types. The work is presented in three parts. The first one consists of a description of the language PASCAL. The second part discusses the PASCAL implementation on a B6700 computer. Finally, some extensions to this work are suggested.

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

Das Hauptziel dieser Arbeit ist es, einen Ansatz fur die parallele Komposition von Graph- Grammatiken und eine Unfolding-Semantik genannte Semantik fiir Graph-Grammatiken bereitzustcllen, in der die Aspekte Nebenlaufigkeit und Kompositionalitat bzgl. der parallelen Komposition eine zentrale Rolle einnehmen. Die parallele Komposition von Graph-Grammatiken erlaubt die Komposition von Grammatiken bzgl. eines gemeinsamen (moglicherweise leeren) Anteils und basiert auf der parallelen und amalgamierten Komposition von Regeln der komponierten Grammtiken. Dariiber hinaus ist das Kompositionsergebnis syntaktisch und semantisch in geeigneter Weise mit den komponierten Grammatiken verkniipft. Die Unfolding-Semantik einer Graph-Grammatik ist eine echt nebenldufige, verzweigende Semantik, in der sowohl Zustande (Graphen) als auch Zustandsanderungen (Ableitungen) reprasentiert sind. Das Unfolding kann inkrementell konstruiert werden und es wird gezeigt, daß dies das gleiche Result liefert wie die Verklebung der deterministischen Berechnungen einer Grammatik Dartiberhinaus ist das Unfolding einer Graph-Grammatik selbst eine Graph- Grammatik, die einer speziellen Klasse von Graph-Grammatiken angehOrt: den Occurrence- Grammatiken. Hier wird diese Klasse axiomatisch definiert und die Elemente dieser Klasse kOnnen als Grammatiken gesehen werden, die (deterministische und nicht-deterministische) Berechnungen einer anderen Grammatik reprdsentieren. Die Semantik einer Grammatik, die aus der parallelen Komposition anderer Grammatiken entstanden ist, ist isomorph zur Komposition der Semantiken der komponierten Grammatiken. Dieses Kompatibilitatsresultat verbindet die parallele Komposition und die Unfolding Semantik in enger Weise. Da der Zweck der parallelen Komposition die Komposition nebenldufiger Systeme ist, stellt die Kompatibiliat von Komposition und Nebenlaufigkeitssemantik ein attraktives Ergebnis dar. / The main aims of this thesis are to provide an approach to the parallel composition of graph grammars and a semantics for graph grammars, called the unfolding semantics, in which the aspects of concurrency and compositionality with respect to the parallel composition play a central role. The parallel composition of graph grammar allows the composition of grammars with respect to a shared part (that may be empty), and is based on parallel and amalgamated composition of the rules of the component grammars. Moreover, the result of the composition is suitably syntactically and semantically related to the component grammars. The unfolding semantics of a graph grammar is a true concurrent, branching structure semantics in which states (graphs) as well as changes of states (derivations) are represented. The unfolding can be constructed incrementally, and we show that this yields the same result as a construction based on gluing of the deterministic computations of a grammar. Moreover, the unfolding of a graph grammar is itself a graph grammar that belong to a special class of graph grammars: the occurrence graph grammars. Here this class is defined axiomatically, and the members of this class can be seen as grammars that represent (deterministic and non-deterministic) computations of another grammars. The semantics of a grammar obtained as the parallel composition of other grammars is isomorphic to the composition of the semantics of the component grammars. As the purpose of the parallel composition is to be a composition for concurrent and reactive systems, the fact that this composition is compatible with a true concurrency semantics is an attractive result.

Orientador: Arnaldo Vieira Moura / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-26T17:52:58Z (GMT). No. of bitstreams: 1 Bonifacio_AdilsonLuiz_M.pdf: 21453626 bytes, checksum: de7be74dafd77bc551c7395989d64b6f (MD5) Previous issue date: 2000 / Resumo: Sistemas distribuídos híbridos advêm da interconexão de sistemas de dinâmica contínua com sistemas de dinâmica discreta. A noção de autômatos híbridos oferece meios para a construção de especificações formais para tais sistemas. Autômatos híbridos são autômatos finitos, onde cada estado descreve um perfil dinâmico do sistema e cujas transições entre estados provocam alterações nestes perfis dinâmicos. Neste trabalho, alguns sistemas híbridos reais são modelados através de autômatos híbridos. Em seguida, os modelos construídos são verificados, usando-se das facilidades de uma ferramenta computacional. Além disso, alguns parâmetros importantes, que afetam o comportamento operacional dos modelos, têm seus valores sintetizados. Os sistemas alvo desse trabalho são segmentos de via de uma malha metroviária e um sistema de gerenciamento de tráfego aéreo. As verificações foram sempre conduzidas de maneira a garantir uma operação segura dos sistemas estudados. As sínteses realizadas contribuíram para determinar valores mais justos para os parâmetros operacionais enfocados, mantendo a segurança na operação dos sistemas alvo. / Abstract: Distributed hybrid systems result from the interplay of continuous and discrete dynamics systems. The notion of hybrid automata offers a way to formally specify such systems. A hybrid automaton is a finite state automaton, where each state is extended to contain a description for a system dynamie profile. Transitions between states model a change in the system dynamies. In this work, some real hybrid systems are modeled using the formalism of hybrid automata. Next, the models constructed are verified, using the support of a computational tool. Moreover, values are synthesized for some important parameters that affect the system operational behavior. The target systems treated here are segments of a subway mesh and an air traffice control system. The verification sessions aimed at certifying that the system operates safely. Results from the synthesis contributed to obtain tighter values for operational system parameters, while still guaranteeing its safe operation. / Mestrado / Mestre em Ciência da Computação

Este trabalho visa estabelecer uma análise comparativa das formas e métodos de embutimento de linguagens de manipulação de banco de dados em linguagens convencionais de programação a fim de que possa ser usada como ferramenta de auxílio ao desenvolvimento de futuros projetos nesta área. Este estudo procurou analisar as preocupações existentes no projeto do embutimento. Paralelamente foram abordadas alternativas para interface com um banco de dados, considerando os aspectos humanos envolvidos, a fim de que fosse possível extrair alguns parâmetros de comparação. Uma análise foi feita, sobre os S.G.B.D. mais expressivos em cada uma das abordagens de estruturação de dados, buscando fornecer os subsídios necessários à elaboração da comparação e classificação das características da linguagem de manipulação de dados, nas diversas formas de embutimento, a qual é considerada como objetivo principal desta dissertação. / This work intends to establish a comparative analysis of the forms and methods of embedding database manipulation languages in general purpose programming languages, so that it can be used as a tool to assist in the future development in this area. This study attempted to analyse the apprehensions that appears in embedding designs. Concomitantly, some other alternatives, considering the human factors envolved, were approached for interfacing with a database, in order to be able to obtain some parameters of comparison. It was done an analysis, about the most expressive D.B,M,S, for every approach of data modeling, trying to find a way to provide the necessary resources for the improvement of the comparison and classification of data manipulation languages features, in the various embedding forms,which is considered as the main purpose of this dissertation.

Este trabalho visa estabelecer uma análise comparativa das formas e métodos de embutimento de linguagens de manipulação de banco de dados em linguagens convencionais de programação a fim de que possa ser usada como ferramenta de auxílio ao desenvolvimento de futuros projetos nesta área. Este estudo procurou analisar as preocupações existentes no projeto do embutimento. Paralelamente foram abordadas alternativas para interface com um banco de dados, considerando os aspectos humanos envolvidos, a fim de que fosse possível extrair alguns parâmetros de comparação. Uma análise foi feita, sobre os S.G.B.D. mais expressivos em cada uma das abordagens de estruturação de dados, buscando fornecer os subsídios necessários à elaboração da comparação e classificação das características da linguagem de manipulação de dados, nas diversas formas de embutimento, a qual é considerada como objetivo principal desta dissertação. / This work intends to establish a comparative analysis of the forms and methods of embedding database manipulation languages in general purpose programming languages, so that it can be used as a tool to assist in the future development in this area. This study attempted to analyse the apprehensions that appears in embedding designs. Concomitantly, some other alternatives, considering the human factors envolved, were approached for interfacing with a database, in order to be able to obtain some parameters of comparison. It was done an analysis, about the most expressive D.B,M,S, for every approach of data modeling, trying to find a way to provide the necessary resources for the improvement of the comparison and classification of data manipulation languages features, in the various embedding forms,which is considered as the main purpose of this dissertation.

Este trabalho visa estabelecer uma análise comparativa das formas e métodos de embutimento de linguagens de manipulação de banco de dados em linguagens convencionais de programação a fim de que possa ser usada como ferramenta de auxílio ao desenvolvimento de futuros projetos nesta área. Este estudo procurou analisar as preocupações existentes no projeto do embutimento. Paralelamente foram abordadas alternativas para interface com um banco de dados, considerando os aspectos humanos envolvidos, a fim de que fosse possível extrair alguns parâmetros de comparação. Uma análise foi feita, sobre os S.G.B.D. mais expressivos em cada uma das abordagens de estruturação de dados, buscando fornecer os subsídios necessários à elaboração da comparação e classificação das características da linguagem de manipulação de dados, nas diversas formas de embutimento, a qual é considerada como objetivo principal desta dissertação. / This work intends to establish a comparative analysis of the forms and methods of embedding database manipulation languages in general purpose programming languages, so that it can be used as a tool to assist in the future development in this area. This study attempted to analyse the apprehensions that appears in embedding designs. Concomitantly, some other alternatives, considering the human factors envolved, were approached for interfacing with a database, in order to be able to obtain some parameters of comparison. It was done an analysis, about the most expressive D.B,M,S, for every approach of data modeling, trying to find a way to provide the necessary resources for the improvement of the comparison and classification of data manipulation languages features, in the various embedding forms,which is considered as the main purpose of this dissertation.

Made available in DSpace on 2013-08-07T18:43:31Z (GMT). No. of bitstreams: 1 000448316-Texto+Completo-0.pdf: 3103458 bytes, checksum: b271ba4f6806f788988fdb8c59e61efc (MD5) Previous issue date: 2013 / In recent years, much research and development effort has been directed towards the fields of ubiquitous computing and multi-agent systems. Further progress is needed for taking full advantage of such technologies in order to provide a degree of intelligence, flexibility, and abstraction in building ubiquitous applications. This work presents the design of a programming language for the development of ubiquitous multi-agent applications. The language aims to define ubiquitous concepts at the same level of abstraction as multi-agent systems concepts, where important ubiquity concepts such as locations and devices are first-class abstractions. The design of the language was based on FAML, a generic meta-model for MAS development, and also draws upon some of the fundamental features of agent-oriented programming languages. / Nos últimos anos muitos esforços em pesquisas e desenvolvimento tem sido direcionados para a área de computação ubíqua e sistemas multiagentes (SMAs). O avanço nessas áreas é necessário para obter vantagem na utilização de suas tecnologias a fim de prover inteligência, flexibilidade e novas abstrações na construção de aplicações ubíquas. Nesse contexto é onde a inteligência artificial e as técnicas de sistemas multiagentes desempenharão um papel importante. Este trabalho apresenta a construção de uma linguagem de programação para aplicações multiagentes ubíquas. A linguagem define conceitos de ubiquidade no mesmo nível de abstração dos conceitos de sistemas multiagentes, onde conceitos importantes de ubiquidade como localização e dispositivos são abstrações de primeira ordem. O projeto da linguagem baseia-se no metamodelo FAML, um metamodelo genérico para o desenvolvimento de SMAs, e também em funcionalidades essenciais de linguagens de programação orientadas a agentes.

O trabalho descreve a implementação do Sistema Pascal Concorrente de Brinch Hansen no minicomputador LABO-B034 (Nixdorf B870/1). O sistema e composto por Bois compiladores - um para Pascal Concorrente a outro Para Pascal Seqüencial - o um sistema operacional básico, mono-usuário, clue Paden' ser usados Para desenvolvimento de outros sistemas operacionais, em linguagem de alto nível. 0 trabalho de implementação inclui o estudo do sistema de Brinch Hansen, a criação de dois programas em Assembler do LABO-8034 - um "kernel", clue executa as funções básicas do sistema, e um interpretador para o código virtual morado pelos compitadores - e a definição a inicialização de um disco com o sistema. / The implementation of the Brinch Hansen's Concurrent Pascal System on the LABO-8034 computer (Nixdorf 8870/1) is described. The system comprises two compilers - the Concurrent Pascal compiler and the Sequential Pascal compiler - and a basic operating system, single user oriented, suitable for the development of operating systems using a high level language (Pascal). The work includes the understanding of the Brinch Hansen's system, the development of two assembly programs - a kernel that executes the basic functions of operating systems and an interpreter for the virtual code generated by the Pascal compilers - and also the definition and generatic of the system.