1 / 13

MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 1

2ª Apresentação (A2) Modelos de Sistema. Statecharts. RA: 991646 / Edson Amorina Junior RA: 983775 / Peterson Peixoto dos Santos. MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 1. O Que é Statecharts?.

nasia
Download Presentation

MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 1

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. 2ª Apresentação (A2) Modelos de Sistema Statecharts RA: 991646 / Edson Amorina Junior RA: 983775 / Peterson Peixoto dos Santos MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 1

  2. O Que é Statecharts? STATECHARTS é um formalismo visual concebido por David Harel para especificar sistemas em tempo real do tipo reativo. São exemplos:redes de comunicação de dados, sistemas operacionais,sistemas aviônicos eas interfaces homem-máquina contidas em vários softwares . STATECHARTS é uma evolução dos clássicos Diagramas de Transição de Estados. MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 2

  3. Conceitos Básicos Os conceitos básicos modelados por STATECHARTS são:Estado - quando sistema se encontra em um determinado instante do tempo.Evento - são acontecimentos que ocorrem e que provocam transições de estado.Condição - é um predicado opcional associado a um evento que habilita o sistema a efetuar uma transição de estado. MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 3

  4. Modelando com Statecharts Os principais mecanismos de modelagem disponibilizados por STATECHARTS são: 1. Clustering 2. Refinamento 3. Estado Default 4. Entrada-pela-história 5. Concorrência 6. Ações. MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 4

  5. Modelando com Statecharts Os principais mecanismos de modelagem disponibilizados por STATECHARTS são: 1. Clustering 2. Refinamento 3. Estado Default 4. Entrada-pela-história 5. Concorrência 6. Ações. MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 5

  6. Modelando com Statecharts Os principais mecanismos de modelagem disponibilizados por STATECHARTS são: 1. Clustering 2. Refinamento 3. Estado Default 4. Entrada-pela-história 5. Concorrência 6. Ações. MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 6

  7. Modelando com Statecharts Os principais mecanismos de modelagem disponibilizados por STATECHARTS são: 1. Clustering 2. Refinamento 3. Estado Default 4. Entrada-pela-história 5. Concorrência 6. Ações. MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 7

  8. Modelando com Statecharts Os principais mecanismos de modelagem disponibilizados por STATECHARTS são: 1. Clustering 2. Refinamento 3. Estado Default 4. Entrada-pela-história 5. Concorrência 6. Ações. MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 8

  9. Modelando com Statecharts Os principais mecanismos de modelagem disponibilizados por STATECHARTS são: 1. Clustering 2. Refinamento 3. Estado Default 4. Entrada-pela-história 5. Concorrência 6. Ações. MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 9

  10. Modelando com Statecharts Os principais mecanismos de modelagem disponibilizados por STATECHARTS são: 1. Clustering 2. Refinamento 3. Estado Default 4. Entrada-pela-história 5. Concorrência 6. Ações MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 10

  11. Ferramentas Ferramentas para modelagem visual utilizando UML ou metodologia RUP. • Rational XDE Modeler (Rational) • BetterState (WINDRIVER) • STATEMATE (i-Logix) • HySCharts (Ferramenta desenvolvida em tese de mestrado) MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 11

  12. Avaliação do Modelo • Pontos fortes • Notação muito rica, melhoria em relação aos DTEs • Modelagem de processos concorrentes e sistemas reativos; • Facilidade de entendimento; • Suportado por notações OO (UML / OMT); • Pontos fracos • Validação dependente de ferramentas MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 12

  13. Referências • <http://www.rational.com/media/products/xde/D811_XDE_Modeler.pdf> Acesso em 15/05/2003 • BetterState <http://www.windriver.com/products/betterstate/betterstate.pdf> Acesso em 15/05/2003 • i-Logix. Statemate MAGNUM. Disponível em: <http://www.ilogix.com/products/magnum/index.cfm> Acesso em 15/05/2003 • <http://www.dct.ufms.br/~turine/hmbs/sb98.pdf> Acesso em 15/05/2003 • <http://www.pr.gov.br/celepar/celepar/batebyte/edicoes/1994/bb36/statecharts.htm> Acesso em 13/05/2003 • <http://www.dcc.unicamp.br/~eliane/Cursos/Transparencias/Analise_Projeto/statecharts.ps> Acesso em 15/05/2003 MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 13

More Related