An appropriate combination of COOP and Petri nets is required in order to profit from the strength of both methods. This paper gives an overview of our ongoing research on PN COOPN, which is a paradigm and developmen...An appropriate combination of COOP and Petri nets is required in order to profit from the strength of both methods. This paper gives an overview of our ongoing research on PN COOPN, which is a paradigm and development environment for concurrent object oriented programming based on Petri nets. We describe the object model and programming notation and emphasis the inheritance part for PN COOPN.展开更多
Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing standard and has been adopted by more and more systems. This p...Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing standard and has been adopted by more and more systems. This paper proposes a novel approach to realize concurrent object-oriented programming based on Message-passing interface(MPI) in which future method communication is adopted between concurrent objects. A state behavior set is proposed to solve inheritance anomaly, and a bounded buffer is taken as an example to illustrate this proposal. The definition of ParaMPI class, which is the most important class in the concurrent class library, and implementation issues are briefly described.展开更多
It appears that extensibility and reusability of concurrent applications is far from trivial. Often the inheritance anomalies problems will arise. Basing on the composition-filters object model which is proposed by Ak...It appears that extensibility and reusability of concurrent applications is far from trivial. Often the inheritance anomalies problems will arise. Basing on the composition-filters object model which is proposed by Aksit, we introduce the Generic Synchronization Policy (GSP) in the inheritance mechanism, produce a new kind of concurrent object-oriented computational model. After analyzing, we show that this new model can tackle the suffering from the inheritance anomalies.展开更多
文摘An appropriate combination of COOP and Petri nets is required in order to profit from the strength of both methods. This paper gives an overview of our ongoing research on PN COOPN, which is a paradigm and development environment for concurrent object oriented programming based on Petri nets. We describe the object model and programming notation and emphasis the inheritance part for PN COOPN.
文摘Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing standard and has been adopted by more and more systems. This paper proposes a novel approach to realize concurrent object-oriented programming based on Message-passing interface(MPI) in which future method communication is adopted between concurrent objects. A state behavior set is proposed to solve inheritance anomaly, and a bounded buffer is taken as an example to illustrate this proposal. The definition of ParaMPI class, which is the most important class in the concurrent class library, and implementation issues are briefly described.
文摘It appears that extensibility and reusability of concurrent applications is far from trivial. Often the inheritance anomalies problems will arise. Basing on the composition-filters object model which is proposed by Aksit, we introduce the Generic Synchronization Policy (GSP) in the inheritance mechanism, produce a new kind of concurrent object-oriented computational model. After analyzing, we show that this new model can tackle the suffering from the inheritance anomalies.