UMA LINGUAGEM DE MARCAÇÃO PARA STATECHARTS PARA SER USADA EM AVALIAÇÃO DE DESEMPENHO BASEADA EM XML

Transcrição

1 UMA LINGUAGEM DE MARCAÇÃO PARA STATECHARTS PARA SER USADA EM AVALIAÇÃO DE DESEMPENHO BASEADA EM XML Ana Silvia Martins Serra do Amaral Laboratório Associado de Computação e Matemática Aplicada INPE S. J. Campos, SP, Brasil anasil@lac.inpe.br Renê Rodrigues Veloso Departamento de Ciência da computação PUC Poços de Caldas, MG, Brasil rene.veloso@comp.pucpcaldas.br Nandamudi Lankalapalli Vijaykumar Centro de Recursos Costeiros e Marinhos UCC, Cork, Irlanda n.vijaykumar@ucc.ie Carlos Renato Lisboa Francês Departamento de Engenharia Elétrica UFPA, Belém, PA, Brasil rfrances@ufpa.br Edvar da Luz Oliveira Departamento de Engenharia Elétrica UFPA, Belém, PA, Brasil edvar@ufpa.br Resumo O atual avanço tecnológico têm exigido desenvolvimento de sistemas cada vez mais complexos. Antes da implementação desses sistemas, os modelos de desempenho tem-se tornado essenciais para a avaliação de seus comportamentos, a fim de revelar gargalos e outros tipos de problemas permitindo, assim, economia de tempo e dinheiro. Normalmente, quando se adota abordagem analítica, são usadas soluções baseadas em cadeias de Markov. A estrutura da cadeia de Markov tem correspondência direta com Máquinas Finitas de Estados. Entretanto, no caso de sistemas complexos, a técnica Statecharts é mais adequada para a sua representação. Statecharts são uma elegante extensão de diagramas de estado que permitem a representação de hierarquia, concorrência e sincronismo. Esse artigo apresenta uma linguagem de marcação baseada em XML (extensible Markup Language) para especificação de um sistema complexo reativo e descreve procedimentos usados para o tratamento desta linguagem a fim de se obter medidas de desempenho. Palavras Chave: Modelos de desempenho, Statecharts, XML Abstract Nowadays, technological advances require development of more and more complex systems. Before the implementation phase, the use of performance models have become essential for the evaluation of the behavior of such systems, in order to find out bottlenecks and other related problems and thus saving money and time. Usually, when analytical approach is taken, Markov chain-based solutions are used. The Markov chain structure has a one-to-one correspondence with Finite State Machines. However, for complex systems, Statecharts are more adequate for representing them as they offer a graceful extension to finite-state machines by adding hierarchy, concurrency and synchronization. This paper presents a brief description of PerformCharts that associate a Statecharts representation to a Markov chain. It also covers a markup language (PcML) based on XML (extensible Markup Language) to specify a complex system and obtain its performance measurements. Keywords: Performance Models, Statecharts, XML

