刺耳的声音
发表于 2025-3-23 12:42:28
http://reply.papertrans.cn/24/2352/235166/235166_11.png
Cholecystokinin
发表于 2025-3-23 17:11:06
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:24
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:21
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:30
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:09
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.
预知
发表于 2025-3-24 12:12:28
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:20
0302-9743fact 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:40
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.
实现
发表于 2025-3-24 23:41:55
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.