Concurrent Object-orientedness with Actors Visualized by High-level Petri Nets
نویسندگان
چکیده
Recurrence formulations for various problems, such as finding an optimal order of matrix multiplication, finding an optimal binary search tree, and optimal triangulation of polygons, assume a similar form. These formulations are known as dynamic programming approaches. We study a distributed version of the CYK algorithm of membership problem for context-free languages as an example of the dynamic programming problem. This paper deals with concurrent object-oriented systems with Actors. Distributed computations, managing dynamic programming searches with Actors, are visualized using Colored Petri Nets. Example of the CYK algorithm for context-free languages is used to present the method of distributed Actor-based computations. Selected features of an Actor-based software system, using a concurrent extension of C++, are also discussed.
منابع مشابه
A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt
In this paper we propose a concurrent simulator for Petri nets based on the model of Actors of Hewitt. The classes of Petri nets that are supported for the simulation are Place-Transition Nets and Elementary Nets. The simulator is written in Scala, a programming language with a library implementing the Actors model.
متن کاملTowards Analysing a Class of Object Petri Nets
The Petri net theory has been used to specify many types of systems, in particular, concurrent, distributed and nondeterministic. A class of high-level, object-based Petri nets, OBJSA nets, is being used to model the behaviour of a concurrent system a priority queue. We propose a method of analysing its behaviour by examining its structure and its underlying subnet components according to the s...
متن کاملConcurrent Architecture for a Multi-agent Platform
A multi-agent system has a high degree of concurrency. Petri nets are a well-established means for the description of concurrent systems. Reference nets are higher level, object-oriented Petri nets. With Renew (REference NEt Workshop), there exists a tool to model and execute reference nets with seamless Java integration. So, reference nets can be used to design executable multi-agent systems w...
متن کاملObject-Oriented Modelling with High-Level Modular Petri Nets
In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurrent system specifications written in object-oriented formalisms or languages with Petri nets, and second, as a way of allowing automated verification of the obtained Petri net using existing reachability analysis tools. We start ...
متن کاملOn Formalizing UML with High-Level Petri Nets
Object-oriented methodologies are increasingly used in software development. Despite the proposal of several formally based models, current object-oriented practice is still dominated by informal methodologies, like Booch, OMT, and UML. Unfortunately, the lack of dynamic semantics of such methodologies limits the possibility of early analysis of specifications. This paper indicates the feasibil...
متن کامل