Há um grande numero de aplicações que necessitam manipular documentos. Tal manipulação exige uma gerência dos mesmos nas tarefas de criação, armazenamento, recuperação e transmissão. Estas tarefas devem levar em conta características e aspectos inerentes aos documentos tais como estrutura lógica, estrutura de apresentação e hiperestrutura formada pelas referências internas e externas existentes nos documentos envolvidos. A multimídia estabelece novos requisitos para os sistemas de gerência de documentos estruturados. Gráficos, sons, e imagens contêm informações que enriquecem o conteúdo textual tradicional dos documentos, podendo ser potencialmente explorados pelos usuários em um processo de formulação de consultas e busca de documentos. A complexidade das aplicações que manipulam documentos estruturados e do tipo multimídia exige o apoio de modelos capazes de expressar características semanticamente mais ricas. Desta forma, tais modelos devem permitir modelar as seguintes estruturas: lógica, de apresentação e hiperestrutura. A adoção de um modelo conceitual de documentos é fator determinante nas possibilidades oferecidas para consultas e recuperação dos referidos documentos. Para a especificação e definição de tal modelo, foram consideradas duas possibilidades: i) utilização dos sistemas de hipertextos, nos quais a ênfase é fornecer um corpo estruturado de objetos com ligações conectando objetos relacionados. Aqui, a estrutura está projetada especificamente para auxiliar aos leitores a navegar através da informação, ii) uso do padrão de documentos eletrônicos ODA/ODIF, o qual dá ênfase à composição e controle da forma dos documentos, preocupando-se, também, com a divisão layout-estrutura-conteúdo dos mesmos, mas faltando nele um tratamento específico em relação às características hipertextuais. Neste trabalho se considera que a integração destas duas filosofias permitirá, de uma maneira natural, a modelagem de Documentos Estruturados Multimídia. As pesquisas e propostas para combinar estas duas opções foram escassas no passado e se desconhecem trabalhos deste tipo visando a Gerência de Documentos Estruturados Multimídia. Como resultado desta integração, no presente trabalho é definido e especificado o meta-modelo OHypA (Office HyperDocument Architecture), que pode ser considerado como uma extensão do padrão ODA/ODIF. Tal meta-modelo terá uma aplicação real e prática pela combinação da tecnologia de hipermídia e a representação de documentos do tipo ODA. Assim sendo, uma vez que o presente trabalho trata a modelagem de Documentos Estruturados Multimídia , envolvendo as áreas definidas, ele permitirá o estudo e delineamento de possíveis soluções para problemas comuns resultantes da integração das referidas áreas. Finalmente, serão integrados dois enfoques em pleno desenvolvimento, resultando num meta-modelo orientado a objetos, que será facilmente integrado a um Sistema de Banco de Dados Orientado a Objetos. / There it a great number of applications that need a document manipulation. Such manipulation demands a management of these documents on tasks like creation, storage, recovery and transmission. Such tasks should consider marks and aspects inherent on documents such as logical structure, presentation structure and hyperstructure, shaped by internal and external references existent in the documents involved. Multimedia establishes new requirements for management systems of structured documents. Graphics, sounds and images contain informations which increase the traditional textual content from the documents that might be potentially explored by user in a process of formulation- queries and search for documents. The complexity of the applications that manipulate structured documents and the kind of multimedia, demands support from models which are able to express characteristics semanually ricer. This way, such models must allow the modeling of the following structures: luzical, presentation and hyperstructure. The adoption of a respected model of documents is a main factor on the offered possibilities for queries and recovering of the reported documents. For spt-Afication and definition of such model, two possibilities were considered: i) utilization of hypertexts systems, in which the emphasis is to provide a structured body of objets connecting other objects related. Here, the structure is designed specificity to help re.ers to navigate through the information, ii) application of the electronic documents model ODA/ODIF, which emphasizes the composition and control of the documents shape, worries also about its sharing of layout-structure-content, but lacks an specific treatment in relation to hypertextual characteristics. This work considers that the integration of these two philosophies will allow, in a natural way, the modeling of multimedia structured documents. The researches and proposals to connect these two options used to be rare in the past. Besides, works that emphasizes the Management of Multimedia Structured Documents are unknown. As a result of such integration, this work describes precisely the OHypA metamodel (Office HyperDocument Architecture) which might be consider as an extension of the ODA/ODIF model. This metamodel will have a real and practical application with the connection of hypermedia technology and the representation of ODA documents. This way, since this work is about the modeling of Mul timedia Structured Documents, covering the described areas, it'll allows the study and outline of possible solutions to common problems that come from the integration of such areas. Finally, two topics in development will be integrated, resulting in a objectoriented metamodel, that should be easily integrated in a Object-Oriented Data Base System.

