MODELAGEM DA NAVEGAO DE INTERFACES COM O USURIO DE SISTEMAS DE AUTOMAO INDUSTRIAL ALEXANDRE SCAICO, MARIA DE FTIMA Q. V.

TURNELL1, ANGELO PERKUSICH1

1

Departamento de Engenharia Eltrica, Universidade Federal da Paraba Caixa Postal 10105 - Campina Grande - Paraba - Brasil E-mails: {scaico,turnellm,perkusic}@dee.ufpb.br

Resumo Este trabalho apresenta e discute a aplicao de um modelo de navegao ao projeto de interfaces com o usurio. O modelo, construdo em Redes de Petri Colorida (CPN) [2], apia a anlise do componente de navegao na interface. O trabalho discute os resultados do uso do modelo de navegao a partir de um estudo de caso relativo a um sistema de controle supervisrio para plantas industriais. Abstract This paper presents and discusses the application of a navigation model in human interface design. The model, built with Coloured Petri Nets (CPN), support the analysis of the navigation component of the interface. The paper discusses the results of using this navigation model in a supervisory control system to industrial application case study. Keywords User interface, Coloured Petri Nets, supervisory control, navigation.

1 Introduo Na busca pela qualidade da interao usurio computador o projetista necessita considerar as habilidades e limitaes do usurio ao escolher os recursos que sero oferecidos pelo componente interativo do sistema. Por sua vez, diante do nmero crescente de opes de implementao, os projetistas necessitam avaliar solues alternativas antes da fase de implementao. A tarefa de concepo do componente de interface do usurio passa tambm pela compreenso da funcionalidade a ser oferecida, alm do como ser oferecida. Turnell e Sousa em [7,8] propuseram um mtodo de projeto de interface do usurio que inicia pela identificao do perfil do usurio seguido da anlise da tarefa. A anlise da tarefa [4] consiste de um estudo detalhado para determinar a natureza, propsito e componentes (subtarefas e estados) da tarefa, bem como a seqncia de execuo. A seqncia de execuo particularmente importante por representar o plano de ao (ou cenrio) adotado pelo usurio para resolver um problema. Neste mtodo proposto um modelo para representar a interao que especifica, entre outros aspectos, a estrutura de navegao da interface. A estrutura de navegao, modelada em CPN, apresentada em [7,8]. Este modelo verificado de acordo com um conjunto de propriedades especificadas para garantir a usabilidade de um sistema que dele origine, tais como a reversibilidade das aes do usurio em um contexto especfico e a garantia de acesso a pontos especficos na seqncia de interao. Ainda no mtodo proposto, a cada passo de concepo associada uma etapa de avaliao com o propsito de investigar a adequao da especificao ao perfil do usurio, descrio da tarefa e a critrios ergonmicos. O ltimo passo do mtodo consiste na construo de um prottipo que deve ser validado com o usurio a partir de testes de usabilidade. O uso de mtodos formais no projeto de interfaces com o usurio permite a investigao do comportamento da interface atravs de um modelo matemtico ainda no incio da fase de projeto. Trabalhos anteriores j

atestaram a adequao das Redes de Petri (PN) [3] enquanto ferramenta para modelagem de interface com o usurio [1,4,5]. O modelo proposto em [7,8] representa uma estrutura genrica de navegao encontrada nas interfaces com usurio. O modelo foi originalmente utilizado para representar a navegao na interface com um browser para internet. Com o propsito de avaliar o carter genrico da estrutura deste modelo, este trabalho apresenta o resultado de sua aplicao ao contexto das interfaces com o usurio de sistemas industriais. Apesar da semelhana entre a interao do usurio com sistemas industriais e com interfaces de outros tipos de aplicaes, um estudo mais detalhado das primeiras levam a concluir que h diferenas significativas. O volume de informao apresentado ao operador da planta industrial tipicamente mais alto, impondo uma grande carga cognitiva. Ademais o operador deve reagir a eventos e completar tarefas levando em considerao o prazo final e restries de segurana [9]. Portanto, a qualidade do projeto da interao do ponto de vista da navegao pode comprometer a eficincia de execuo da tarefa, o desempenho global do sistema de automao e aspectos de segurana. Este trabalho est organizado em 5 sees. Na seo 2 descrita a interface com o usurio do sistema industrial utilizada neste trabalho. Na seo 3 apresentada a aplicao do modelo de navegao a interface industrial. Na seo 4 apresentada a anlise do modelo apoiada pela ferramenta Design/CPN [10], que apia a construo, simulao e anlise de modelos em CPN. O trabalho conclui com uma discusso da aplicabilidade do modelo representao da interface com o usurio de sistemas industriais, e prope direes futuras para este trabalho.

