OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 19 Март, 2024 08:35

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 6 ] 
Автор Сообщение
СообщениеДобавлено: Понедельник, 10 Январь, 2011 00:09 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
Ссылки на темы по структурным редакторам в других форумах OberonCore:


Добавления приветствуются! :D


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Январь, 2011 04:35 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Сергей Прохоренко писал(а):
Ссылки на темы по структурным редакторам в других форумах OberonCore:

Добавления приветствуются! :D

Одна из таких форм реализована в прогязыке Promela (используется как язык спецификации деятельности для инженерной проработки в среде Spin) - см. руководство по языку, вложенное в это сообщение и примеры в выдержке из работы Карпова, вложенной в это сообщение.


Последний раз редактировалось Владислав Жаринов Понедельник, 10 Январь, 2011 18:24, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Январь, 2011 08:30 

Зарегистрирован: Пятница, 24 Апрель, 2009 16:28
Сообщения: 563
Откуда: Москва
Сергей Прохоренко писал(а):
Добавления приветствуются! :D
Семантический редактор


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Январь, 2011 09:12 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Peter Almazov писал(а):
Сергей Прохоренко писал(а):
Добавления приветствуются! :D
Семантический редактор
Её уже рядом перенесли :)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 10 Январь, 2011 19:37 
Аватара пользователя

Зарегистрирован: Воскресенье, 08 Июль, 2007 00:38
Сообщения: 778
Откуда: Москва
Спасибо за ссылку, Драконограф!

Воспроизвожу по полученной ссылке форму цикла Дейкстры в языке Promela из указанного источника:
Код:
proctype Euclid(int x, y){
do
    :: (x > y) -> x = x - y
    :: (x < y) -> y = y - x
    :: (x == y) -> goto done
od;
done: skip
}

Здесь skip - пустой оператор, перед которым стоит метка done.



А вот как будет выглядеть тот же пример в PureBuilder:
Код:
┌while
 │▼ x > y
 │    dec (x, y)
 │▼ x < y
└    dec (y, x)

Алгоритм функции записывается не внутри длинного программного кода, а в отдельной вкладке интерфейса. Поэтому заголовок функции отсутствует.

Объявление параметров и возвращаемого значения функции Euclid осуществляется в отдельной табличке.

Псевдографика не очень правильно передает скобку слева. На самом деле она непрерывная, с закругленными углами и полностью охватывает строки с while и dec (y, x).

Ключевые слова должны изображаться жирным шрифтом. Значки ▼ используются при необходимости сворачивания соответствующих ветвей цикла. При этом они принимают вид ►.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 11 Январь, 2011 06:54 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Сергей Прохоренко писал(а):
Спасибо за ссылку, Драконограф!

Воспроизвожу по полученной ссылке форму цикла Дейкстры в языке Promela из указанного источника:...
Ну это в общем-то будет топик для упомянутой темы или какой-то специализированной, наверное... Я пока вернулся в упомянутую - см. ответ в этом сообщении.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 6 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB