Matches in DBpedia 2014 for { <http://dbpedia.org/resource/CO-OPN> ?p ?o. }
Showing items 1 to 28 of
28
with 100 items per page.
- CO-OPN abstract "The CO-OPN (Concurrent Object-Oriented Petri Nets) 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 between the objects is achieved by means of a synchronization mechanism, i.e., each object event may request to be synchronized with some methods (parameterized events) of one or a group of partners by means of a synchronization expression.A CO-OPN specification consists of a collection of two different modules: the abstract data type modules and the object modules. The abstract data type modules concern the data structure component of the specifications, and many sorted algebraic specifications are used when describing these modules. Furthermore, the object modules represent the concept of encapsulated entities that possess an internal state and provide the exterior with various services. For this second sort of modules, an algebraic net formalism has been adopted. Algebraic Petri nets, a kind of high level nets, are a great improvement over the Petri nets, i.e. Petri nets tokens are replaced with data structures which are described by means of algebraic abstract data types. For managing visibility, both abstract data type modules and object modules are composed of an interface (which allows some operations to be visible from the outside) and a body (which mainly encapsulates the operations properties and some operation which are used for building the model). In the case of the objects modules, the stateand the behavior of the objects remain concealed within the body section.To develop models using the CO-OPN language it is possible to use the COOPNBuilder framework that is an environment composed of a set of tools destinated to the support of concurrent software development based on the CO-OPN language.".
- CO-OPN wikiPageExternalLink smv.unige.ch.
- CO-OPN wikiPageExternalLink co-opn.
- CO-OPN wikiPageID "2078596".
- CO-OPN wikiPageRevisionID "544043570".
- CO-OPN hasPhotoCollection CO-OPN.
- CO-OPN subject Category:Petri_nets.
- CO-OPN subject Category:Specification_languages.
- CO-OPN type Artifact100021939.
- CO-OPN type ComputerNetwork103085333.
- CO-OPN type Instrumentality103575240.
- CO-OPN type Internet103580615.
- CO-OPN type Network103820728.
- CO-OPN type Object100002684.
- CO-OPN type PetriNets.
- CO-OPN type PhysicalEntity100001930.
- CO-OPN type System104377057.
- CO-OPN type Whole100003553.
- CO-OPN comment "The CO-OPN (Concurrent Object-Oriented Petri Nets) 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.".
- CO-OPN label "CO-OPN".
- CO-OPN label "CO-OPN".
- CO-OPN sameAs CO-OPN.
- CO-OPN sameAs m.06knlz.
- CO-OPN sameAs Q2931810.
- CO-OPN sameAs Q2931810.
- CO-OPN sameAs CO-OPN.
- CO-OPN wasDerivedFrom CO-OPN?oldid=544043570.
- CO-OPN isPrimaryTopicOf CO-OPN.