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

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

2ª Apresentação (A2)

Modelos de SistemaModelos de Sistema

RA: 991646 / Edson Amorina JuniorRA: 983775 / Peterson Peixoto dos Santos

StatechartsStatecharts


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 e as interfaces homem-máquina contidas em vários softwares .

STATECHARTS é uma evolução dos clássicos Diagramas de Transição de Estados.


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.


Modelando com Statecharts

Os principais mecanismos de modelagem disponibilizados por STATECHARTS são: 1. Clustering

2. Refinamento3. Estado Default

4. Entrada-pela-história5. Concorrência6. Ações.



Os principais mecanismos de modelagem disponibilizados por STATECHARTS são: 1. Clustering2. Refinamento3. Estado Default





2. Refinamento3. Estado Default4. Entrada-pela-história5. Concorrência6. Ações.





4. Entrada-pela-história5. Concorrência6. Ações


Ferramentas

1. Rational XDE Modeler (Rational)2. BetterState (WINDRIVER)3. STATEMATE (i-Logix)4. HySCharts (Ferramenta desenvolvida em tese de

mestrado)

Ferramentas para modelagem visual utilizando UML ou metodologia RUP.


Avaliação do ModeloPontos 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


Referências1. <http://www.rational.com/media/products/xde/

D811_XDE_Modeler.pdf> Acesso em 15/05/20032. BetterState

<http://www.windriver.com/products/betterstate/betterstate.pdf> Acesso em 15/05/2003

3. i-Logix. Statemate MAGNUM. Disponível em: <http://www.ilogix.com/products/magnum/index.cfm> Acesso em 15/05/2003

4. <http://www.dct.ufms.br/~turine/hmbs/sb98.pdf> Acesso em 15/05/2003

5. <http://www.pr.gov.br/celepar/celepar/batebyte/edicoes/1994/bb36/statecharts.htm> Acesso em 13/05/2003

6. <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 1

Documents

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