2 1. Introdução Normalmente, o comportamento de um sistema pode ser estudado a partir de sua modelagem e da avaliação de seu desempenho tornando possível detectar gargalos e outros tipos de problemas relacionados. A modelagem de sistemas do mundo real não é uma tarefa simples e, cada vez mais, sistemas com grande complexidade têm surgido, tornando a especificação de tais sistemas bastante difícil. Portanto modelagem de sistemas tem se tornado uma área importante de pesquisa pois a representação de um sistema, antes do mesmo ser construído, permite que se obtenha uma boa previsão do seu comportamento possibilitando, assim, sua melhoria. No contexto deste artigo, sistemas complexos são, também, considerados reativos pois são organizados como um conjunto de estados e transições entre esses estados, causadas por estímulos chamados eventos, tanto internos quanto internos. A fim de se avaliar o desempenho de um sistema, existem dois tipos de abordagens: analítica e simulação. O escopo desse trabalho concentra-se em soluções através de métodos analíticos baseados na teoria de Markov. Cadeias de Markov, normalmente, podem ser representadas usando diagramas de transição de estados onde os eventos devem seguir uma distribuição exponencial. Entretanto, o uso de diagramas de estado na representação de sistemas complexos reativos podem não ser o mais indicado, especialmente quando este sistema possui componentes paralelos. O trabalho aqui descrito, PerformCharts, é baseado na técnica Statecharts que, no caso de sistemas complexos, é mais adequada para a sua representação e essa representação é convertida para uma cadeia de Markov. O procedimento que explora Statecharts em a avaliação de desempenho começa com a especificação do sistema. O problema principal é que hoje não existe uma interface amigável (gráfica ou texto) para o uso da PerformCharts. A especificação do sistema deve ser feita através de um programa onde as estruturas de dados são construídas para gerar a cadeia de Markov. Assim, este trabalho propõe uma linguagem de marcação, PcML (PerformCharts Markup Language) para ser usada na especificação do sistema. Entretanto, o problema agora é como usar essa especificação em PcML para a obtenção das medidas de desempenho? Duas abordagens (em Java e Perl) são fornecidas para a conversão da especificação em PcML para o programa principal que, após ser compilado e linkado com a PerformCharts gera as medidas de desempenho. O artigo está organizado da seguinte forma: a seção 2 apresenta uma breve descrição da geração da cadeia de Markov a partir de uma especificação em Statecharts. A seção 3 discute alguns conceitos relacionados com XML e a linguagem de marcação PcML. A seção 4 descreve o uso da PcML a fim de se obter medidas de desempenho para o sistema reativo especificado. A seção 5 finaliza com algumas conclusões. 2. Statecharts e seu uso em modelagem de desempenho Statecharts é uma técnica formal de especificação do comportamento de sistemas reativos que extendem os diagramas de estados com: conceitos de decomposição hierárquica de estados fornecendo noções de profundidade (abstração); ortogonalidade que permite a representação de atividades paralelas; e interdependência e sincronismo através de comunicação do tipo broadcasting. Os elementos básicos dos Statecharts para a representação de um sistema são: configuração (estados ativos de cada componente ortogonal num determinado momento), events (externos explicitamente estimulados e internos automaticamente e imediatamente estimulados pela lógica interna dos Statecharts), condition, action, transition, expression, variable e label. Uma descrição mais completa dos elementos que formam a base da técnica Statecharts juntamente com sua características podem ser encontradas em [Drusinsky & Harel, 1989], [Harel, 1987], [Harel & Naamad, 1996], [Harel & Politi, 1998] e [Harel et al., 1987]. Da mesma forma que nos diagramas de estados, a definição de um estado inicial para cada componente é obrigatória. No caso da existência de componentes paralelos, a definiçao da configuração inicial do sistema é necessária. Esse estado ou configuração inicial será o ponto de partida da dinâmica do sistema reativo. Durante a dinâmica do sistema é possível usar o símbolo H dos Statecharts que indica que o estado ou configuração ativa deve ser relembrada no retorno ao componente. A notação geral de uma transição em Statecharts é: event[condition]/action, ou seja, caso a condição seja verdadeira e o evento esteja habilitado, execute a transição. Após a ocorrência da transição realize 751