2 Interface Industrial Modelada A interface com o usurio utilizada como estudo de caso baseada no demo distribudo junto com o softwa-

re InTouch1. A escolha por essa interface devido a ela apresentar os tipos de navegao e os recursos tpicos encontrados em interfaces industriais. O demo ilustra os recursos disponveis ao operador de uma planta qumica cujo processo consiste na produo e armazenagem de um material radioativo. A interface composta de nove janelas nas quais o operador pode definir variveis, navegar entre as janelas, e monitorar o estado de vrios aspectos da planta atravs de informaes textuais e grficas. A produo da planta consiste na mistura de um concentrado qumico em um reator, seguida pela armazenagem do produto final em barris. O operador, neste processo, realiza a monitorao do processo por meio de um sintico animado da planta, e atravs de diagramas de tendncia relacionados com as variveis sob controle. Atravs do programa supervisrio possvel controlar o valor percentual dos componentes da mistura; o enchimento e armazenagem dos barris; e o tratamento de alarmes que ocorrem durante a operao da planta. As janelas so descritas a seguir. JanReactor: Janela principal do sistema. Apresenta um sintico animado da planta industrial. Nesta janela apresentada a concentrao atual dos elementos qumicos utilizados no processo de mistura, a temperatura da mistura e o nvel de armazenagem no reservatrio onde a mistura final armazenada. Nesta janela, o operador interage com o sistema atravs de seis botes usados principalmente para a navegao entre janelas. JanReactorHelp: Janela de ajuda que sobreposta a JanReactor. Apresenta um texto de ajuda sobre o sintico. JanBatch: Janela onde o usurio define o nvel de concentrao atravs de uma barra deslizante e de um conjunto de botes para ajuste fino. Esta janela se sobrepe janela originalmente ativa na tela. JanBatchSet: Janela onde o usurio pode (alternativamente) definir o nvel de concentrao da mistura utilizando o teclado. Quando est ativa se sobrepe janela JanBatch. JanHist: Janela que mostra um grfico de histrico sobre o processo. Apresenta botes para navegao e barras deslizantes para ajuste das caractersticas do grfico. JanHistHelp: Janela de ajuda sobre a janela JanHist, que estando ativa se sobrepe a janela JanHist. JanMaintence: Janela que mostra o estado de alguns aspectos da planta. Esta janela se sobrepe janela originalmente ativa na tela. JanConveyor: Esta janela apresenta, atravs de animao, o enchimento dos barris com a mistura final. Ela oferece um boto para seleo entre o enchimento automtico ou manual, botes para navegar entre as janelas, e botes para controlar as variveis do processo a exemplo da velocidade da esteira que transporta os barris.
1

JanAlarme: Apresenta as mensagens de alarme do processo. Oferece botes para o reconhecimento dos alarmes individualmente ou em grupo, e botes para a navegao entre as janelas. Esta janela se sobrepe janela originalmente ativa na tela.

3 Modelo CPN da Interface Industrial No modelo de navegao apresentado em [7,8], foi considerado que todos os objetos utilizados na interao, a exemplo de botes, esto permanentemente ativos e, portanto, disponveis ao usurio. No modelo aplicado ao contexto industrial, apresentado na Fig. 3, foi atribudo um estado aos objetos da interface (ativo/desativo) de modo a representar objetos cujo estado so sensveis ao contexto da interao. Tambm foram modificados os tipos de navegao disponveis para contemplar os casos que existem na interface industrial e no foram abordados no modelo proposto em [7,8].

3.1 Descrio do Modelo O novo modelo de navegao aplicado interface com o supervisrio apresentado na Fig.3, e seu n de declarao mostrado a seguir. color Janela = with JanReactor | JanHist | JanMaintance | JanBatch | JanHist | JanMaintance | JanConveyor | JanAlarme | JanBatchSet | JanReactorHelp | JanHistHelp; color Botao = with BotReactorHelp | BotBatchExit | BotBatchSet | BotBatchOK | BotBatchUp | BotBatchDown | BotBatchBar | BotMaintExit | BotAlarmeConc | BotAlarmeTemp | BotAlarmeNivel | BotReactor | BotBatch | BotHist | BotMaint | BotConveyor | BotEndProgram | BotBatchSetOK | BotReactorHelpExit | BotConveyorMA | BotConveyorEst1 | BotConveyorEst2 | BotConveyorEjet | BotConveyorBar | BotHistCTime | BotHistDefault | BotHistV100 | BotHistV50 | BotHist3m | BotHist1m | BotHistBarVert | BotHistBarHor | BotHistHelp | BotAlarme | BotHistHelpExit | BotAlarmeClose | BotAlarmeAckAll; color Status = with ativo | desativo; color Botao_Status = product Botao*Status; color Opcoes = product Janela*Botao_Status; color Lista_Botao_Status = list Botao_Status; color Interface=product Janela*Lista_Botao_Status; color Lista_Interface = list Interface; color Prob_Alarme = bool; color Qual_Alarme = int with 1..3; var y: Prob_Alarm; var Jan, Jan1: Janela; var Bot, Bot1:Lista_Botao_Status; var act: Botao; var status, status1: Status; var lista: Lista_Interface; var ProbAl: Prob_Alarme; var t: Qual_Alarme;

Software construtor de Interfaces para Programas Supervisrios distribudo pela Wonderware Corporation.

var interface: Interface; var bot_stat: Botao_Status;

Figura 1. Modelo de Navegao da Interface Industrial

O significado de cada cor descrito a seguir: Janela: conjunto com todas as janelas da interface. Botao: conjunto com todos os botes da interface. Status: associado aos botes, pode ser ativo ou desativo. Botao_Status: par que representa o nome de um boto e seu respectivo estado. Opcoes: tripla (janela, boto, status) que associa o nome de uma janela ao nome de um boto e seu respectivo estado. Lista_Botao_Status: lista de elementos do tipo Botao_Status. Interface: produto, com o nome de uma janela como primeiro elemento, e uma lista do tipo Lista_Botao_Status como segundo elemento. Lista_Interface: lista de elementos do tipo Interface. Prob_Alarme: valor booleano relativo probabilidade de ocorrncia de um alarme. Qual_Alarme: inteiro, definido entre 1 e 3, que identifica o tipo de alarme. O lugar IHM contm a informao sobre qual a janela ativa. No caso representado a janela ativa inicial JanReactor. A partir deste lugar na rede pode ocorrer um dos cinco tipos de navegao a seguir:

Navegao Tipo 1 Consiste na navegao entre janelas, com o fechamento da janela ativa e a abertura da janela solicitada. Neste caso, a lista no lugar IHM possui apenas um elemento, o qual deve ser substitudo por um novo elemento. A transio Navegacao1 e os lugares Jan_Nav1 e Opcoes1 modelam este tipo de navegao. A guarda (restrio ocorrncia) desta transio a funo "existe", que verifica se a ao de navegao selecionada est disponvel na janela ativa. Ou, em outras palavras, se a ao permitida nesta janela. Navegao Tipo 2 Navegao entre janelas, com a janela requisitada se sobrepondo janela ativa, tornando-se a nova janela ativa. A nova janela ativa ento adicionada lista de interface. A transio Navegacao2 e os lugares Jan_Nav2 e Opcoes2 modelam esta navegao. A guarda desta transio a funo "existe". NoNavegao Navegao entre opes de uma mesma janela ativa. A transio N_Navegacao e o lugar Bot_N_NAV modelam esta situao. As fichas no lugar Bot_N_NAV determinam as aes de navegao em uma janela. Note que todas as fichas esto no estado ativo.

