Руководство пользователя igasm (ver. 2) интернет-ориентированного интерпретатора машины

Скачать 304.97 Kb.

Название	Руководство пользователя igasm (ver. 2) интернет-ориентированного интерпретатора машины
страница	1/6
Тип	Руководство пользователя

rykovodstvo.ru > Руководство эксплуатация > Руководство пользователя

1 2 3 4 5 6

Руководство пользователя iGASM (ver. 1.2) –

интернет-ориентированного интерпретатора машины

абстрактных состояний.

Краткое описание интерпретатора.

iGASM – интерпретатор МАС (в дальнейшем просто – iGASM), представляет собой Java-апплет, встраиваемый в HTML-документ, и имеет простой и удобный оконный интерфейс. Выбор такой реализации естественным образом обусловил некоторые ограничения безопасности, связанные с файловыми операциями: в текущей версии интерпретатора отсутствует возможность сохранения и загрузки исходных текстов спецификаций, однако в целом это несущественно отражается на удобстве работы с программой. Для сохранения написанных текстов спецификаций и загрузки существующих в данной версии рекомендуется использовать буфер обмена и операции вставки и копирования.
iGASM состоит из трех частей: транслятора, анализирующего исходный текст спецификации и преобразующего его в некоторый внутренний код, интерпретатора (демона), управляющего изменениями состояний МАС в соответствии с исходной спецификацией, и оболочки, оконного интерфейса.
Интерпретатор позволяет исследовать написанные спецификации требуемого уровня абстракции и предоставляет возможности отладки, такие как:

пошаговое выполнение спецификаций;
просмотр значений функторов во время выполнения;
изменение значений функций во время выполнения;
просмотр состояния универсумов во время выполнения;
прерывание пользователем выполнения;
задание условий остановки выполнения.

Язык спецификаций интерпретатора.

Синтаксис языка спецификаций для интерпретатора iGASM в целом не существенно отличается от первоначального варианта языка спецификаций, основанного на понятии МАС, предложенного Гуревичем и его коллегами.

Кроме того, в язык включены синтаксические структуры, предоставляющие дополнительные возможности для более гибкого описания спецификаций.

В спецификации символы пробела и перевода строки используются как разделители и могут присутствовать в любом месте текста спецификации. Комментарии так же могут присутствовать в любом месте текста спецификации, они начинаются после оператора “/*” и заканчиваются перед оператором “*/” (как в языке программирования C):

/*…<�текст комментария>…*/.

Нотация.

В описании синтаксиса языка спецификаций интерпретатора iGASM используется следующая нотация, представляющая собой вариант расширенных регулярных выражений. «<�…>» – это группирующая конструкция. Символы «|», «*» и «^?» - это операторы, которые могут применяться к лексемам или группам лексем. Бинарный оператор «|», примененный к двум лексемам, обозначает присутствие одной из этих лексем; «*», примененная к лексеме, обозначает, что эта лексема может присутствовать ноль или более раз; «^?» обозначает присутствие лексемы ноль или один раз. Например,

<lexem1|lexem2>

обозначает присутствие lexem1 или lexem2,

<lexem>*

обозначает присутствие lexem ноль или более раз, а

^?

обозначает присутствие lexem ноль или один раз.
Слова, выделенные жирным шрифтом, обозначают ключевые слова.

Идентификаторы, константы и переменные.

Идентификаторы.

Идентификаторы, обозначающие имена универсумов, функций, переменных и констант должны быть уникальными и могут содержать как русские, так и латинские буквы. Они должны удовлетворять следующему расширенному регулярному выражению:

[A..Za..zA..Яа..я][A..Za..zA..Яа..я0..9_]*

В языке интерпретатора регистр не учитывается.
Константы.

Константами в языке спецификаций являются:

простые константы;
составные константы, кортежи;
именованные константы, значениями которых являются уникальные элементы
константа Undef.

Простые константы реализуют простые типы данных:

числа (вещественные числа);
символы (‘..’);
строки (“..”);
логические константы (true,false).

