scholarly journals Creol: A type-safe object-oriented model for distributed concurrent systems

2006 ◽  
Vol 365 (1-2) ◽  
pp. 23-66 ◽  
Author(s):  
Einar Broch Johnsen ◽  
Olaf Owe ◽  
Ingrid Chieh Yu
Keyword(s):  
Object Oriented ◽  
Concurrent Systems

scholarly journals AN APPROACH TO OBJECT SYSTEM MODELING BY STATE-BASED OBJECT PETRI NETS

1998 ◽  
Vol 08 (01) ◽  
pp. 1-20 ◽  
Author(s):  
A. NEWMAN ◽  
S. M. SHATZ ◽  
X. XIE
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
System Modeling ◽  
Object Oriented ◽  
Distributed Applications ◽  
Concurrent Systems ◽  
Software Systems ◽  
Object System ◽  
Structural Aspects

For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavior of concurrent systems, it is still the case that net models do not easily capture some important structural aspects of a system, such as modularity. In terms of software systems for distributed applications, the object-oriented paradigm has become a standard for defining modularity and reuse of software. Thus, an evolving direction in Petri net technology is the blending of net features with object-oriented capability. This paper discusses one such approach for state-based object systems.

An object oriented model for concurrent systems

1998 ◽  
Vol 3 (2) ◽  
pp. 152-156
Author(s):  
Zhang Qian ◽  
Chen Shihong
Keyword(s):  
Object Oriented ◽  
Concurrent Systems

Rosette: An object-oriented concurrent systems architecture

1989 ◽  
Vol 24 (4) ◽  
pp. 91-93 ◽  
Author(s):  
C. Tomlinson ◽  
W. Kim ◽  
M. Scheevel ◽  
V. Singh ◽  
B. Will ◽  
...  
Keyword(s):  
Object Oriented ◽  
Concurrent Systems ◽  
Systems Architecture

New approach to object-oriented simulation of concurrent systems

1997 ◽  
Author(s):  
Arnold N. Pears ◽  
Samar Singh ◽  
Tharam S. Dillon
Keyword(s):  
Object Oriented ◽  
Concurrent Systems ◽  
New Approach
Sign in / Sign up

Export Citation Format

Share Document