A Program Reliability of Internet Environment Using Colored Petri Nets
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
We want to achieve the reliable information system such as e learning system in the internet environments. The difficulty of the program reliability estimation comes from faults that occurred from program and data files are distributed among several servers. This paper is focus on a modeling approach based on Colored Petri Nets to estimate the program reliability in an internet environment. The procedure of analyzing the reliability is as follows. At first, we propose an internet program model. This model is transformed into a Colored Petri net, and the reliability is estimated. We adapt this model to the analyzing the reliability in the internet environment. This method is very simple, and is very helpful to develope program
Abstract
We want to achieve the reliable information system such as e learning system in the internet environments. The difficulty of the program reliability estimation comes from faults that occurred from program and data files are distributed among several servers. This paper is focus on a modeling approach based on Colored Petri Nets to estimate the program reliability in an internet environment. The procedure of analyzing the reliability is as follows. At first, we propose an internet program model. This model is transformed into a Colored Petri net, and the reliability is estimated. We adapt this model to the analyzing the reliability in the internet environment. This method is very simple, and is very helpful to develope program
참고문헌 (15)
- Chen, J., "Mesh partitioning for efficient use of distributed systems", IEEE Transactions on Parallel and Distributed Systems, 13(1), pp.67~79 (2002)
- Giovanni Chiola, "Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications", IEEE Trans. Software Engineering, 19(2), pp.89~107 (1993)
- G. Rasmussen, "An object-oriented analysis and design notation for distributed systems", Journal of Object-Oriented Programming, 9(10), pp.14~27 (1996)
- J. Berger, "A Colored Petri Net Model for a Naval Command and Control System", Lecture Notes in Computer Science 691, Springer-Verlag, 532~541 (1993)
- Kam Hay Fung, "Embracing dynamic evolution in distributed systems", IEEE Software, 21(2), pp.49~55 (2004)
- K.H. Mortensen, "Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets", Lecture Notes in Computer Science 1091, Springer-Verlag, 249~268 (1996)
- K. Jensen, "An Introduction to the Theoretical Aspects of Coloured Petri Nets", Lecture Notes in Computer Science 803, Springer-Verlag, 230~272 (1994)
- Madalinski, A., "Modular construction of finite and complete prefixes of Petri net unfoldings", ACSD 2008. 8th International Conference on Application of Concurrency to System Design 2008, pp.68~77 (2008)
- Marchetti, C., "Fully distributed three-tier active software replication", IEEE Transactions on Parallel and Distributed Systems, 17(7), pp.633~645 (2006)
- Muhlhauser, M., "DOCASE: A methodic approach to distributed programming", Communications of the ACM, 36(9), pp.127~138 (1993)
- Rodrigues, L., "Atomic broadcast in asynchronous crash-recovery distributed systems and its use in quorum-based replication", IEEE Transactions on Knowledge and Data Engineering, 15(5), pp.1206~1217 (2003)
- Ryan Stansifer, "Modeling ConCurrent Programs with Colored Petri Nets", J. System Software, 26, pp.129~148 (1994)
- Salim Hariri, "Architectural Support for Designing Fault-Tolerant open Distributed Systems", IEEE Computer, 25(6), pp.50~62 (1992)
- Yau, S.S, "Security and privacy in collaborative distributed systems", COMPSAC 2005, 267~274 (2005)
- W.W. McLendon, "Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs", Lecture Notes in Computer Science 616, Springer-Verlag, 384~388 (1992)