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


Скачать 304.97 Kb.
Название Руководство пользователя igasm (ver. 2) интернет-ориентированного интерпретатора машины
страница 1/6
Тип Руководство пользователя
rykovodstvo.ru > Руководство эксплуатация > Руководство пользователя
  1   2   3   4   5   6
Руководство пользователя iGASM (ver. 1.2) –

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

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

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



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

  • пошаговое выполнение спецификаций;

  • просмотр значений функторов во время выполнения;

  • изменение значений функций во время выполнения;

  • просмотр состояния универсумов во время выполнения;

  • прерывание пользователем выполнения;

  • задание условий остановки выполнения.
  1. Язык спецификаций интерпретатора.



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

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

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

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

  1. Нотация.


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

<lexem1|lexem2>

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

<lexem>*

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

?

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



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

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

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

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

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

  • простые константы;

  • составные константы, кортежи;

  • именованные константы, значениями которых являются уникальные элементы

  • константа Undef.


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

  • числа (вещественные числа);

  • символы (‘..’);

  • строки (“..”);

  • логические константы (true,false).


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

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

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

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

  1   2   3   4   5   6

Похожие:

Руководство пользователя igasm (ver. 2) интернет-ориентированного интерпретатора машины icon Руководство пользователя © arqa technologies, март 2012
Система webquik предназначена для просмотра информации и совершения операций с ценными бумагами через интернет (интернет-трейдинга)....
Руководство пользователя igasm (ver. 2) интернет-ориентированного интерпретатора машины icon Руководство пользователя 2010 г. Оглавление Назначение 3 Основные...
Интернет-служба «Теплоинформ» является автоматизированной информационной системой, обеспечивающей
Руководство пользователя igasm (ver. 2) интернет-ориентированного интерпретатора машины icon Руководство пользователя
Устройство предназначено для работы совместно с автомобильной охранной сигнализацией sobr-100 (ver. 100. 1). Наличие в охранной системе...
Руководство пользователя igasm (ver. 2) интернет-ориентированного интерпретатора машины icon Руководство пользователя Подача заявок на выполнение регламентных...
Для работы с Технологическим порталом смэв на пк пользователя должен быть установлен интернет-браузер, поддерживающий Javascript
Руководство пользователя igasm (ver. 2) интернет-ориентированного интерпретатора машины icon Руководство пользователя мобильное приложение сервиса интернет-банк для физических лиц

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

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




При копировании материала укажите ссылку © 2024
контакты
rykovodstvo.ru
Поиск