API-исчисление
 | Тон или стиль этой статьи могут не отражать энциклопедический тон , используемый в Википедии . ( сентябрь 2020 г. ) |
API Calculus — это программа, которая решает задачи исчисления с использованием операционных систем внутри устройства. создал программу PI Calculus, В 1989 году Робин Милнер которая на протяжении многих лет пользовалась большим успехом. PI Calculus — это расширение алгебры процессов CCS , инструмента с алгебраическими языками, предназначенными для обработки и формулирования операторов. [1] Он предоставляет формальную теорию для моделирования систем и рассуждений об их поведении. В PI Calculus есть две конкретные переменные: имя и процессы. [2] В 2002 году Шахрам Рахими решил создать обновленную версию PI Calculus и назвал ее API Calculus. Милнер заявил, что детальными характеристиками API-исчисления являются его «способность к общению, способность к сотрудничеству, способность к рассуждению и обучению, адаптивное поведение и надежность». [3] Основная цель создания этого мобильного усовершенствования — улучшить сеть и общаться с другими операторами во время выполнения задачи. К сожалению, API Calculus не идеален и столкнулся с проблемой в системе безопасности. Язык имеет семь функций, созданных внутри устройства, которых в PI Calculus нет . Поскольку эта программа настолько продвинута из-за способа создания программного обеспечения и различных возможностей, предлагаемых в программе, она требует преобразования в другие языки программирования, чтобы ее можно было использовать на различных устройствах и других вычислительных языках. Хотя API Calculus в настоящее время используется в различных других языках программирования, изменения все еще вносятся, поскольку безопасность API Calculus вызывает проблемы у пользователей.
Что он делает? [ редактировать ]
Основные области применения API Calculus — моделирование миграции, интеллекта, естественной группировки и безопасности в агентных системах. [4] Этот язык программирования исчисления обычно используется в различных других языках программирования, таких как Java . [5] В Java, известном языке программирования, используемом различными корпорациями, такими как IBM , TCS и Google , API Calculus обычно используется для решения уравнений и программ, включающих исчисление.
Особенности [ править ]
API Calculus имеет широкий спектр функций, включая функции, аналогичные PI Calculus, но также имеет новые и улучшенные функции, такие как:
- принимает процессы для передачи по каналам связи
- решена естественная группировка мобильных процессов
- словарь исчисления функций
- включает в себя среду — уровень абстракции, который находится между отдельными мобильными агентами (сочетание компьютерного программного обеспечения и данных, которые могут передаваться с одного компьютера на другой независимо и при этом могут работать на самом последнем компьютере, на который были переданы данные) и устройство в целом. Это очень ограниченная среда, в которой участвуют ноль или множество агентов или других сред, которые тесно сотрудничают для решения компьютерных задач. [6]
- возможность группировки хостов ( физического узла - точки подключения - или программного обеспечения) и процессов (работающей компьютерной программы), которые похожи
- содержит разные языки программирования
- единицы знаний
Стратегия проверки [ править ]
Язык программного обеспечения, используемый в программе API Calculus, переведен на два других языка. Сначала он переводится из синтаксиса API Calculus в ATEL/ATL , а затем в MOCHA . Результат работы модуля перевода аналогичен ранее упомянутому шагу. [5]
- Модуль ввода (получает модель расчета API)
- Перевод модели (преобразует синтаксис API в синтаксис ATEL/ATL)
- Проверка модели (MOCHA)
- Режим отображения
Для успешной передачи синтаксиса API в ATEL/ATL необходимы знания по преобразованию кодирования.
Синтаксис [ править ]
Программа API имеет собственный синтаксис, которому она следует, чтобы обеспечить бесперебойную работу программы. Программа разбита на четыре основные категории, такие как термины, процессы, единицы знаний и среда. Терминами могут быть имена, термины, факты, правила или функции, которые присваиваются именам переменных программы. Процесс — это список выражений, используемых в программе для решения задачи или уравнения. Единицы знаний или обычно называемые параметрами — это факты и правила, которые можно использовать для решения программы. Наконец, среда – это возможность самостоятельно передавать компьютерные данные и информацию с одного компьютера на другой. [6]
Недостатки [ править ]
Единственный недостаток API Calculus заключается в том, что он не поддерживает систему безопасности на мобильных устройствах, таких как ноутбуки . Проблема в том, что любой внешний источник, пытающийся войти в среду, не имеет права войти, потому что API Calculus требует доказательства того, что он может быть надежным источником.
Ссылки [ править ]
- ^ «Алгебра процессов» . Theory.stanford.edu . Проверено 9 ноября 2015 г.
- ^ Рахими, Шахрам (2011). Расширение Пи-исчисления для оценки производительности . Иллинойс: Научные исследования.
- ^ Рахими, Шахрам (20 октября 2015 г.). «ACVisualizer: инструмент визуализации для API-исчисления» (PDF) . ACVisualizer: инструмент визуализации для API-исчисления .
- ^ Рахими, Шахрам (20 октября 2015 г.). «ACVisualizer: инструмент визуализации для API-исчисления» (PDF) . ACVisualizer: инструмент визуализации для API-исчисления .
- ↑ Перейти обратно: Перейти обратно: а б «Первый этап стратегии проверки системы для API-исчисления» . Исследовательские ворота . Проверено 21 октября 2015 г.
- ↑ Перейти обратно: Перейти обратно: а б Лойя, Винченцо (1 января 2002 г.). Мягкие вычислительные агенты: новый взгляд на динамические информационные системы . ИОС Пресс. ISBN 9784274905445 .
| Общий | |
|---|---|
| Процесс исчисления | |
| Классические задачи | |