Há um grande numero de aplicações que necessitam manipular documentos. Tal manipulação exige uma gerência dos mesmos nas tarefas de criação, armazenamento, recuperação e transmissão. Estas tarefas devem levar em conta características e aspectos inerentes aos documentos tais como estrutura lógica, estrutura de apresentação e hiperestrutura formada pelas referências internas e externas existentes nos documentos envolvidos. A multimídia estabelece novos requisitos para os sistemas de gerência de documentos estruturados. Gráficos, sons, e imagens contêm informações que enriquecem o conteúdo textual tradicional dos documentos, podendo ser potencialmente explorados pelos usuários em um processo de formulação de consultas e busca de documentos. A complexidade das aplicações que manipulam documentos estruturados e do tipo multimídia exige o apoio de modelos capazes de expressar características semanticamente mais ricas. Desta forma, tais modelos devem permitir modelar as seguintes estruturas: lógica, de apresentação e hiperestrutura. A adoção de um modelo conceitual de documentos é fator determinante nas possibilidades oferecidas para consultas e recuperação dos referidos documentos. Para a especificação e definição de tal modelo, foram consideradas duas possibilidades: i) utilização dos sistemas de hipertextos, nos quais a ênfase é fornecer um corpo estruturado de objetos com ligações conectando objetos relacionados. Aqui, a estrutura está projetada especificamente para auxiliar aos leitores a navegar através da informação, ii) uso do padrão de documentos eletrônicos ODA/ODIF, o qual dá ênfase à composição e controle da forma dos documentos, preocupando-se, também, com a divisão layout-estrutura-conteúdo dos mesmos, mas faltando nele um tratamento específico em relação às características hipertextuais. Neste trabalho se considera que a integração destas duas filosofias permitirá, de uma maneira natural, a modelagem de Documentos Estruturados Multimídia. As pesquisas e propostas para combinar estas duas opções foram escassas no passado e se desconhecem trabalhos deste tipo visando a Gerência de Documentos Estruturados Multimídia. Como resultado desta integração, no presente trabalho é definido e especificado o meta-modelo OHypA (Office HyperDocument Architecture), que pode ser considerado como uma extensão do padrão ODA/ODIF. Tal meta-modelo terá uma aplicação real e prática pela combinação da tecnologia de hipermídia e a representação de documentos do tipo ODA. Assim sendo, uma vez que o presente trabalho trata a modelagem de Documentos Estruturados Multimídia , envolvendo as áreas definidas, ele permitirá o estudo e delineamento de possíveis soluções para problemas comuns resultantes da integração das referidas áreas. Finalmente, serão integrados dois enfoques em pleno desenvolvimento, resultando num meta-modelo orientado a objetos, que será facilmente integrado a um Sistema de Banco de Dados Orientado a Objetos. / There it a great number of applications that need a document manipulation. Such manipulation demands a management of these documents on tasks like creation, storage, recovery and transmission. Such tasks should consider marks and aspects inherent on documents such as logical structure, presentation structure and hyperstructure, shaped by internal and external references existent in the documents involved. Multimedia establishes new requirements for management systems of structured documents. Graphics, sounds and images contain informations which increase the traditional textual content from the documents that might be potentially explored by user in a process of formulation- queries and search for documents. The complexity of the applications that manipulate structured documents and the kind of multimedia, demands support from models which are able to express characteristics semanually ricer. This way, such models must allow the modeling of the following structures: luzical, presentation and hyperstructure. The adoption of a respected model of documents is a main factor on the offered possibilities for queries and recovering of the reported documents. For spt-Afication and definition of such model, two possibilities were considered: i) utilization of hypertexts systems, in which the emphasis is to provide a structured body of objets connecting other objects related. Here, the structure is designed specificity to help re.ers to navigate through the information, ii) application of the electronic documents model ODA/ODIF, which emphasizes the composition and control of the documents shape, worries also about its sharing of layout-structure-content, but lacks an specific treatment in relation to hypertextual characteristics. This work considers that the integration of these two philosophies will allow, in a natural way, the modeling of multimedia structured documents. The researches and proposals to connect these two options used to be rare in the past. Besides, works that emphasizes the Management of Multimedia Structured Documents are unknown. As a result of such integration, this work describes precisely the OHypA metamodel (Office HyperDocument Architecture) which might be consider as an extension of the ODA/ODIF model. This metamodel will have a real and practical application with the connection of hypermedia technology and the representation of ODA documents. This way, since this work is about the modeling of Mul timedia Structured Documents, covering the described areas, it'll allows the study and outline of possible solutions to common problems that come from the integration of such areas. Finally, two topics in development will be integrated, resulting in a objectoriented metamodel, that should be easily integrated in a Object-Oriented Data Base System.

