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?
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.
MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane
2
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
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
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
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
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
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
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
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
Ferramentas
Ferramentas para modelagem visual utilizando
UML ou metodologia RUP.
1. Rational XDE Modeler (Rational)
2. BetterState (WINDRIVER)
3. STATEMATE (i-Logix)
4. HySCharts (Ferramenta desenvolvida em tese de
mestrado)
MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane
11
Avaliação do Modelo
Pontos fortes
Pontos fracos
•
Notação muito rica,
melhoria em relação aos
DTEs
• Validação dependente
de ferramentas
•
Modelagem de processos
concorrentes e sistemas
reativos;
•
Facilidade de
entendimento;
•
Suportado por notações
OO (UML / OMT);
MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane
12
Referências
1.
<http://www.rational.com/media/products/xde/D811_XDE_Model
er.pdf> Acesso em 15/05/2003
2.
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/bb
36/statecharts.htm> Acesso em 13/05/2003
6.
<http://www.dcc.unicamp.br/~eliane/Cursos/Transparencias/Anal
ise_Projeto/statecharts.ps> Acesso em 15/05/2003
MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane
13