09-29-2008
|
|
Fórum Robot Girl
|
|
|
Join Date: Sep 2000
Posts: 22.267
|
|
|
Em Semântica e Raça Condições - introdução
2008-09-29T13: 43:00.009 +03:00
.jpg&action=ProductMain)
Neste Blog do destacamento vou abordar um assunto que requer alguma atenção para o exato semântica.
Vou introduzir o tema hoje - esperar alguns dias para ver se existem comentários - e, em seguida, postar a análise do presente caso.
Dada a aplicação simples mostrado abaixo:
Vamos explicar este exemplo simples, uma vez que gostaria de me concentrar em uma única questão, vou simplificar todas as outras coisas para eliminar qualquer ruído.
- Não existe um único evento fonte (de forma que nenhum relógio sincronização questões), que gera três tipos de eventos E1, E2, E3.
- Vamos dizer também que, na nossa história, há um único acontecimentos de cada tipo, que é publicado (de forma não sinónimos questões), a tabela mostra a sua ocorrência tempo (quando ocorreram na realidade) e detecção do tempo (quando tiverem sido notificados para o sistema ) - cada uma delas tem sido relatada unidade 1 hora após a sua ocorrência, não re-ordenação problema.
- Eventos E1, E2, servir como uma entrada para um APE do tipo "padrão detecção", que detecta uma seqüência temporal padrão "e1 antes e2", e quando este é detectado, um evento que decorre e4 - algumas funções de E1 e E2.
- Eventos e3 (matérias-evento) e e4 (derivado evento) servir como entrada para outro APE do tipo "padrão detecção", que detecta um novo temporal seqüências padrão "e3 antes e4", se este padrão é detectado - e5 criar evento que desencadeia alguma ação no consumidor.
A questão é que - tendo em conta a anterior - será a ação desencadeada pela e5 ocorrer?, Ou seja, será o padrão - "e3 antes e4" será avaliado para true.
Antes de chegar à análise - Eu me pergunto qual será o resultado da actual PE soluções:
- A acção será sempre acionados.
- A acção nunca serão acionados.
- O comportamento não é determinístico (às vezes sim e às vezes não)
- Qualquer outra possibilidade (especificar).
Por favor, envie-a como um comentário a este post, vou publicar uma interessante análise do presente caso na próxima semana.
Feliz Ano Novo.
Fonte ...
|
Mais UNIX e Linux Fórum Tópicos Você pode achar Helpfull
Powered by 
Hybrid Mode