Há um grande numero de aplicações que necessitam manipular documentos. Tal manipulação exige uma gerência dos mesmos nas tarefas de criação, armazenamento, recuperação e transmissão. Estas tarefas devem levar em conta características e aspectos inerentes aos documentos tais como estrutura lógica, estrutura de apresentação e hiperestrutura formada pelas referências internas e externas existentes nos documentos envolvidos. A multimídia estabelece novos requisitos para os sistemas de gerência de documentos estruturados. Gráficos, sons, e imagens contêm informações que enriquecem o conteúdo textual tradicional dos documentos, podendo ser potencialmente explorados pelos usuários em um processo de formulação de consultas e busca de documentos. A complexidade das aplicações que manipulam documentos estruturados e do tipo multimídia exige o apoio de modelos capazes de expressar características semanticamente mais ricas. Desta forma, tais modelos devem permitir modelar as seguintes estruturas: lógica, de apresentação e hiperestrutura. A adoção de um modelo conceitual de documentos é fator determinante nas possibilidades oferecidas para consultas e recuperação dos referidos documentos. Para a especificação e definição de tal modelo, foram consideradas duas possibilidades: i) utilização dos sistemas de hipertextos, nos quais a ênfase é fornecer um corpo estruturado de objetos com ligações conectando objetos relacionados. Aqui, a estrutura está projetada especificamente para auxiliar aos leitores a navegar através da informação, ii) uso do padrão de documentos eletrônicos ODA/ODIF, o qual dá ênfase à composição e controle da forma dos documentos, preocupando-se, também, com a divisão layout-estrutura-conteúdo dos mesmos, mas faltando nele um tratamento específico em relação às características hipertextuais. Neste trabalho se considera que a integração destas duas filosofias permitirá, de uma maneira natural, a modelagem de Documentos Estruturados Multimídia. As pesquisas e propostas para combinar estas duas opções foram escassas no passado e se desconhecem trabalhos deste tipo visando a Gerência de Documentos Estruturados Multimídia. Como resultado desta integração, no presente trabalho é definido e especificado o meta-modelo OHypA (Office HyperDocument Architecture), que pode ser considerado como uma extensão do padrão ODA/ODIF. Tal meta-modelo terá uma aplicação real e prática pela combinação da tecnologia de hipermídia e a representação de documentos do tipo ODA. Assim sendo, uma vez que o presente trabalho trata a modelagem de Documentos Estruturados Multimídia , envolvendo as áreas definidas, ele permitirá o estudo e delineamento de possíveis soluções para problemas comuns resultantes da integração das referidas áreas. Finalmente, serão integrados dois enfoques em pleno desenvolvimento, resultando num meta-modelo orientado a objetos, que será facilmente integrado a um Sistema de Banco de Dados Orientado a Objetos. / There it a great number of applications that need a document manipulation. Such manipulation demands a management of these documents on tasks like creation, storage, recovery and transmission. Such tasks should consider marks and aspects inherent on documents such as logical structure, presentation structure and hyperstructure, shaped by internal and external references existent in the documents involved. Multimedia establishes new requirements for management systems of structured documents. Graphics, sounds and images contain informations which increase the traditional textual content from the documents that might be potentially explored by user in a process of formulation- queries and search for documents. The complexity of the applications that manipulate structured documents and the kind of multimedia, demands support from models which are able to express characteristics semanually ricer. This way, such models must allow the modeling of the following structures: luzical, presentation and hyperstructure. The adoption of a respected model of documents is a main factor on the offered possibilities for queries and recovering of the reported documents. For spt-Afication and definition of such model, two possibilities were considered: i) utilization of hypertexts systems, in which the emphasis is to provide a structured body of objets connecting other objects related. Here, the structure is designed specificity to help re.ers to navigate through the information, ii) application of the electronic documents model ODA/ODIF, which emphasizes the composition and control of the documents shape, worries also about its sharing of layout-structure-content, but lacks an specific treatment in relation to hypertextual characteristics. This work considers that the integration of these two philosophies will allow, in a natural way, the modeling of multimedia structured documents. The researches and proposals to connect these two options used to be rare in the past. Besides, works that emphasizes the Management of Multimedia Structured Documents are unknown. As a result of such integration, this work describes precisely the OHypA metamodel (Office HyperDocument Architecture) which might be consider as an extension of the ODA/ODIF model. This metamodel will have a real and practical application with the connection of hypermedia technology and the representation of ODA documents. This way, since this work is about the modeling of Mul timedia Structured Documents, covering the described areas, it'll allows the study and outline of possible solutions to common problems that come from the integration of such areas. Finally, two topics in development will be integrated, resulting in a objectoriented metamodel, that should be easily integrated in a Object-Oriented Data Base System.

