• 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
 
 
Master's Dissertation
DOI
10.11606/D.55.2018.tde-20082018-161044
Document
Author
Full name
Joao Wagner Lima Cangussu
Institute/School/College
Knowledge Area
Date of Defense
Published
São Carlos, 1993
Supervisor
Committee
Maldonado, José Carlos (President)
Garcia Neto, Alvaro
Liesenberg, Hans Kurt Edmund
Title in Portuguese
EXECUÇÃO PROGRAMADA DE STATECHARTS
Keywords in Portuguese
Não disponível
Abstract in Portuguese
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.
Title in English
Programmed execution of Statecharts
Keywords in English
Not available
Abstract in English
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.
 
WARNING - Viewing this document is conditioned on your acceptance of the following terms of use:
This document is only for private use for research and teaching activities. Reproduction for commercial use is forbidden. This rights cover the whole data about this document as well as its contents. Any uses or copies of this document in whole or in part must include the author's name.
Publishing Date
2018-08-20
 
WARNING: Learn what derived works are clicking here.
All rights of the thesis/dissertation are from the authors
CeTI-SC/STI
Digital Library of Theses and Dissertations of USP. Copyright © 2001-2019. All rights reserved.