Связанные понятия

Действия

Просмотры

Пространства имён

• Статья
• Обсуждение

Варианты

• Чтение
• Текущая версия
• Правка
• История

· Доказательное программирование — использовавшаяся в 1980-х годах в академических кругах технология разработки программ для ЭВМ с доказательствами правильности — доказательствами отсутствия ошибок в программах (понимая, в рамках данной теории, ошибки как несоответствия между программой и реализуемым ею алгоритмом).

· Аспе́ктно-ориенти́рованное программи́рование (АОП) — парадигма программирования, основанная на идее разделения функциональности для улучшения разбиения программы на модули.

· Методология АОП была предложена группой инженеров исследовательского центра Xerox PARC под руководством Грегора Кичалеса (Gregor Kiczales). Ими же было разработано аспектно-ориентированное расширение для языка Java, получившее название AspectJ — (2001 год).

· Агентно-ориентированный подход (в дальнейшем АОП) к программированию — разновидность представления программ, или парадигма программирования, в которой основополагающими концепциями являются понятия агента и его ментальное поведение, которое зависит от среды, в которой он находится. Концепция была предложена Шохемом (англ. Yoav Shoham) в 1990 г. ^[1]. Определение парадигмы, данное автором: ^[2]

Объект

Программная сущность заданной структуры и конкретизированных механизмов взаимодействия с другими объектами посредством передачи сообщений. Сообщения формируются и отсылаются в ответ на пришедшие сообщения. Формирование сообщений происходит процедурами на основании данных.

Актор

Программная сущность заданной структуры и механизмов взаимодействия.

· Содержит данные и процедуры.

· Обладает инкапсуляцией, отношениями, наследованием и может порождать сообщения.

Агент

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

· восприятие динамики среды;

· действия, изменяющие среду;

· рассуждения в целях интерпретации наблюдаемых явлений, решения задач, вывода заключений и определения действий.

В зависимости от степени свободы среды, подразумевающей наличие в ней соответствующего типа агента, среды подразделяются на ^[5]:

Замкнутые

Конечное детерминированное или вероятностное описание всей среды, которое известно агенту априори или путём исследования.

Открытые

Конечное детерминированное или вероятностное описание локальной области среды, в которой находится агент и которое известно ему априори или путём исследования.

Трансформируемые

Динамически развивающиеся среды, развивающей структурой которых является агент.

Дата добавления: 2015-07-13