A utilização de modelos orientados a objetos na especificação de sistemas de informação promove mudanças radicais na maneira como estes são analisados, projetados e implementados. No entanto, certos aspectos relacionados evolução dinâmica do comportamento e dos valores das propriedades dos objetos não são plenamente satisfeitos através destes modelos. TF-ORM introduz novos conceitos, estendendo o modelo de orientação a objetos a fim de suportá-los. Advindo do modelo de objetos com papeis (ORM), TF-ORM divide o comportamento dos objetos nos diversos papeis que estes podem desempenhar. São introduzidos conceitos para modelagem dos aspectos tempo-dependentes das aplicações, incluindo utilização de marcas de tempo associadas aos objetos e instancias de papeis, e aos valores das propriedades com variação dinâmica, bem como a definidas de domínios temporais e uma linguagem de lógica temporal. TF-ORM permite a definição de restrições sobre o comportamento dinâmico das instâncias, através de regras de transição de estado, e sobre os valores das propriedades, através de regras de restrição de integridade. Uma abordagem de implementação TF-ORM deve levar em consideração o conjunto destes aspectos, em especial: (i) suporte ao conceito de papeis, permitindo a criação de instâncias multiples e paralelas; (ii) suporte aos conceitos tempo-dependentes, incluindo a definição de timestamps e domínios de dados temporais; e (iii) suporte ao mecanismo de regras de transição de estado e regras de integridade. Este trabalho apresenta um estudo para implementação do modelo TFORM sobre o sistema de gerencia de banco de dados orientado a objetos 02, o qual suporta plenamente os conceitos do modelo de orientação a objetos e os conceitos básicos de bancos de dados de segunda geração. Dentro deste estudo são analisadas as possibilidades de mapeamento do modelo de objetos com papeis para o modelo tradicional de orientação a objetos. Da mesma forma, requisitos para implementação de aspectos temporais são analisados. O modelo de regras TF-ORM. baseado no estudo de diversos modelos de implementação, e mapeado para um modelo de regras E-C-A (evento-condicaoacao), as quais permitem a transformação do 02 em um sistema de bancos de dados ativo, capaz de responder a estímulos não diretamente ligados a requisições de usuários. A abordagem de implementação apresentada permite a especificação de grande parte da funcionalidade do modelo TF-ORM. A fim de certificar sua correção, e proposta uma ferramenta de tradução e desenvolvido um estudo de caso utilizando notação gráfica para especificação de requisitos TF-ORM. / The information systems' requirements specification model TF-ORM extends the object-oriented model, splitting the object behavior in different roles that it can perform. In addition, introduces the support to dynamic properties, temporal domains, state transition rules, and constraints. This work presents a TF-ORM implementation approach to the object-oriented database management system 02. The use of object-oriented models in information systems" specification radically changes the manner in which this systems are analyzed. designed, and implemented. However, some aspects related to dynamic behavior and property value evolution are not fully satisfied through these models. TF-ORM introduces a set of new concepts, extending object-oriented model to support these aspects. Originated in the object with roles model (ORM), TF-ORM divides the objects behavior in the different roles that it can perform. Are introduced concepts to model time-dependent aspects, including timestamps associated to objects and roles instances. and to values of dynamic properties. as well as the temporal domain specification and a temporal logic language are supported. TF-ORM allows the definition of constraints over the dynamic behavior of the instances, through state transition rules, and over the property values, through integrity constraints. A TF-ORM implementation approach must consider all of these aspects, specially: (i) support to roles concept, allowing the creation of multiple and parallel instances; (ii) support to time-dependents concepts, including timestamps definition and temporal data domains; and (iii) support to state transition rules and integrity constraints. This work presents a study to implement the TF-ORM model over 02, an object-oriented database management system that supports entirely object-oriented and databases' second generation requirements. This study analyses the possibilities to mapping roles to traditional object-oriented model, and temporal aspects implementation requirements. The TF-ORM rules model, based on the study of many implementation models, is mapped to a E-C-A (event-condition-action) rules model. E-C-A rules allow transforming 02 in an active database, able to answer impulses not directly generated by users' requirements. The implementation approach presented allows the specification of multiples aspects of the TF-ORM functionality. To certificate its correctness, is proposed a translate tool, and developed a study of case, using a graphical notation to TF-ORM requirements specification.