Специальная константа Undef играет ту же роль, что и в теоретическом описании машины абстрактных состояний.

Составные константы будут рассмотрены позже.

Именованные константы вводятся вместе с определением универсума, и не требует предварительного описания. Их значения являются уникальными, после определения их можно использовать как простые константы.
Переменные.

Переменные в языке используются в некоторых правилах, являющихся их областью действия. Имена переменных должны быть уникальными идентификаторами в рамках своей области действия. Переменные определяются автоматически вместе с определением правила и не требуют предварительного описания. Они не могут быть использованы как объекты с замещаемым значением. Изменением значений переменных управляет интерпретатор в соответствии с правилами перехода (см. п. 2.12.3, п. 2.12.4).

1 2 3 4 5 6

Похожие:

	Руководство пользователя © arqa technologies, март 2012 Система webquik предназначена для просмотра информации и совершения операций с ценными бумагами через интернет (интернет-трейдинга)....		Руководство пользователя 2010 г. Оглавление Назначение 3 Основные... Интернет-служба «Теплоинформ» является автоматизированной информационной системой, обеспечивающей
	Руководство пользователя Устройство предназначено для работы совместно с автомобильной охранной сигнализацией sobr-100 (ver. 100. 1). Наличие в охранной системе...		Руководство пользователя Подача заявок на выполнение регламентных... Для работы с Технологическим порталом смэв на пк пользователя должен быть установлен интернет-браузер, поддерживающий Javascript
	Руководство пользователя мобильное приложение сервиса интернет-банк для физических лиц		Руководство пользователя Ritmix rbk-750 Вашего цифрового фотоаппарата. Книга поддерживает большинство популярных форматов электронных книг, а также форматы изображений jpg...
	Руководство пользователя Мы гордимся тем, что предлагаем нашему потребителю новейшую и высококачественную продукцию для караоке. Перед эксплуатацией устройства,...		Автоматическая офсетная машина для двусторонней печати Руководство по эксплуатации предназначено для обеспечения безопасной и эффективной работы печатной машины. Перед эксплуатацией и...
	Руководство по эксплуатации версия 0,июль 2015 Внимание! Перед началом работы внимательно прочтите данное руководство пользователя. Данное руководство пользователя является неотъемлемой...		Руководство по эксплуатации прау. 466137. 013-20. 04 Рэ Настоящее руководство предназначено для обеспечения пользователя ккт (контрольно-кассовой техники) сведениями по эксплуатации и обслуживанию...
	Руководство по эксплуатации версия 0, ноябрь 2015 (код 21-10-02) Внимание! Перед началом работы внимательно прочтите данное руководство пользователя. Данное руководство пользователя является неотъемлемой...		Руководство пользователя Rev. 02 ( April,2001 ) Интернет средствами dsl или кабельного модема всеми компьютерами в локальной сети. Данное Руководство рассказывает о возможностях...
	Руководство пользователя Rev. 02 ( April,2001 ) Интернет средствами dsl или кабельного модема всеми компьютерами в локальной сети. Данное Руководство рассказывает о возможностях...		Руководство пользователя Беспроводная микрофонная система vhf-диапазона Ritmix rwm-220 Перед использованием внимательно прочитайте руководство пользователя, убедитесь в том, что вы знаете, как использовать систему правильно....
	Руководство пользователя Версия г. Екатеринбург. 2016 г Оглавление... Клиентов с использованием системы дистанционного банковского обслуживания для физических лиц (далее по тексту – «Система дбо») через...		Руководство по эксплуатации и техническому обслуживанию shantui construction machinery co., Ltd Вт (320 л с.). Настоящее руководство описывает устройство машины, технические характеристики, правила эксплуатации и технического...

Руководство, инструкция по применению

Руководство пользователя igasm (ver. 2) интернет-ориентированного интерпретатора машины

Краткое описание интерпретатора.

Язык спецификаций интерпретатора.

Нотация.

Идентификаторы, константы и переменные.

Похожие: