CO-OPN
id:
co-opn-240-5079420
title:
CO-OPN
text:
The CO-OPN specification language is based on both algebraic specifications and algebraic Petri nets formalisms. The former formalism represent the data structures aspects, while the latter stands for the behavioral and concurrent aspects of systems. In order to deal with large specifications some structuring capabilities have been introduced. The object-oriented paradigm has been adopted, which means that a CO-OPN specification is a collection of objects which interact concurrently. Cooperation
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/CO-OPN
date created:
date modified:
2021-01-26T09:37:34Z
main entity:
{"identifier":"Q2931810","url":"https://www.wikidata.org/entity/Q2931810"}
image:
fields total:
13
integrity:
13