• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Disertación de Maestría
DOI
https://doi.org/10.11606/D.55.2018.tde-20082018-161044
Documento
Autor
Nombre completo
Joao Wagner Lima Cangussu
Instituto/Escuela/Facultad
Área de Conocimiento
Fecha de Defensa
Publicación
São Carlos, 1993
Director
Tribunal
Maldonado, José Carlos (Presidente)
Garcia Neto, Alvaro
Liesenberg, Hans Kurt Edmund
Título en portugués
EXECUÇÃO PROGRAMADA DE STATECHARTS
Palabras clave en portugués
Não disponível
Resumen en portugués
Sistemas Reativos podem ser definidos como sistemas que interagem direta ou indiretamente com o ambiente, recebendo e emitindo estímulos do mesmo, e que devem produzir os resultados corretos dentro de intervalos de tempo previamente especificados. Várias técnicas gráficas existem para modelar sistemas reativos, podendo-se citar Máquinas de Estados Finitos, Redes de Petri e Statecharts. Esta última tem se mostrado eficaz na especificação de sistemas reativos, pois além de possuir uma notação visual concisa e intuitiva, ainda possui sintaxe e semântica definidas formalmente. Este trabalho trata de uma técnica de validação de modelos, denominada "Execução Programada" e de sua integração ao ambiente Statechart Simulator (StatSim), que é um ambiente composto de ferramentas para edição e simulação de statecharts. Na Execução Programada, o modelo comportamental do sistema sob desenvolvimento é simulado a partir de eventos gerados através de distribuições probabilísticas e é controlado por um programa que indica o que deve ser feito em cada passo. Como resultado final, além da simulação dinâmica visual, dois relatórios são fornecidos ao usuário: um contendo análises estatísticas da execução e outro contendo o registro de todas as configurações atingidas, passo a passo. Uma revisão de ambientes e ferramentas para especificação de sistemas reativos é apresentada, enfatizando-se a sua capacidade para simulação dos modelos criados. Como aspecto central do trabalho, uma linguagem para controle da execução programada , denominada Linguagem de Controle de Execução (LCE), é proposta. A LCE é, inicialmente, discutida informalmente, para depois ser discutida formalmente. Em seguida, mostra-se a implementação da LCE e sua integração ao ambiente StatSim, dentro do Módulo de Execução Programada (MEP). Para ilustrar o funcionamento da LCE alguns exemplos são apresentados e discutidos.
Título en inglés
Programmed execution of Statecharts
Palabras clave en inglés
Not available
Resumen en inglés
Reactive Systems can be defined as systems that interact directly or undirectly with the environment, receiving and emiting stimuli from/to it, and must to produce correct results within specified time intervals. Many graphical techniques exit to model reactive systems, such as Finite States Machines, Petri Nets and Statecharts. Statecharts proved a very efficient tool for reactive systems specification, having a concise and intuitive visual notation and a formaly defined sintax and semantics. The two main concerns of this work are: a technique for model validation called "Programmed Execution" and its integration to the Statechart Simulator (StatSim) environment, which is an integrated set of tools for edition and simulation of statecharts. In the "Progranuned Execution", a system control model of a system under developement is simulated from events generated according to probabilistic distributions and is controlled by a program that states what is to be done at each step. As results, besides the dynamic visual simulation, two reports are available: a statistical analysis about the simulation and a log file of ali configurations reached during the simulation, step by step. A survey of environments and tools for reactive systems specification able to simulate the models created is presented. A language to control the execution of a model, called Execution Control Language (ECL), is also presented. The ECL syntax and semantics are discussed and formaly defined. Its implementation and integration into the StatSim environment, within the Programmed Execution Module (PEM), is shown. Some examples are presented and discussed to illustrate the use of ECL.
 
ADVERTENCIA - La consulta de este documento queda condicionada a la aceptación de las siguientes condiciones de uso:
Este documento es únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro. Esta reserva de derechos afecta tanto los datos del documento como a sus contenidos. En la utilización o cita de partes del documento es obligado indicar el nombre de la persona autora.
Fecha de Publicación
2018-08-20
 
ADVERTENCIA: Aprenda que son los trabajos derivados haciendo clic aquí.
Todos los derechos de la tesis/disertación pertenecen a los autores
CeTI-SC/STI
Biblioteca Digital de Tesis y Disertaciones de la USP. Copyright © 2001-2024. Todos los derechos reservados.