09-29-2008
|
|
Форум Робот Girl
|
|
|
Регистрация: Sep 2000
Сообщений: 22282
|
|
|
О семантике и межрасовым условия - введение
2008-09-29T13: 43:00.009 +03:00
.jpg&action=ProductMain)
В этом блоге я размещения затронуть вопрос, который требует внимания к точному семантики.
Я представить тема сегодня - подождите несколько дней, чтобы узнать, если Есть замечания - а затем отправить анализ этого дела.
Учитывая простую применение показано ниже:
Поясним этот простой пример, поскольку я хотел бы сосредоточиться на одном вопросе, я упростить все другие вещи для устранения каких-либо помех.
- Существует одном случае источник (это не часы синхронизации вопросы), который генерирует события трех типов E1, E2, E3.
- Позвольте также сказать, что в нашей истории есть одно событий каждого типа, которые публикуются (так вопросы не синонимы), таблица показывает их появления время (когда они имели место в действительности), и время обнаружения (если они были зарегистрированы в системе ) - каждая из них не было зарегистрировано 1 единицу времени после ее появления, ни повторного заказа проблему.
- События E1, E2 в качестве вклада в АООС типа "схема обнаружения", которая определяет временной последовательности шаблон "Е1 до Е2", а когда это обнаруживается, что она происходит событие e4 - некоторые функции E1 и E2.
- События e3 (сырья случае) и e4 (ИЗВЛЕКАЕТСЯ случае) в качестве вклада в другую АООС типа "схема обнаружения", которая снова обнаруживает временной последовательности структура "E3 до Е4", если эта структура выявляется - создать событие E5 триггеры, которые некоторые действия на потребителя.
Вопрос в том - с учетом выше - будут действия вызваны E5 произойти?, Т.е. будет ли структура - "e3 до Е4" будет оцениваться в действительности.
Прежде чем добраться до анализа - Интересно, какими будут результаты в текущем EP решения:
- Акция будет всегда срабатывает.
- Акция не будет срабатывает.
- В этом случае поведение не является детерминированной (иногда да, а иногда и нет)
- Любые другие возможности (уточнить).
Пожалуйста, отправьте его в качестве комментария к этой должности я буду публиковать интересные анализ этого дела на следующей неделе.
Поздравляю с Новым Годом.
Источник ...
|
Подробнее UNIX и Linux Темы форума можно найти полезные
Powered By 
Гибридный режим
