標(biāo)題: Titlebook: Concurrent Object-Oriented Programming and Petri Nets; Advances in Petri Ne Gul A. Agha,Fiorella Cindio,Grzegorz Rozenberg Book 2001 Spring [打印本頁] 作者: CLOG 時間: 2025-3-21 18:01
書目名稱Concurrent Object-Oriented Programming and Petri Nets影響因子(影響力)
書目名稱Concurrent Object-Oriented Programming and Petri Nets影響因子(影響力)學(xué)科排名
書目名稱Concurrent Object-Oriented Programming and Petri Nets網(wǎng)絡(luò)公開度
書目名稱Concurrent Object-Oriented Programming and Petri Nets網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Concurrent Object-Oriented Programming and Petri Nets被引頻次
書目名稱Concurrent Object-Oriented Programming and Petri Nets被引頻次學(xué)科排名
書目名稱Concurrent Object-Oriented Programming and Petri Nets年度引用
書目名稱Concurrent Object-Oriented Programming and Petri Nets年度引用學(xué)科排名
書目名稱Concurrent Object-Oriented Programming and Petri Nets讀者反饋
書目名稱Concurrent Object-Oriented Programming and Petri Nets讀者反饋學(xué)科排名
作者: SEEK 時間: 2025-3-21 23:53
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study dynamic object creation. This approach allows us to reuse standard results of the theory of concurrency in a context where an high level object oriented specification style is preserved. To illustrate the expressive power of our formalism, we provide a specification of the Hurried Philosophers case study.作者: ALOFT 時間: 2025-3-22 03:25 作者: Virtues 時間: 2025-3-22 04:40 作者: HOWL 時間: 2025-3-22 11:34
Anton Pech,Andreas Kolbitsch,Franz Zachhe computer supported cooperative work. Also, we show how the application of the introduced G-CPN can be applied to obtain an object-oriented model of some of the elements of the cooperative graphical G-CPN editor.作者: 拋媚眼 時間: 2025-3-22 15:52
Book 2001ject-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their relation to objects are an attractive topi作者: 拋媚眼 時間: 2025-3-22 20:24 作者: 地名表 時間: 2025-3-23 00:32
OB(PN)2: An Object Based Petri Net Programming Notationect-oriented specification formalism into Petri-nets. The translation relies on the CCS-like composition operators defined for M-nets. Each program construct is translated to a box (a special kind of net) or an operation for combining boxes. Thus in essence each program is translated into an expression in the algebra of boxes.作者: groggy 時間: 2025-3-23 04:35 作者: ABHOR 時間: 2025-3-23 09:19 作者: 刺耳的聲音 時間: 2025-3-23 12:42 作者: Cholecystokinin 時間: 2025-3-23 17:11
Anton Pech,Andreas Kolbitsch,Franz Zachunication model used in KRON is close to the generative communication model, which supposes an alternative to message passing. The inferences delivered from the DES behavioral knowledge are governed by a control mechanism based on a rule inference engine.作者: CLOUT 時間: 2025-3-23 21:49
https://doi.org/10.1007/978-3-211-33032-6ethod calls. Several transformation rules are given to construct subclasses from a given superclass, thus allowing reuse of life-cycle specifications during a design. To show the validity of the approach, the results are applied to the development of a groupware editor.作者: 疲憊的老馬 時間: 2025-3-24 00:54
On Formalizing UML with High-Level Petri Netsrs problem, that is first specified by using (a subset of) UML, and then mapped onto high-level Petri nets. The paper indicates how UML specifications can be verified by discussing properties of the hurried philosophers problem that can be verified on the derived highlevel Petri net.作者: 羊齒 時間: 2025-3-24 03:41
Modelling Constrained Geometric Objects with OBJSA Netsss of the system is modelled by a OBJSA component and their compositions allows to describe a generic construction. The algorithm specified in OBJSA can be simulated in the ONE (OBJSA Net Environment) environment.作者: 是剝皮 時間: 2025-3-24 08:41
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objectsunication model used in KRON is close to the generative communication model, which supposes an alternative to message passing. The inferences delivered from the DES behavioral knowledge are governed by a control mechanism based on a rule inference engine.作者: 預(yù)知 時間: 2025-3-24 12:12
Inheritance of Dynamic Behavior Development of a Groupware Editorethod calls. Several transformation rules are given to construct subclasses from a given superclass, thus allowing reuse of life-cycle specifications during a design. To show the validity of the approach, the results are applied to the development of a groupware editor.作者: PAC 時間: 2025-3-24 15:30
0302-9743 fact that much of the early research in object-oriented programming focused on sequential systems, objects are a natural unit of distribution and concurrency - as elucidated early on by research on the Actor model. Thus, models and theories of concurrency, the oldest one being Petri nets, and their作者: 燦爛 時間: 2025-3-24 21:27
https://doi.org/10.1007/978-3-211-33032-6g an informal use case description. With their formal semantics, graphical representation, means to model concurrency, and executability OCP-Nets lead to an improved Object Oriented Modelling approach.作者: 實現(xiàn) 時間: 2025-3-24 23:41
Anton Pech,Andreas Kolbitsch,Franz Zach dynamic object creation. This approach allows us to reuse standard results of the theory of concurrency in a context where an high level object oriented specification style is preserved. To illustrate the expressive power of our formalism, we provide a specification of the Hurried Philosophers case study.作者: 仔細閱讀 時間: 2025-3-25 06:22 作者: Decline 時間: 2025-3-25 09:48 作者: 我不明白 時間: 2025-3-25 14:16
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing he computer supported cooperative work. Also, we show how the application of the introduced G-CPN can be applied to obtain an object-oriented model of some of the elements of the cooperative graphical G-CPN editor.作者: 補角 時間: 2025-3-25 16:25 作者: hermitage 時間: 2025-3-25 23:53 作者: 微枝末節(jié) 時間: 2025-3-26 02:59 作者: Barter 時間: 2025-3-26 08:08 作者: Subdue 時間: 2025-3-26 09:36 作者: 小教堂 時間: 2025-3-26 14:34
Einzelheiten zum Tragverhalten,ealization of various object-oriented features (including encapsulation, inheritance, and polymorphism) in HPrTNs is presented and is demonstrated with examples. We believe that the approach can achieve the benefits of the object-oriented methods while maintaining the analyzability of HPrTNs.作者: 極大痛苦 時間: 2025-3-26 16:54
https://doi.org/10.1007/978-3-663-13900-3amework in its field of application. However it is a challenge to associate them into a conceptual framework which combines the expressive power of both approaches while maintaining their respective merits. Moreover, it must be shown that such a formalism can be implemented in a sound and efficient 作者: 深淵 時間: 2025-3-26 23:09
Paul Kuff,Karl Schwalbenhofer,Alice Strohm. This translation defines the semantics of a OB(PN)2 program as a net, which can be analyzed using existing reachability analysis tools. The OB(PN)2 language is an extension of B(PN)2 as defined by Best and Hopkins, and the semantics is inspired by the B(PN)2 semantics defined in terms of M-nets. T作者: incontinence 時間: 2025-3-27 04:53
https://doi.org/10.1007/978-3-8348-2526-1ented 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 feasibility of ascribing formal semantics to UML by defining 作者: 憎惡 時間: 2025-3-27 08:08 作者: Jocose 時間: 2025-3-27 10:23
https://doi.org/10.1007/978-3-662-10589-4t. The geometric objects are defined imperatively while constructing them. The approach is innovative in that it solves constraints during manipulation, propagating messages among the objects involved in the geometric figure and it does not require numerical techniques. The formalization of the geom作者: Range-Of-Motion 時間: 2025-3-27 16:43 作者: Nmda-Receptor 時間: 2025-3-27 19:35
Anton Pech,Andreas Kolbitsch,Franz Zachhe representation and use of a variety of knowledge about a DES static structure, and its dynamic states and behavior. It is based on the integration of Colored Petri nets with frame based representation techniques and follows the object oriented paradigm. The main objective considered in its defini作者: 周年紀(jì)念日 時間: 2025-3-27 22:13
https://doi.org/10.1007/978-3-211-33032-6 way complex distributed systems can be modeled in a detailed manner. Thorns can be transformed to C++ code and executed sequentially or concurrently by simulators for validation and experiments. This paper shows both, features of Thorns and their modeling approach by an example.作者: 使絕緣 時間: 2025-3-28 05:44 作者: nocturia 時間: 2025-3-28 07:35
https://doi.org/10.1007/978-3-211-33032-6. They supersede most techniques currently used in object oriented modelling such as Interaction Diagrams. This will be shown in an example formalising an informal use case description. With their formal semantics, graphical representation, means to model concurrency, and executability OCP-Nets lead作者: circuit 時間: 2025-3-28 12:13 作者: Jacket 時間: 2025-3-28 16:51
https://doi.org/10.1007/978-3-211-33032-6fication of concurrent programs, but most known temporal logic proof systems for concurrent computations rely on imperative language constructs, ignoring, e.g., the creation of processes and the dynamic configuration of communication channels, which are crucial for actor based programming. We will d作者: 袋鼠 時間: 2025-3-28 22:37 作者: GRIEF 時間: 2025-3-29 02:03
Concurrent Object-Oriented Programming and Petri Nets978-3-540-45397-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 領(lǐng)帶 時間: 2025-3-29 03:04 作者: 公理 時間: 2025-3-29 09:33
Biegelinien und Verformungslinien, of the Cooperative Objects formalism, which is an object-oriented language, based on high-level Petri nets. We then include a Cooperative Object model describing the groupware editing tool described in the case study.作者: flamboyant 時間: 2025-3-29 13:31
https://doi.org/10.1007/978-3-211-33032-6 way complex distributed systems can be modeled in a detailed manner. Thorns can be transformed to C++ code and executed sequentially or concurrently by simulators for validation and experiments. This paper shows both, features of Thorns and their modeling approach by an example.作者: 變色龍 時間: 2025-3-29 16:27
https://doi.org/10.1007/978-3-211-33032-6ages. 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.作者: Blemish 時間: 2025-3-29 22:41
Object Orientation in Hierarchical Predicate Transition Netsealization of various object-oriented features (including encapsulation, inheritance, and polymorphism) in HPrTNs is presented and is demonstrated with examples. We believe that the approach can achieve the benefits of the object-oriented methods while maintaining the analyzability of HPrTNs.作者: dagger 時間: 2025-3-30 02:04
Modeling a Groupware Editing Tool with Cooperative Objects of the Cooperative Objects formalism, which is an object-oriented language, based on high-level Petri nets. We then include a Cooperative Object model describing the groupware editing tool described in the case study.作者: folliculitis 時間: 2025-3-30 06:09
Modeling of a Library with THORNs way complex distributed systems can be modeled in a detailed manner. Thorns can be transformed to C++ code and executed sequentially or concurrently by simulators for validation and experiments. This paper shows both, features of Thorns and their modeling approach by an example.作者: 虛度 時間: 2025-3-30 11:58
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.作者: 誘使 時間: 2025-3-30 12:36 作者: 暫停,間歇 時間: 2025-3-30 18:03 作者: 間接 時間: 2025-3-30 22:58
https://doi.org/10.1007/3-540-45397-0Groupware; Unified Modeling Language (UML); calculus; computer; computer science; concurrency; distributed作者: Arctic 時間: 2025-3-31 01:03 作者: Armory 時間: 2025-3-31 07:01 作者: 磨碎 時間: 2025-3-31 09:25
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作者: 癡呆 時間: 2025-3-31 14:27
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.作者: 項目 時間: 2025-3-31 17:43 作者: 錯 時間: 2025-4-1 01:21
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.作者: glomeruli 時間: 2025-4-1 02:25
0302-9743 examples to demonstrate the approach. Finally, section III is devoted to papers which significantly build on the Actor model of computation.978-3-540-41942-6978-3-540-45397-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 樂器演奏者 時間: 2025-4-1 07:05 作者: 比賽用背帶 時間: 2025-4-1 14:11
Using Petri Nets for Specifying Active Objects and Generative Communication 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作者: 贊美者 時間: 2025-4-1 15:15
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalismmantics 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.作者: 小卷發(fā) 時間: 2025-4-1 21:29 作者: Cardiac-Output 時間: 2025-4-1 22:54
CoOperative Objects: Principles, Use and Implementationhaviour 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.