A guarda desta transio a funo "existe1", que verifica se a ao selecionada est disponvel na janela ativa, e se seu estado ativo (i.e. disponvel para o usurio). Esta transio conduz a quatro aes possveis de serem executadas. Qual ao ser selecionada decida pela funo retorno o arco que conecta a transio ao lugar IHM: Se a ao a ser executada for a seleo do boto BotConveyorMA, os botes BotConveyorEst1, BotConveyorEst2 e BotConveyorEjet tero seus estados invertidos (ativo/desativo ou vice-versa). Esta mudana implementada pela funo "muda_status2". Se a ao a ser executada for a seleo do boto BotAlarmeConc ou, BotAlarmTemp ou, BotAlarmeNivel; o boto selecionado ser desativado. Esta mudana ocorre atravs da funo "muda_status". Se a ao for a seleo do boto BotAlarmeAckAll (disponvel apenas quando os trs tipos de alarmes ocorrerem), os botes BotAlarmeAckAll, BotAlarmeConc, BotAlarmeTemp e BotAlarmeLevel sero desativados. Esta mudana ocorre atravs da funo "muda_status1". Se a ao for a seleo de um boto que no provoca a mudana do seu estado ou de outros botes, a informao devolvida inalterada ao topo da lista, indicando apenas que uma seleo foi feita. Fechamento Consiste no fechamento da janela atualmente ativa, e sobreposta a uma outra janela. Esta navegao modelada pela transio Close e pelo lugar Bot_Close. Neste lugar esto fichas que relacionam uma ao de navegao a uma janela indicando qual janela deve ser fechada se esta opo de navegao for selecionada. A guarda desta transio e funo "existe". Finalizao A transio Exit e o lugar Bot_Exit modelam este tipo de navegao. Quando esta transio disparada a execuo do aplicativo encerrada. No lugar Exit existe apenas uma ficha que representa a ao de navegao de encerramento do aplicativo.

estar estivar disponvel e ativo na janela ativa. O ciclo de simulao do modelo intercalado pela ocorrncia de alarmes at a requisio de sada do sistema.

4 Anlises no Modelo Entre os vrios aspectos de interesse para anlise da navegao este trabalho se concentra na anlise das seqncias de interao disponveis ao usurio. O objetivo da anlise da navegao identificar falhas de projeto tais como impasses (deadlocks), inexistncia de caminhos de acesso entre estados da interao, superestimao ou subestimao de caminhos entre estados de interao, otimizar os caminhos de acesso entre estados (reduzindo sua extenso) e identificar situaes de inexistncia de caminhos para a reverso de aes na interface (retorno a um estado anterior). Foram realizadas vrias anlises no modelo para verificar a sua corretude lgica e seu comportamento. Foram realizadas simulaes interativas e automticas, gerado o grafo de ocorrncia (Occ) [2], e gerados Grficos de Seqncia de Mensagens (MSCs) [6] para mostrar graficamente um cenrio de navegao na interface. As anlises realizadas com o auxlio da ferramenta Design/CPN, so descritas a seguir.

4.1 Propriedades de Navegao do Modelo Esta seo apresenta informalmente, um conjunto de propriedades do modelo que esto associadas usabilidade da interface, do ponto de vista da na navegao. Estas propriedades so utilizadas na anlise do modelo de navegao. Dado que a navegao em uma interface com um sistema supervisrio representada pelo modelo CPN descrito anteriormente, suas caractersticas podem ser expressas em termos de um conjunto de propriedades o modelo, como ilustrado a seguir [7]. Reversibilidade a possibilidade de retorno na interao, cancelando aes previamente realizadas. No se aplica a todos os estados da interface. Verifica-se a reversibilidade atravs da propriedade de alcanabilidade da rede. Existncia de caminhos de acesso entre pontos especficos da interao Por razes de usabilidade, o acesso a pontos especficos (a exemplo dos mecanismos de ajuda) deve ser assegurado em qualquer ponto da interao. Este aspecto pode ser avaliado analisando as marcaes da rede, investigando se a partir de um estado Mk possvel alcanar um estado Mj. Reinicializao Possibilidade de retorno ao incio da interao. Este comportamento verificado atravs da anlise das marcaes da rede. Se o estado inicial estiver na lista das home marking do modelo, esta propriedade satisfeita. Note que se todas as marcaes so home markings, conclui-se que h caminhos de conexo entre todos os estados da interface. Acesso a Sada Do ponto de vista de usabilidade, os sistemas devem oferecer mais de um acesso sada do sistema. Para analisar o a-

3.2 Gerao dos Alarmes Aleatrios Foram criadas funes para simular os alarmes que ocorrem na planta industrial. Neste estudo de caso existem trs tipos de alarme: um relativo ao nvel de concentrao da mistura, um relativo ao nvel de temperatura do processo e um relativo ao nvel da mistura. Na ocorrncia de um alarme, o boto correspondente na janela de alarmes se torna ativo. Os alarmes so modelados pelas transies Prob_Al (que restringe a ocorrncia dos alarmes), Alarme1 (que modela a ocorrncia dos alarmes com a janela de alarme desativa) e Alarme2 (que modela a ocorrncia dos alarmes quando a janela de alarme a janela ativa), e pelo lugar Prob_Al.