A utilização de modelos orientados a objetos na especificação de sistemas de informação promove mudanças radicais na maneira como estes são analisados, projetados e implementados. No entanto, certos aspectos relacionados evolução dinâmica do comportamento e dos valores das propriedades dos objetos não são plenamente satisfeitos através destes modelos. TF-ORM introduz novos conceitos, estendendo o modelo de orientação a objetos a fim de suportá-los. Advindo do modelo de objetos com papeis (ORM), TF-ORM divide o comportamento dos objetos nos diversos papeis que estes podem desempenhar. São introduzidos conceitos para modelagem dos aspectos tempo-dependentes das aplicações, incluindo utilização de marcas de tempo associadas aos objetos e instancias de papeis, e aos valores das propriedades com variação dinâmica, bem como a definidas de domínios temporais e uma linguagem de lógica temporal. TF-ORM permite a definição de restrições sobre o comportamento dinâmico das instâncias, através de regras de transição de estado, e sobre os valores das propriedades, através de regras de restrição de integridade. Uma abordagem de implementação TF-ORM deve levar em consideração o conjunto destes aspectos, em especial: (i) suporte ao conceito de papeis, permitindo a criação de instâncias multiples e paralelas; (ii) suporte aos conceitos tempo-dependentes, incluindo a definição de timestamps e domínios de dados temporais; e (iii) suporte ao mecanismo de regras de transição de estado e regras de integridade. Este trabalho apresenta um estudo para implementação do modelo TFORM sobre o sistema de gerencia de banco de dados orientado a objetos 02, o qual suporta plenamente os conceitos do modelo de orientação a objetos e os conceitos básicos de bancos de dados de segunda geração. Dentro deste estudo são analisadas as possibilidades de mapeamento do modelo de objetos com papeis para o modelo tradicional de orientação a objetos. Da mesma forma, requisitos para implementação de aspectos temporais são analisados. O modelo de regras TF-ORM. baseado no estudo de diversos modelos de implementação, e mapeado para um modelo de regras E-C-A (evento-condicaoacao), as quais permitem a transformação do 02 em um sistema de bancos de dados ativo, capaz de responder a estímulos não diretamente ligados a requisições de usuários. A abordagem de implementação apresentada permite a especificação de grande parte da funcionalidade do modelo TF-ORM. A fim de certificar sua correção, e proposta uma ferramenta de tradução e desenvolvido um estudo de caso utilizando notação gráfica para especificação de requisitos TF-ORM. / The information systems' requirements specification model TF-ORM extends the object-oriented model, splitting the object behavior in different roles that it can perform. In addition, introduces the support to dynamic properties, temporal domains, state transition rules, and constraints. This work presents a TF-ORM implementation approach to the object-oriented database management system 02. The use of object-oriented models in information systems" specification radically changes the manner in which this systems are analyzed. designed, and implemented. However, some aspects related to dynamic behavior and property value evolution are not fully satisfied through these models. TF-ORM introduces a set of new concepts, extending object-oriented model to support these aspects. Originated in the object with roles model (ORM), TF-ORM divides the objects behavior in the different roles that it can perform. Are introduced concepts to model time-dependent aspects, including timestamps associated to objects and roles instances. and to values of dynamic properties. as well as the temporal domain specification and a temporal logic language are supported. TF-ORM allows the definition of constraints over the dynamic behavior of the instances, through state transition rules, and over the property values, through integrity constraints. A TF-ORM implementation approach must consider all of these aspects, specially: (i) support to roles concept, allowing the creation of multiple and parallel instances; (ii) support to time-dependents concepts, including timestamps definition and temporal data domains; and (iii) support to state transition rules and integrity constraints. This work presents a study to implement the TF-ORM model over 02, an object-oriented database management system that supports entirely object-oriented and databases' second generation requirements. This study analyses the possibilities to mapping roles to traditional object-oriented model, and temporal aspects implementation requirements. The TF-ORM rules model, based on the study of many implementation models, is mapped to a E-C-A (event-condition-action) rules model. E-C-A rules allow transforming 02 in an active database, able to answer impulses not directly generated by users' requirements. The implementation approach presented allows the specification of multiples aspects of the TF-ORM functionality. To certificate its correctness, is proposed a translate tool, and developed a study of case, using a graphical notation to TF-ORM requirements specification.

