HiParaGraphs, uma linguagem de especificação de algoritmos de controlo paralelos e hierárquicos

• Autor(es): Melo, Andreia ; Sklyarov, Valery ; Ferrari, António
• Data: 2001
• Origem: Electrónica e Telecomunicações
• Assunto(s): HiParaGraphs; Algoritmos de controlo
• Tipo de Documento: Artigo científico
• Idioma: Português

Descrição

This paper presents a specification method for describing the behavior of digital control units. It is a formal language that results from an evolution of its predecessor, the HGSs – Hierarchical Graph-Schemes. It is called HiParaGraphs – Hierarchical and Parallel Graphs, and the main objective was to add new facilities, mainly related to parallelism.

Este artigo apresenta um método de especificação utilizado para descrever o comportamento de uma unidade de controlo digital. É uma linguagem formal que resultou da evolução da sua antecessora, os HGSs – Hierarchical Graph-Schemes. Denominada HiParaGraphs – Hierachical & Parallel Graphs, esta linguagem pretende acrescentar novas facilidades de paralelismo aos algoritmos de controlo, além de melhorar a especificação anterior com a introdução de novos parâmetros e diferentes tipos de nodos.