scholarly journals Theoretical Suggestion of Policy-Based Wide Area Network Management System (wDACS system part-I)

Author(s):  
Kazuya Odagiri ◽  
Shogo Shimizu ◽  
Makoto Takizawa ◽  
Naohiro Ishii
2014 ◽  
Vol 2 (3) ◽  
pp. 1-17 ◽  
Author(s):  
Kazuya Odagiri ◽  
Shogo Shimizu ◽  
Naohiro Ishii

1994 ◽  
Vol 20 (349) ◽  
Author(s):  
Søren Christensen ◽  
Leif Obel Jepsen

<p>Development of distributed software systems is a complex task. This paper argues that design and specification can be supported by modelling and simulation using Hierarchical Coloured Petri Nets (CP-nets). This conclusion is based on a case study of a project in which CP-nets were used in the detailed design of a software module. The software module is part of the Network Management System of the RcPAX X.25 wide area network. The module was designed using the Design/CPN tool which allows editing and simulation of CP-nets. Furthermore invariant techniques were used to prove properties of the module.</p><p>Genoptrykt i Oktober 1994 i 100 eksemplarer.</p>


Author(s):  
Ryota Ohshima ◽  
Shinji Kawaguchi ◽  
Osamu Kamatani ◽  
Osamu Akashi ◽  
Kunitake Kaneko ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document