3 a action associada com a mesma. Action pode ser uma alteração de variável ou expressão ou, ainda, um evento a ser disparado em outros componentes ortogonais. Na performcharts, o único tipo de ação permitida no momento é um evento do tipo interno [Vijaykumar, 1999] e [Vijaykumar et al, 2002]. Para o uso da técnica Statecharts na especificação do sistema para sua avaliação de desempenho, na PerformCharts os eventos externos estão associados com suas taxas de ocorrência e, como a solução adotada é baseada em cadeias de Markov, devem seguir uma distribuição exponencial. São considerados eventos internos os que ocorrem imediatamente após serem automaticamente estimulados (taxa zero). Tipos de eventos internos: true[condition], false[condition], entered[state], exit[state]. Na PerformCharts pode-se associar probabilidade a uma transição permitindo, assim, que essa transição ocorra saindo de um estado origem para mais de um estado destino evitando-se situações de conflito ou não determinismo. Portanto, a notação original foi alterada para: event[condition]{probability}/action [Vijaykumar, 1999] e [Vijaykumar et al., 2002]. A construção da cadeia de Markov segue os seguintes passos: A configuração inicial (conjunto de estados básicos ativos dentro de cada componente) é obtida; Reação a eventos internos (true, false, exit, entered), caso existam, é realizada conduzindo o sistema a uma nova configuração; A partir desta nova configuração, os eventos externos são obtidos; Para cada evento da lista, uma reação é realizada seguida de reações a eventos internos e ações; Esse processo persiste até que todas as configurações tenham sido expandidas. Como resultado, temse uma lista de estruturas contendo as configurações origem e destino e o evento estocástico associado (taxa de transição). Essa informação é uma cadeia de Markov com a qual pode-se obter as probabilidades limites, que representam a porcentagem de tempo ocupada por cada estado dentro do sistema especificado [Philippe et al., 1992] e [Silva & Muntz, 1992]. A fim de se esclarecer esse processo de representar um sistema usando Statecharts e obter suas medidas de desempenho, um exemplo será apresentado. Considere um sistema de redundância contendo duas máquinas e um reparador, como mostrado na figura 1. O paralelismo é obtido através do uso de linhas pontilhadas separando os componentes. Figura 1 Representação do comportamento de um sistema em Statecharts A configuração inicial do sistema é obtida através dos estados básicos iniciais (default) de cada componente paralelo indicados pela seta contendo um ponto escuro na ponta. Nesse exemplo, a configuração inicial é [W1,W2,WS]. Nesse momento, o algoritmo busca por eventos internos habilitados. Neste exemplo não há eventos internos habilitados para a configuração inicial. Os eventos habilitados são os eventos estocásticos a1 e a2. Após o evento a1 ser ativado, a configuração do 752

4 sistema passa a ser [P1,W2,WS] e, após a2, a nova configuracao passa a ser [P1,P2,WS]. Suponha que a configuração atual do sistema seja [B1,W2,WS]. Nesse caso, o evento imediato tr[in(b1)] que dispara uma transição movendo o sistema de WS para C1 está habilitado. Este processo continua até que se chegue a uma configuração após a reação a todos os eventos existentes na lista. A cadeia de Markov resultante deste exemplo é mostrada na figura 2. W1,W2,WS r1 a1 a2 r2 P1,W2,WS W1,P2,WS f1 a2 a1 s1 s2 f2 B1,W2,C1 r2 r1 W1,B2,C2 P1,P2,WS a2 f1 f2 a1 r2 r1 B1,P2,C1 s1 P1,B2,C2 s2 f2 f1 B1,B2,C1 s1 s2 B1,B2,C2 Figura 2 Cadeia de Markov correspondente ao modelo da figura 1 3. PcML PerformCharts Markup Language Como mencionado anteriormente, foi desenvolvido um software chamado PerformCharts que aplica a técnica de especificação de sistemas Statecharts em modelagem de desempenho. Entretanto, para se fazer uso deste software, é necessário criar o módulo principal na linguagem de programacao C++ para especificar o modelo para o qual se deseja fazer a avaliação de desempenho, fazendo chamadas a métodos necessários para converter essa representação em uma cadeia de Markov e calcular as medidas de desempenho. A solução mais amigável para se especificar um modelo de desempenho seria através de uma interface gráfica, ainda não disponível. Uma solução intermediária seria através de uma interface textual. Assim, uma linguagem de marcação baseada na tecnologia XML (extensible Markup Language) foi criada com o objetivo de especificar e tratar modelos de desempenho. XML é um tipo de meta linguagem que consiste de regras a serem usadas na formatação de textos a fim de se estruturar seus dados e, tem se tornado uma solução bastante popular e, extremamente, útil na área da interoperabilidade. Possui vantagens pois é: extensível, independente de plataforma e há esforços internacionais para fins de sua padronização. Além disso, por ser textual, tem-se acesso ao seu conteúdo através de qualquer editor de texto, não é necessário um software específico para esse fim. XML é similar ao HTML pois faz uso de tags e atributos. Por outro lado, no HTML, essas tags e atributos são usadas para a formatação e apresentação de um texto por um browser, enquanto que no caso do XML, elas são usadas para organizar um conjunto de dados e, a interpretação desses dados depende da aplicação que irá utilizá-los. Por exemplo, <p> em HTML indica parágrafo enquanto que, em XML, dependendo do contexto, pode indicar preço, parâmetro, pessoa, etc. No entanto, a falta de uma tag ou um atributo sem aspas provoca erros de sintaxe[bates, 2003]. XML possui módulos úteis para algumas tarefas, tais como: Xlink que permite acrescentar hyperlinks em arquivos XML; Xpointer e Xfragments são úteis para indicar partes do documento XML; CSS é uma linguagem de estilo, assim como HTML, para ser aplicados em arquivos XML; XSL é uma linguagem para 753

5 descrever estilos com a finalidade de modificar, adicionar e deletar tags e atributos; DOM permite tratar arquivos XML a partir de linguagens de programação; Schemas para auxiliar usuários na estruturação de formatos baseados em XML. Segue um exemplo de um documento em XML, onde são descritos o nome e endereço de um cliente: <cliente id= ProdOnLine-ID1 > <nome>jose da Silva Products Co. </nome> <endereco pais= Brasil > <rua>avenida do Espaco, 1758</rua> <cidade>cidade dos Astronautas</cidade> <estado>espaconave</estado> <postal>12245</postal> </endereco> </cliente> Todas as tags devem ter início e fim, como pode ser observado no exemplo, <nome> indica o início e </nome> indica o final dessa informação. A informação marcada por uma tag pode, conter atributos como país no exemplo acima é um atributo do elemento endereço. Sua sintaxe é bastante simples, além de ser facilmente compreensível pelo homem e facilmente processada pelas máquinas. XML é baseada em SGML e tem muitas similaridades com HTML. Figura 3 Diagrama da PcML 754

6 Essas propriedades do XML foram usadas a fim de se propor uma linguagem de marcação com o propósito de avaliação de desempenho de sistemas reativos baseados em sua representação em Statecharts. PcML [Amaral et al., 2004] é uma linguagem de marcação baseada em XML, cujas tags, atributos e outras características representam os elementos usados em Statecharts na especificação de sistemas reativos com o propósito de avaliação de desempenho [Ray, 2002],[Maruyama, 2002]. O diagrama da PcML é apresentado na figura 3 acima. Na figura, pode se observar que os elementos obrigatórios na especificação estão contidos em retângulos de linhas contínuas e elementos opcionais contidos em retângulos de linhas pontilhadas. A razão para isso é que os seguintes elementos básicos em Statecharts: states, events e transitions sempre devem aparecer na especificação de sistemas reativos, enquanto que conditions, actions e probabilities são opcionais. O símbolo -> que conecta alguns retângulos indica os elementos permitidos entre os tags de início e fim. Por exemplo, em conditions, os tags permitidos são: InState, NotCondition e Composed Condition. Da mesma forma, ANDCond e ORCond podem ser especificados dentro da ComposedCondition. 1.. indica que o número de ocorrências do elemento deve estar entre 1 e infinito. XML 1.0 fornece Document Type Definition (DTD) para definição de restrições no uso da linguagem de marcação [w3c,2002]. 4. Uso da PcML para avaliação de desempenho A especificação de alguns elementos em PcML (PerformCharts Markup Language) do sistema representado na figura 1, é apresentado a seguir como exemplo do uso desta linguagem. Dentro do elemento States especifica-se System como Root, juntamente com os componentes E1, E2, Supervisor. <?xml version= 1.0 encoding= ISO ?> <PcML Title= Manufacturing System Date= xmlns;xsl= xsi:nonamespaceschemalocation= PcML schema xsd > <States> <Root Name= System Type= AND > <State Name= E1 Type= XOR Default= W1 > <State Name= W1 Type= BASIC /> <State Name= P1 Type= BASIC /> <State Name= B1 Type= BASIC /> </State> //...especificação do Component E2... //...especificação do Componente Supervisor... </Root> </States> Abaixo são especificadas as conditions: Cond1 e Cond2 do tipo InState; Cond3 corresponde a NOT Cond1, ou seja, not [In(B1)]; Cond4 corresponde à condição Cond3 AND Cond2, ou seja, Not [In(B1)] AND [In(B2)]. <Conditions> <InState Name= Cond1 State= B1 /> <InState Name= Cond2 State= B2 /> <NotCondition Name= Cond3 Condition= Cond1 /> <ComposedCondition Name= Cond4 <ANDCond Cond1= Cond3 Cond2= Cond2 /> </ComposedCondition> </Conditions> A seguir vêem as actions, tratadas aqui como eventos internos. <Actions> <EventTriggerAction Name= etae1 Event= c1 /> 755

7 <EventTriggerAction Name= etae2 Event= c2 /> </Actions> Abaixo são especificados os eventos internos e externos(estocásticos com taxa diferente de zero): <Events> <TrueCondition Name= CC1 Condition= Cond1 /> <TrueCondition Name= CC2 Condition= Cond3 /> <Stochastic Name= a1 Value= 5.0 /> <Stochastic Name= s1 Value= 1.0 /> //...OUTROS EVENTOS ESTOCÁSTICOS:c1, r1, f1, a2, c2, r2, f2... </Events> E, finalmente, vêem as transições contendo os estados origem e destino; o evento que, quando disparado, causará a transição e, caso estejam presentes na transição, as ações e probabilidades associadas. <Transitions> <Transition Source= W1 Event= a1 Destination= P1 /> <Transition Source= P1 Event= r1 Destination= W1 /> <Transition Source= P1 Event= f1 Destination= B1 /> <Transition Source= B1 Event= c1 Destination= W1 /> //...Definições das transições no componente E2... //...Algumas transições no componente Supervisor <Transition Source= WS Event= CC1 Destination= C1 /> <Transition Source= WS Event= CC2 Destination= C2 /> <Transiton Source= C1 Event= s1 Action= etae1 Destination= WS /> </Transitions> </PcML> Como mencionado anteriormente, agora é o momento de transformar essa especificação em PcML do sistema em um programa em C++ a fim de gerar as suas medidas de desempenho. Para isso, foram criadas aplicações nas linguagens Java e Perl. O programa em C++ gerado consiste, basicamente, de chamadas a funções para: (i) criar as estruturas de dados que correspondem à representação do sistema em Statecharts; (ii) simular a dinâmica do sistema através de estímulos dos eventos e criar a cadeia de Markov; (iii) resolver a cadeia de Markov a fim de obter as probabilidades limites que são a base das medidas de desempenho. Ambas as aplicações, em Java e Perl, fazem uso de recursos próprios da linguagem, para tratar os elementos XML [Veloso, 2003], [Ray, 2002] e [Maruyama, 2002], como, por exemplo, DOM(Document Object Model). O código escrito em Perl, faz buscas no documento pelos elementos e seus respectivos valores e atributos gerando, então, linhas de código consistindo de chamadas a funções que, no final, serão gravadas num arquivo do tipo texto. Em Java, uma vez criada uma árvore hierárquica de nós/objetos, a busca aos nós é feita através do uso de expressões XPath. A seguir, são mostradas algumas linhas da descrição do sistema em PcML e o código correspondente em C++ gerado. Primeiramente deve-se definir o nome do macro estado estado raiz (o ponto inicial da representação hierárquica Statecharts) com seu respectivo tipo e estado inicial (default) em PcML: <Root Name= System Type= AND > <State Name= E1 Type= XOR Default= W1 /> As linhas correspondentes em C++ geradas pelas duas linhas em PcML acima são: Statechart System; 756

