Este trabalho apresenta um framework para editores distribuídos de manipulação colaborativa de documentos diagramáticos (FreDoc). FreDoc fornece um conjunto de classes que propicia um ambiente distribuído para edição colaborativa de diagramas de duas dimensões. Ele é constituído de 4 pacotes de classes: 1) de controle de acesso; 2) de controle de edição; 3) formas geométricas básicas; e 4) editor distribuído. Além disso, é apresentado um estudo sobre mecanismos para construção de editores distribuídos. Editores distribuídos são ferramentas úteis no processo de criação de documentos em um ambiente colaborativo tal como a World Wide Web. O uso de editores distribuídos torna o processo de colaboração mais rápido, pois o colaborador participa ativamente do processo de construção através da inserção de anotações que. Estas anotações podem ser aceitas ou rejeitadas total ou parcialmente pelo ou coordenador. Por fim, é descrito um protótipo, o FreDocUML, desenvolvido para testar a aplicação do framewrok FreDoc, mostrando um processo colaborativo de edição de diagrama de classes na notação UML é descrito.

Este trabalho apresenta um framework para editores distribuídos de manipulação colaborativa de documentos diagramáticos (FreDoc). FreDoc fornece um conjunto de classes que propicia um ambiente distribuído para edição colaborativa de diagramas de duas dimensões. Ele é constituído de 4 pacotes de classes: 1) de controle de acesso; 2) de controle de edição; 3) formas geométricas básicas; e 4) editor distribuído. Além disso, é apresentado um estudo sobre mecanismos para construção de editores distribuídos. Editores distribuídos são ferramentas úteis no processo de criação de documentos em um ambiente colaborativo tal como a World Wide Web. O uso de editores distribuídos torna o processo de colaboração mais rápido, pois o colaborador participa ativamente do processo de construção através da inserção de anotações que. Estas anotações podem ser aceitas ou rejeitadas total ou parcialmente pelo ou coordenador. Por fim, é descrito um protótipo, o FreDocUML, desenvolvido para testar a aplicação do framewrok FreDoc, mostrando um processo colaborativo de edição de diagrama de classes na notação UML é descrito.

Este trabalho apresenta um framework para editores distribuídos de manipulação colaborativa de documentos diagramáticos (FreDoc). FreDoc fornece um conjunto de classes que propicia um ambiente distribuído para edição colaborativa de diagramas de duas dimensões. Ele é constituído de 4 pacotes de classes: 1) de controle de acesso; 2) de controle de edição; 3) formas geométricas básicas; e 4) editor distribuído. Além disso, é apresentado um estudo sobre mecanismos para construção de editores distribuídos. Editores distribuídos são ferramentas úteis no processo de criação de documentos em um ambiente colaborativo tal como a World Wide Web. O uso de editores distribuídos torna o processo de colaboração mais rápido, pois o colaborador participa ativamente do processo de construção através da inserção de anotações que. Estas anotações podem ser aceitas ou rejeitadas total ou parcialmente pelo ou coordenador. Por fim, é descrito um protótipo, o FreDocUML, desenvolvido para testar a aplicação do framewrok FreDoc, mostrando um processo colaborativo de edição de diagrama de classes na notação UML é descrito.

O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes. / A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.

O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes. / A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.

O trabalho propõe uma ferramenta para apoio A modelagem de sistemas utilizando como linguagem de modelagem as Redes de Petri. são discutidos que tipos de auxílio são necessários no processo de modelagem de sistemas e as classes de Redes de Petri que podem ser utilizadas na ferramenta proposta. A dissertação mostra a estrutura e a arquitetura da ferramenta, descreve a implementação de um protótipo e apresenta um exemplo de use deste. Na definição da ferramenta b dada ênfase na verificação automática de propriedades das redes. / A tool to support system modeling with Petri Nets is proposed. The kinds of assistance needed in the modeling system process, and the Petri Net classes that can be used in the proposed tool are discussed. The dissertation shows the structure and the architecture of the tool, describing the prototype implementation and presenting an example of its use. In the definition of the tool, emphasis is given in the automatic verification of the net properties.