翻訳と辞書 Words near each other ・ Co-operative Party ・ Co-operative Party (disambiguation) ・ Co-operative Permanent Building Society ・ Co-operative Press ・ Co-Operative Publishing Company Building ・ Co-operative Resources Centre ・ Co-operative Retail Services ・ Co-operative studies ・ Co-operative Travel Trading Group ・ Co-operative Wholesale Society ・ Co-operative Women's Guild ・ Co-Operative, Kentucky ・ Co-operatives UK ・ Co-operators Cup ・ Co-Opertition FIRST ・ CO-OPN ・ Co-optex ・ Co-option ・ Co-option (biology) ・ Co-option (disambiguation) ・ Co-orbital configuration ・ Co-ordinated On-line Record of Electors ・ Co-ordinated organisations ・ Co-ordinating Committee of Communist Parties in Britain ・ Co-ordinating Minister for Economic and Social Policies ・ Co-ordinating Minister for Infrastructure ・ Co-ordinating Minister for National Security ・ Co-ownership ・ Co-ownership (football) ・ CO-oximeter Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク CO-OPN ： ウィキペディア英語版 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 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 state and 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〔(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. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「CO-OPN」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.