8 System.createRoot ( System, AND ); System.createSonState ( E1, OR, System ); System.setDefaultEntry ( E1, W1 ); A condição, verdadeira, caso um determinado estado esteja ativo é definida em PcML como: <InState Name= Cond1 State= B1 /> e, em C++: InStateCondition *InCond1 = System.createInStateCondition ( B1 ); Action, (no contexto de modelagem de desempenho, corresponde a um evento interno, ou seja, sem taxa estocástica) que pode interferir em outros componentes ortogonais é definida em PcML como: <EventTriggerAction Name= etae1 Event= c1 /> e, gerada pelas aplicacoes em Javas e Perl em C++ como: System.createPrimEvent ( c1 ); EventTriggeringAction * etae1=system.createeventtrigaction ( c1 ); Um evento imediato, como por exemplo uma true condition, associada a uma condição, como por exemplo InStateCondition já definida anteriormente, deve ser descrito em PcML como: <TrueConditionName= CC1 Condition= Cond1 /> Gerando, assim, as seguintes linhas em C++: TrueCondEvent * tevcc1 = System.createTrueCondEvent ( *InCond1 ); Abaixo, um exemplo de definição de um evento estocástico juntamente com sua taxa, em PcMl e descrito como: <Stochastic Name= a1 Value= 5.0 /> e a linha de código gerada em C++ é: System.createPrimEvent ( a1, 5.0 ); Uma transição contendo apenas os estados origem e destino e um evento é definida em PcML como: <Transition Source= W1 Event= a1 Destination= P1 /> e, o código correspondente em C++: Transition * transw1_p1 = System.createTransition ( a1 ); System.addSourceNode ( *transw1_p1, W1 ); System.addDestinationNode ( *transw1_p1, P1 ); Uma transição baseada em um evento imediato em PcML é definida como: <Transition Source= WS Event= CC1 Destination= C1 /> e o seu código correspondente gerado em C++: Transition * transws_c1 = System.createTransition ( *tevcc1 ); System.addSourceNode ( *transws_c1, WS ); System.addDestinationNode ( *transws_c1, C1 ); Agora, um exemplo de transição com uma ação associada é definida em PcML como: <Transiton Source= C1 Event= s1 Action= etae1 Destination= WS /> em C++: Transition * transc1_ws = System.createTransition ( s1, *eta1e1 ); System.addSourceNode ( *transc1_ws, C1 ); System.addDestinationNode ( *transc1_ws, WS ); No final, as aplicações em Java e Perl, geram linhas correspondentes a outras chamadas de funções a fim de gerar a cadeia de Markov correspondente ao sistema especificado a ser resolvido para fornecer as probabilidades limites. O código em C++ que gera o grafo e a solução da cadeia de Markov é o seguinte: GraphBase gb; GraphGenerator gen; // Perform reaction generate Markov Chain 757

9 gen.generategraph ( System, gb ); // Determine steady-state probabilities MarkovChainGenerator mk ( gb ); mk.generatelimitingprobabilities ( ); Então, o arquivo de saída gerado pelas aplicações em Perl e Java pode ser compilado e linkado com o restante das classes para se gerar o código executável através do qual obtem-se as medidas de desempenho tal como a ocupação de cada estado em função do tempo. A idéia de se explorar XML como base para uma interface para tratar modelagem de desempenho em Statecharts surgiu como um trabalho de curso de pós graduação realizado em menos de três meses. PcML também incorporou recursos dos Statecharts não discutidos nesse artigo tal como entry by history usado para sobrepor o estado inicial (default) usado quando se deseja que o último estado ativo daquele macro estado possa ser lembrado quando num eventual retorno. 5. Conclusões Este trabalho descreveu uma adaptação da técnica Statecharts a ser usada na especificação e tratamento de modelos de desempenho. Foi apresentada uma linguagem de marcação usada na especificação do modelo, baseada na tecnologia XML (extensible Markup Language), atualmente bastante popular e extremamente útil na área da interoperabilidade como também os procedimentos usados para se obter as medidas de desempenho necessárias. Statecharts foi, originalmente, criada para representar sistemas de tempo real. Entretanto, graças aos seus recursos visuais e formalismo, tornou-se útil em outros tipos de aplicações. Por exemplo, vários sistemas orientados a objeto fazem uso desta técnica para representar o comportamento das classes e, também, tem sido utilizada na representação de lógicas complexas de sistemas reativos modernos. Pensando nisso, foi criada uma ferramenta chamada PerformCharts, onde esta técnica foi daptada para representar e tratar, analiticamente, modelagem de desempenho. Vários sistemas (de vários tipos de aplicações) foram testados e comparados com outros onde a representação é feita usando redes de Petri e redes de filas. A PerformCharts inclui os recursos entry by History e estados parametrizados da Statecharts. Além disso, a PerformCharts incluiu transições probabilísticas, não existentes no formalismo Statecharts mas necessárias em avaliação de desempenho. Porém, Para se fazer uso da PerformCharts é necessário que se escreva um programa na linguagem de programação C++, através do qual, se faz chamadas a funções para a criação de estruturas de dados contendo a especificação do sistema propriamente dito como, também, gerar a cadeia de Markov juntamente com as probabilidades limites. Mas, dependendo da complexidade do sistema reativo, esta tarefa pode se tornar bastante trabalhosa. Para se resolver esse problema uma interface gráfica está sendo desenvolvida. Como solução intermediária, graças a popularidade da XML, surgiu a PcML como trabalho do curso de pós graduação aplicações baseadas em HiperMídia, que é uma linguagem de marcação baseada em XML, para especificação de sistemas reativos usando Statecharts para modelagem de desempenho. Mas o problema ainda não estava totalmente resolvido somente com a criação dessa linguagem, pois era necessário converter essa especificação em PcML para o programa na linguagem C++, interface com a PerformCharts. Para isso foram desenvolvidas aplicações nas linguagens Java e Perl. Futuros planos incluem a possibilidade de executar a PerformCharts através de uma aplicação Web, onde a entrada seria em PcML e, posteriormente, través de uma interface gráfica. Um projeto em andamento é a adaptação da PerformCharts para ser usada em geração automática de casos de teste. Existem várias ferramentas que geram casos de teste de sistemas especificados em máquinas finitas de estados extendidas. Assim, a idéia nesse projeto é converter a especificação em Statecharts para uma máquina finita de estados extendida ao invés de uma cadeia de Markov. 758

