Titlebook: Concurrent Object-Oriented Programming and Petri Nets; Advances in Petri Ne Gul A. Agha,Fiorella Cindio,Grzegorz Rozenberg Book 2001 Spring

虛度

Flexible Types for a Concurrent Modelages. Types and subtyping for concurrent languages are not yet explored sufficiently and tend to be less flexible than desired. We propose a flexible type model for concurrent languages. This model ensures statically that “message-not-understood-errors” do not occur at run-time even if object behavior is changed dynamically.

誘使

暫停,間歇

間接

https://doi.org/10.1007/3-540-45397-0Groupware; Unified Modeling Language (UML); calculus; computer; computer science; concurrency; distributed

Arctic

Armory

磨碎

Traglufthallen unter Windbelastung particular the coordination language called Objective Linda - and Petri nets. The main contribution of this paper is to provide formal de.- nitions of a Petri net formalism that is used to provide (1) semantics for the Objective Linda language, and (2) modelling the internal behaviour of concurrent

癡呆

Traglufthallen unter Windbelastungmantics which expresses the true concurrency of the object behaviors. Finally, in order to illustrate the modeling capabilities of our formalism, we adopted a case study on groupware or, more specifically, on a cooperative editor of hierarchical diagrams.

項(xiàng)目

錯(cuò)

https://doi.org/10.1007/978-3-663-13900-3haviour of an active object is defined by a Petri net. This paper also proposes a CoOperative Object solution to the dynamic dining philosophers problem, and tackles implementation issues through the presentation of SYROCO, a CoOperative Objects compiler.