Concurrent Object-Oriented Petri Nets

Concurrent Object-Oriented Petri Nets

CO-OPN

CO-OPN, pour Concurrent Object-Oriented Petri Nets, en français Réseaux de Petri Concurrents Orientés Objet, est un langage de modélisation développé au Software Modeling and Verification Group de l'Université de Genève qui permet de décrire des ensembles de réseaux de Petri algébriques concurrents communicants d'une façon modulaire s'inspirant fortement de la programmation orientée objet.

Lien externe

Ce document provient de « CO-OPN ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Concurrent Object-Oriented Petri Nets de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • Concurrent object oriented petri nets — CO OPN CO OPN, pour Concurrent Object Oriented Petri Nets, en français Réseaux de Petri Concurrents Orientés Objet, est un langage de modélisation développé au Software Modeling and Verification Group de l Université de Genève qui permet de… …   Wikipédia en Français

  • Concurrent computing — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent c …   Wikipedia

  • CO-OPN — 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… …   Wikipedia

  • CO-OPN — CO OPN, pour Concurrent Object Oriented Petri Nets, en français Réseaux de Petri Concurrents Orientés Objet, est un langage de modélisation développé au Software Modeling and Verification Group de l Université de Genève qui permet de décrire des… …   Wikipédia en Français

  • COOPN — CO OPN CO OPN, pour Concurrent Object Oriented Petri Nets, en français Réseaux de Petri Concurrents Orientés Objet, est un langage de modélisation développé au Software Modeling and Verification Group de l Université de Genève qui permet de… …   Wikipédia en Français

  • Concurrency (computer science) — The Dining Philosophers , a classic problem involving concurrency and shared resources In computer science, concurrency is a property of systems in which several computations are executing simultaneously, and potentially interacting with each… …   Wikipedia

  • Actor model theory — In theoretical computer science, Actor model theory concerns theoretical issues for the Actor model.Actors are the primitives that form the basis of the Actor model of concurrent digital computation. In response to a message that it receives, an… …   Wikipedia

  • Computer science — or computing science (abbreviated CS) is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems. Computer scientists invent algorithmic… …   Wikipedia

  • Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions …   Wikipedia

  • Functional Software Architecture — A Functional Software Architecture (FSA) is an architectural model that identifies enterprise functions, interactions and corresponding IT needs. These functions can be used as reference by different domain experts to develop IT systems as part… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”