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
MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 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 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 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 4
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.
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. Clustering2. Refinamento3. Estado Default
4. Entrada-pela-história5. Concorrência6. 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. Refinamento3. Estado Default
4. Entrada-pela-história5. Concorrência6. 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. Refinamento3. Estado Default4. Entrada-pela-história5. Concorrência6. 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. Refinamento3. Estado Default
4. Entrada-pela-história5. Concorrência6. 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. Refinamento3. Estado Default
4. Entrada-pela-história5. Concorrência6. Ações.
MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 10
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
MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 11
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.
MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 12
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
MO409 / Engenharia de Software I - 1º Semestre / 2003 - Prof. Eliane 13
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
Top Related