3.3 Sntese do Modelo Em suma, no modelo apresentado, para que ocorra uma navegao o objeto de interao correspondente deve

cesso sada necessrio verificar se todas as marcaes mortas constantes no relatrio do Occ correspondem ao estado de sada. A marcao morta deve sempre ser alcanvel se existir acesso sada a partir de qualquer ponto da interao. Nesta situao, a marcao de sada deve estar na lista das marcaes mortas e na lista das home markings. Esta propriedade no se aplica a qualquer sistema.

4.2 Simulaes Interativas e Automticas As simulaes interativas foram realizadas durante a construo do modelo para verificar a evoluo de partes do modelo (a exemplo dos tipos de navegao entre janelas, a gerao de alarmes, mudanas de estado na janela JanConveyor, e a existncia de acesso a pontos de sada) e para detectar possveis falhas no modelo. As simulaes automticas foram realizadas no modelo completo para verificar a evoluo do sistema como um todo e verificar a existncia de impasses, alm daqueles relativos situao de sada.

barra vertical. O tempo ao largo de cada eixo transcorre do topo para a base [6]. Neste contexto os MSCs foram utilizados para propsito de validao dos cenrios de navegao concebidos para a interface modelada. O MSCs foi particularmente til na verificao do comportamento do sistema em condies especficas tais como: ocorrncia de alarmes, navegao entre pontos da navegao, alternncia no modo de enchimento (automtico/manual); dando uma viso geral do comportamento do sistema. Os MSCs representados nas Figs. 4 e 5 ilustram o comportamento do sistema em um possvel cenrio de navegao. Eles representam o comportamento da comunicao entre as instncias Jan_Nav1, Jan_Nav2 e IHM, tornando possvel anlise do comportamento do sistema a partir dos seguintes pontos de vista: tipos de navegao entre janelas, gerao e reconhecimento de alarmes, navegao dentro de uma mesma janela e sada do aplicativo.

4.3 Grafo de Ocorrncia (Occ) O Occ foi utilizado para analisar o comportamento lgico do modelo. Atravs dele verificou-se as propriedades de navegao anteriormente citadas. Do ponto de vista da propriedade de vivacidade, foi observado que no existem transies mortas, garantindo que todas as transies podem disparar pelo menos uma vez (o que corresponde garantia de acesso a todos os pontos da interface). E, foi observado que existem 16 marcaes mortas. Essas marcaes indicam o estado do sistema quando do encerramento do aplicativo. Uma vez que existem 3 botes de alarmes os quais podem estar no estado ativo ou desativo e que os botes de JanConveyor podem estar no modo manual ou automtico, h 16 possibilidades de estados no encerramento do aplicativo.

4.4 Grficos de Seqncia de Mensagens (MSCs) O uso de mtodos formais na concepo e anlise de sistemas interativos ainda um fato restrito ao ambiente acadmico. Os projetistas no esto familiarizados com a especificao de interfaces em Redes de Petri. Assim, a viso do comportamento dos sistemas atravs de MSCs uma abordagem adequda. A representao de um evento por meio de uma mensagem muito mais intuitiva que a anlise das marcaes de um modelo CPN. Grficos de Seqncia de Mensagens (MSC) consistem em uma linguagem grfica e textual para a descrio e especificao de interaes entre componentes de um sistema. Eles descrevem a comunicao assncrona entre instncias e podem ser utilizados como uma especificao geral do comportamento de comunicao de sistemas em tempo real [6]. Uma instncia uma entidade abstrata na qual pode-se observar parte da interao com outras instncias ou com o meioambiente. No MSC uma instncia denotada por uma
Figura 2. MSC do comportamento do Sistema (MSC1)

No MSC1, o operador entra no programa supervisrio na janela JanReactor. Em seguida checa o grfico de tendncia do processo abrindo JanHist, onde a opo de zoom selecionada. Neste instante ocorre um alarme de concentrao da mistura. O operador ignora esse alarme e abre a JanConveyor e para ajustar a velocidade de enchimento dos barris. Note que os alarmes so gerados aleatoriamente durante a anlise, e a deciso de quando reconhece-los uma prerrogativa do operador. Em seguida verifica o estado das partes do sistema em JanMaintance. Um novo alarme de concentrao gerado. O operador ento fecha JanMaintance e alterna a viso entre JanReactor e JanConveyor, mudando o processo de enchimento dos barris do modo automtico para manual. Neste ponto o sistema gera um alarme de concentrao. Como o processo de enchimento est no modo manual, o operador deve retornar e dar continuidade ao enchimento dos barris. Durante o enchimento, o