A utilização de modelos orientados a objetos na especificação de sistemas de informação promove mudanças radicais na maneira como estes são analisados, projetados e implementados. No entanto, certos aspectos relacionados evolução dinâmica do comportamento e dos valores das propriedades dos objetos não são plenamente satisfeitos através destes modelos. TF-ORM introduz novos conceitos, estendendo o modelo de orientação a objetos a fim de suportá-los. Advindo do modelo de objetos com papeis (ORM), TF-ORM divide o comportamento dos objetos nos diversos papeis que estes podem desempenhar. São introduzidos conceitos para modelagem dos aspectos tempo-dependentes das aplicações, incluindo utilização de marcas de tempo associadas aos objetos e instancias de papeis, e aos valores das propriedades com variação dinâmica, bem como a definidas de domínios temporais e uma linguagem de lógica temporal. TF-ORM permite a definição de restrições sobre o comportamento dinâmico das instâncias, através de regras de transição de estado, e sobre os valores das propriedades, através de regras de restrição de integridade. Uma abordagem de implementação TF-ORM deve levar em consideração o conjunto destes aspectos, em especial: (i) suporte ao conceito de papeis, permitindo a criação de instâncias multiples e paralelas; (ii) suporte aos conceitos tempo-dependentes, incluindo a definição de timestamps e domínios de dados temporais; e (iii) suporte ao mecanismo de regras de transição de estado e regras de integridade. Este trabalho apresenta um estudo para implementação do modelo TFORM sobre o sistema de gerencia de banco de dados orientado a objetos 02, o qual suporta plenamente os conceitos do modelo de orientação a objetos e os conceitos básicos de bancos de dados de segunda geração. Dentro deste estudo são analisadas as possibilidades de mapeamento do modelo de objetos com papeis para o modelo tradicional de orientação a objetos. Da mesma forma, requisitos para implementação de aspectos temporais são analisados. O modelo de regras TF-ORM. baseado no estudo de diversos modelos de implementação, e mapeado para um modelo de regras E-C-A (evento-condicaoacao), as quais permitem a transformação do 02 em um sistema de bancos de dados ativo, capaz de responder a estímulos não diretamente ligados a requisições de usuários. A abordagem de implementação apresentada permite a especificação de grande parte da funcionalidade do modelo TF-ORM. A fim de certificar sua correção, e proposta uma ferramenta de tradução e desenvolvido um estudo de caso utilizando notação gráfica para especificação de requisitos TF-ORM. / The information systems' requirements specification model TF-ORM extends the object-oriented model, splitting the object behavior in different roles that it can perform. In addition, introduces the support to dynamic properties, temporal domains, state transition rules, and constraints. This work presents a TF-ORM implementation approach to the object-oriented database management system 02. The use of object-oriented models in information systems" specification radically changes the manner in which this systems are analyzed. designed, and implemented. However, some aspects related to dynamic behavior and property value evolution are not fully satisfied through these models. TF-ORM introduces a set of new concepts, extending object-oriented model to support these aspects. Originated in the object with roles model (ORM), TF-ORM divides the objects behavior in the different roles that it can perform. Are introduced concepts to model time-dependent aspects, including timestamps associated to objects and roles instances. and to values of dynamic properties. as well as the temporal domain specification and a temporal logic language are supported. TF-ORM allows the definition of constraints over the dynamic behavior of the instances, through state transition rules, and over the property values, through integrity constraints. A TF-ORM implementation approach must consider all of these aspects, specially: (i) support to roles concept, allowing the creation of multiple and parallel instances; (ii) support to time-dependents concepts, including timestamps definition and temporal data domains; and (iii) support to state transition rules and integrity constraints. This work presents a study to implement the TF-ORM model over 02, an object-oriented database management system that supports entirely object-oriented and databases' second generation requirements. This study analyses the possibilities to mapping roles to traditional object-oriented model, and temporal aspects implementation requirements. The TF-ORM rules model, based on the study of many implementation models, is mapped to a E-C-A (event-condition-action) rules model. E-C-A rules allow transforming 02 in an active database, able to answer impulses not directly generated by users' requirements. The implementation approach presented allows the specification of multiples aspects of the TF-ORM functionality. To certificate its correctness, is proposed a translate tool, and developed a study of case, using a graphical notation to TF-ORM requirements specification.

