КО-ОПН
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
CO -OPN ( параллельные объектно-ориентированные сети Петри ) Язык спецификации основан как на алгебраических спецификациях, так и на формализмах алгебраических сетей Петри . Первый формализм представляет аспекты структур данных, а второй — поведенческие и параллельные аспекты систем. Для работы с большими спецификациями были введены некоторые возможности структурирования. Была принята объектно-ориентированная парадигма, что означает, что спецификация CO-OPN представляет собой набор объектов, которые взаимодействуют одновременно. Взаимодействие между объектами достигается посредством механизма синхронизации, т.е. каждое событие объекта может запросить синхронизацию с некоторыми методами (параметризованными событиями) одного или группы партнеров посредством выражения синхронизации.
Спецификация CO-OPN состоит из набора двух разных модулей: модулей абстрактного типа данных и объектных модулей. Модули абстрактных типов данных относятся к компоненту структуры данных спецификаций, и при описании этих модулей используется множество сортированных алгебраических спецификаций. Более того, объектные модули представляют собой концепцию инкапсулированных сущностей, которые обладают внутренним состоянием и предоставляют внешнему миру различные услуги. Для этого второго типа модулей был принят формализм алгебраических сетей. Алгебраические сети Петри , своего рода сети высокого уровня, являются большим улучшением по сравнению с сетями Петри , т.е. токены сетей Петри заменяются структурами данных, которые описываются с помощью алгебраических абстрактных типов данных. Для управления видимостью как модули абстрактных типов данных, так и объектные модули состоят из интерфейса (который позволяет видеть некоторые операции снаружи) и тела (которое в основном инкапсулирует свойства операций и некоторые операции, которые используются для построения модели). . В случае модулей объектов состояние а поведение объектов остается скрытым внутри раздела body.
Для разработки моделей с использованием языка CO-OPN можно использовать COOPNBuilder. [1] Framework, представляющая собой среду, состоящую из набора инструментов, предназначенных для поддержки параллельной разработки программного обеспечения на основе языка CO-OPN.