10 Referências Bibliográficas [Amaral et al., 2004] Amaral, A.S.M.S.; Veloso R.R. & Vijaykumar, N.L., PcML Reference Manual, Relatório Técnico a ser publicado, Instituto Nacional de Pesquisas Espaciais, São José dos Campos, SP, Brazil. [Bates, 2003] Bates, C., XML in Theory & Practice, John Wiley Computer, [Drusinsky & Harel, 1989] Drusinsky, D. & Harel, D., Using Statecharts for Hardware Description and Synthesis, IEEE Transactions on Computer-Aided Design, 8(7), , [Harel, 1987] Harel, D., Statecharts: a visual formalism for complex systems, Science of Computer Programming, 1987, 8, [Harel & Naamad, 1996] Harel, D. & Naamad, A., The STATEMATE Semantics of Statecharts, ACM Transactions on Software Engineering, 1996, 5(4), [Harel et al., 1987] Harel, D.; Pnueli; A., Schmidt, J.,& Sherman, R., On formal semantics of Statecharts, IEEE Symposium on Logic in Computer Science, Ithaca, USA., [Harel & Politi, 1998] Harel, D. & Politi, M., Modeling Reactive Systems with Statecharts: the Statemate Approach, McGraw-Hill, USA, [Maruyama, 2002] Maruyama, H., XML and Java Developing Web Application. CA: Addison Wesley, [Philippe et al., 1992] Philippe, B., Saad, Y., Stewart, W.J.. Numerical Methods in Markov Chain modeling. Operations Research, 1992, 40 (6) [Ray, 2002] Ray, E. T., Perl and XML, USA: O Reilly & Associates, Inc., [Silva & Muntz] Silva, E. A. S., Muntz, R. R. Computational methods to solve Markov Chains: Applications to computing and communication systems. 1992, UFRGS, Gramado, RS, Brazil. (In portuguese).. [Veloso, 2003] R. R. Veloso, Java e Xml Guia de consulta rápida. Brazil: Novatec editora, [Vijaykumar, 1999] Vijaykumar, N.L., Statecharts: Their use in specifying and dealing with Performance Models, Ph.D. Thesis Aeronautical Institute of Technology (ITA), 1999, São José dos Campos, SP, Brazil. [Vijaykumar et al., 2002] Vijaykumar, N. L.; Carvalho & S.V., Abdurahiman, V., On proposing Statecharts to specify Performance Models, International Transactions in Operational Research, 2002, 9(3), [w3c, 2002] tech. Rep., WORLD WIDE WEB CONSORTIUM, Sept Extensible Markup Language (XML) 759