Cette thèse traite du problème de la gestion des documents structurés multimédia dans un SGBD. Par gestion, nous entendons la modélisation, la manipulation, le stockage et l'accès aux documents. Nous présentons un modèle de Documents Structurés de Bureau (DSB) et une algèbre associée pour réaliser la spécification précise des aspects fonctionnels : opérateurs de construction et restructuration des objets manipulés et fonctions d'accès. Le stockage et l'accès sont implémentés au niveau fonctionnel sous forme d'opérations sur des documents en prenant en considération leurs structures logiques. Le couplage du modèle standard ODA au modéle DSB et l'intégration au niveau fonctionnel des opérations implémentées ont permis la mise en place d'un gestionnaire autonome de documents utilisable à partir d'un SGBD relationnel. Ce gestionnaire de documents pemiet la spécialisation des documents et l'utilisation de valeurs nulles. Une grande partie de ce travail a été réalisée dans le cadre du projet ESPRIT DOEOIS et un prototype expérimental a été développé sur ORACLE.

Cette thèse traite du problème de la gestion des documents structurés multimédia dans un SGBD. Par gestion, nous entendons la modélisation, la manipulation, le stockage et l'accès aux documents. Nous présentons un modèle de Documents Structurés de Bureau (DSB) et une algèbre associée pour réaliser la spécification précise des aspects fonctionnels : opérateurs de construction et restructuration des objets manipulés et fonctions d'accès. Le stockage et l'accès sont implémentés au niveau fonctionnel sous forme d'opérations sur des documents en prenant en considération leurs structures logiques. Le couplage du modèle standard ODA au modéle DSB et l'intégration au niveau fonctionnel des opérations implémentées ont permis la mise en place d'un gestionnaire autonome de documents utilisable à partir d'un SGBD relationnel. Ce gestionnaire de documents pemiet la spécialisation des documents et l'utilisation de valeurs nulles. Une grande partie de ce travail a été réalisée dans le cadre du projet ESPRIT DOEOIS et un prototype expérimental a été développé sur ORACLE.