operador retorna a JanReactor, abre Jan-Alarme e reconhece o alarme de concentrao. Em seguida fecha JanAlarme, que estava sobreposta a JanReactor, e abre JanHist para checar o grfico de tendncia.

Os autores pretendem tambm aplicar este modelo a casos mais complexos (com maior nmero de janelas e de objetos de interao) e introduzir consideraes temporais de modo a analisar aspectos de desempenho do usurio durante a execuo de tarefas.

Agradecimentos Os autores gostariam de agradecer a CAPES (Coordenao de Aperfeioamento de Pessoal do Ensino Superior) por apoiar esta pesquisa com uma bolsa de estudo para um dos autores.

Referncias Bibliogrficas

Figura 3. MSC do comportamento do Sistema (MSC2)

No MSC2 Um novo alarme de nvel gerado. O operador amplia o grfico de tendncia e solicita ajuda, abrindo JanHistHelp. Ele ento JanHistHelp e gerado um alarme de concentrao. O operador verifica o processo de mistura em JanReactor e o processo de enchimento em JanConveyor, em seguida abre JanHist quando gerado um alarme de temperatura. O operador checa o estado das partes do sistema em JanMaintance e volta a monitorar o processo de mistura em JanReactor. Abre JanAlarme quando gerado um alarme de concentrao. Finalizando, o operador reconhece todos os alarmes, fecha JanAlarme e sai do sistema.

5 Consideraes Finais e Direes Futuras O modelo CPN de navegao apresentado neste trabalho possui uma estrutura genrica. Como foi ilustrado neste trabalho, este modelo pode ser ajustado para representar diferentes contextos de interfaces a partir da modificao do conjunto de cores de modo a representar os objetos de interao e as aes de navegao. A maior limitao do modelo de navegao o grande nmero de fichas necessrio para descrever a interface, o que torna difcil anlise do comportamento do sistema. Mas com o uso de MSCs essa limitao pode ser superada. Como direes futuras para este trabalho, os autores pretender estender o modelo para incorporar a funcionalidade de outros objetos de interao e em particular incluir novas situaes de interao considerando estados de interrupo e estados de espera.

[1] Bastide, R.; Palanque, P., A Petri Net Based Environment for the Design of Event-Driven Interfaces. Proceedings of the 16th International Conference on Application and Theory of Petri Nets, p. 66-83, Turin, June, 1995. [2] Jensen. K., Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Volume 1, Basic Concepts. Monographs in Theoretical Computer Science, Springer-Verlag, 1992. [3] Murata. T., Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, Vol. 77, No 4, April 1989. [4] Palanque P.; Bastide R.; V. Senges, Validating interactive system design through the verification of formal task and system models. 6th IFIP Working Conference on Engineering for HumanComputer Interaction (EHCI'95) Grand Targhee Resort, Wyoming, U.S.A., p. 14-18 August 1995. [5] Rosis, F. de. Tool to Support Specification and Evaluation of Context-Customizes Interfaces.SIGCHI Bulletin, 82-88, July 1996. [6] Andersson, M. and Bergstrand, J., Formalizing Use Cases with Message Sequence Charts, Department of Communication Systems at Lund Institute of Technology, May 1995. [7] Sousa, M.R.F. and Turnell, M.F.Q.V., User interface evaluation based on Coloured Petri nets modelling and analysis. In IEEE - SMC'98 Proceedings, October 1998, SanDiego - CA, EUA. [8] Sousa, M.R.F. Avaliao Iterativa da Especificao de Interfaces com nfase na Navegao, Doctoral Thesis, Electrical Engineering Department, Federal University of Paraiba, Brazil, December 1999. [9] Turnell, M.F.Q.V.; Farias, G.F. The use of Supervisory Software in the Industrial Automation Process Control from the User Interface Perspective. 1996 IEEE International Conference on Systems, Man and Cybernetics; Beijing China, October, 1996. [10] University of Aarhus, Design/CPN Occurrence Graph Manual, Version 3.0, Computer Science Department, 1996.