Cette thèse traite du problème de la gestion des documents structurés multimédia dans un SGBD. Par gestion, nous entendons la modélisation, la manipulation, le stockage et l'accès aux documents. Nous présentons un modèle de Documents Structurés de Bureau (DSB) et une algèbre associée pour réaliser la spécification précise des aspects fonctionnels : opérateurs de construction et restructuration des objets manipulés et fonctions d'accès. Le stockage et l'accès sont implémentés au niveau fonctionnel sous forme d'opérations sur des documents en prenant en considération leurs structures logiques. Le couplage du modèle standard ODA au modéle DSB et l'intégration au niveau fonctionnel des opérations implémentées ont permis la mise en place d'un gestionnaire autonome de documents utilisable à partir d'un SGBD relationnel. Ce gestionnaire de documents pemiet la spécialisation des documents et l'utilisation de valeurs nulles. Une grande partie de ce travail a été réalisée dans le cadre du projet ESPRIT DOEOIS et un prototype expérimental a été développé sur ORACLE.

Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema do controle, que limitam o seu emprego a aplicações de pequeno a médio porte. Investigações nesse sentido [BOW 85] [MON 88] indicam que a chave para superar a explosão inferencial passa obrigatoriamente pela estruturação do conhecimento, de modo a permitir o exercício de algum controle sobre as possíveis derivações dele decorrentes. O modelo das hiperredes [GEO 85] parece atingir tal objetivo, dado o seu elevado potencial de estruturação e o instrumental que oferece para o tratamento de construções descritivas, operacionais e organizacionais. Além disso, a simplicidade e uniformidade sintática de suas entidades primitivas possibilita uma interpretação semântica bastante clara do modelo original, por exemplo, baseada em grafos. O presente trabalho representa uma tentativa de associar a programação em lógica ao formalismo das hiperredes, visando obter um novo modelo capaz de preservar as expressividade da primeira, beneficiando-se simultaneamente do potencial heurístico e estrutura do segundo. Inicialmente procura-se obter uma noção clara da natureza do conhecimento e de seus mecanismos com o objetivo de caracterizar o problema da representação de conhecimento. Diferentes esquemas correntemente empregados para esse fim (sistemas de produções, redes semânticas, sistemas de frames, programação em lógica e a linguagem Krypton) são estudados e caracterizados do ponto de vista de sua expressividade, potencial heurístico e conveniência notacional. A programação em lógica é objeto de um estudo em maior profundidade, sob os enfoques modelo-teorético e prova-teorético. Sistemas de programação em lógica - particularmente a linguagem Prolog e extensões em nível meta - são investigados como esquemas de representação de conhecimento, considerando seus aspectos sintáticos e semânticos e a sua retação com Sistemas Gerenciadores de Bases de Dados. O modelo das hiperredes é apresentado introduzindo-se, entre outros, os conceitos de hipernodo, hiperrelação e protótipo, assim como as propriedades particutares de tais entidades. A linguagem Hyper, para o tratamento de hiperredes, é formalmente especificada. Emprega-se a linguagem Prolog como formalismo para a representação de Bases de Conhecimento estruturadas segundo o modelo das hiperredes. Sob tal abordagem uma Base de Conhecimento é vista como um conjunto (possivelmente vazio) de objetos estruturados ou peças de conhecimento, que por sua vez são classificados como hipernodos, hiperrelações ou protótipos. Um mecanismo top-down para a produção de inferências em hiperredes é proposto, introduzindo-se os conceitos de aspecto e visão sobre hiperredes, os quais são tomados como objetos de primeira classe, no sentido de poderem ser valores atribuídos a variáveis. Estuda-se os requisitos que um Sistema Gerenciador de Bases de Conhecimento deve apresentar, do ponto de vista da aplicação, da engenharia de conhecimento e da implementação, para suportar efetivamente os conceitos e abstrações (classificação, generalização, associação e agregação) associadas ao modelo proposto. Com base nas conclusões assim obtidas, um Sistema Gerenciador de Bases de Conhecimento (denominado Rhesus em alusão à sua finalidade experimental é proposto e especificado, objetivando confirmar a viabilidade técnica do desenvolvimento de aplicações baseadas em lógica e hiperredes. / In spite of its inherent undecidability and the negation problem, extensions of first-order logic have been shown to be able to overcome the question of the monotonicity, establishing knowledge representation schemata with virtuatLy universal expressiviness. However, one still has to solve, or at Least to reduce the consequences of the control problem, which constrains the use of Logic-based systems to either small or medium-sized applications. Investigations in this direction [BOW 85] [MON 88] indicate that the key to overcome the inferential explosion resides in the proper knowledge structure representation, in order to have some control over possible derivations. The Hypernets Model [GEO 85] seems to reach such goat, considering its high structural power and the features that it offers to deal with descriptive, operational and organizational knowledge. Besides, the simplicity and syntactical uniformity of its primitive notions allows a very clear definition for its semantics, based, for instance, on graphs. This work is an attempt to associate logic programming with the hypernets formalism, in order to get a new model, preserving the expressiveness of the former and the heuristic and structural power of the latter. First we try to get a clear notion of the nature of knowledge and its main aspects, intending to characterize the knowledge representation problem. Some knowledge representation schemata (production systems, semantic networks, frame systems, Logic programming and the Krypton Language) are studied and characterized from the point of view of their expressiveness, heuristic power and notational convenience. Logic programming is the subject of a deeper study, under the model-theoretic and proof-theoretic approaches. Logic programming systems - in particular the Prolog Language and metateuel extensions- - are investigated as knowledge representation schemata, considering its syntactic and semantic aspects and its relations with Data Base Management Systems. The hypernets model is presented, introducing the concepts of hypernode, hyperrelation and prototype, as well as the particular properties of those entities. The Hyper language, for the handling of h y pernets, is formally specified. Prolog is used as a formalism for the representation of Knowledge Bases which are structured as hypernets. Under this approach a Knowledge Brie is seen rrG a (possibly empty) set of structured objects, which are classified as hypernodes, hyperreLations or prototypes. A mechanism for top-down reasoning on hypernets is proposed, introducing the concepts of aspect and vision, which are taken as first-class objects in the sense that they could be (-Ysigned as values to variables. We study the requirements for the construction of a Knowledge Base Management System from the point of view of the user's need-1', knowledge engineering support and implementation issues, actually supporting the concepts and abstractions (classification, generalization, association and aggregation) rYsociated with the proposed model. Based on the conclusions of this study, a Knowledge Base Management System (called Rhesus, refering to its experimental objectives) is proposed, intending to confirm the technical viability of the development of applications based on logic and hypernets.