A G-Net Based Environment for Logical and Timing Analysis of Software Systems
Resumo
The application of Petri nets for the modeling and verification of systems, at specification and design levels are well know. Despite of powerful structuring mechanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion, when analyzing and verifying large systems. Also, when dealing with real-time systems, the verification of timing properties is necessary. A model, named G-Nets, and a time extension, named Fuzzy Time G-nets, were introduced to the the modular analysis of complex real-time software systems. In this work we introduce an environment for logical and timing analysis based on this two kind of Petri nets.
Referências
S.K. Chang, A. Perkusich, J.C.A. de Figueiredo, B. Yu, and M.J. Ehrenberger. The design of real-time distributed information systems with object-oriented and fault-tolerant characteristics. In Proc. of The Fifth International Conference on Software Engineering and Knowledge Engineering, San Francisco, California, June 1993.
T.C. Chen, V. Deng, and S.K. Chang. A simulator for distributed systems using g nets. T- Proceedings of 1992 Pittsburgh Simulation Conference, Pittsburgh, PA, USA, May 1992.
B. Dasarathy. Timing constraints of real-time systems: Constructs for expressing tiem, methods of validating them. IEEE Transactions on Software Engineering, 11(1):80 - 86, January 1985.
J.C.A de Figeiredo, A. Perkusich, and S.K. Chang. Anticipated faults in real-time distributed systems. In Proc. of The Seventh International Conference on Software Engineering and Knowledge Engineerinag, SEKE'95, June 1995.
J.C.A de Figueiredo anc A. Perkusich. Fault tolerance in real-time distributed systems using petri nets extension. In Proc. of 7th International Conference on Computing and Information, IGCI'95, Trent University, Peterborough, Canada, July 1995.
J.C.A. de Figueiredo, A. Perkusich, and S.K. Chang. Timing analisys of real-time software systems using fuzzy time petri nets. In Proc. of The Sizth International Conference on Software Engineering and Knowledge Engineering, pages 243 253, Riga, Latvia, June 1994.
Y. Deng, S.K. Chang, J.C.A. de Figueiredo, and A. Perkusich. Integrating software engincering methods and petri ne's for the specification and prototyping of complex software systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 206 - 223. Springer-Verlag, Chicago, USA, June 1993
D. Dubois and H. Prade. Processing fuzzy temporal knowledge. IEEE Transactions on Systems, Man, and Cybernetics, 19(4):729-744, July 1980.
H.J. Genrich. Predicate/Transition nets. In W. Brauer, W. Reisig, and G. Rozemberg, editors, Petri Nets: Central Models and Their Properties, volume 254 of Lecture Notes in Computer Science, pages 207-247. Springer-Verlag, 1987.
Z. Manna and A. Prueli. The Temporal Logic of Reactive and Concurrent Systems. Springer Verlag, New York, NJ, 1992.
P.M. Merlin and D.J. Farber. Recoverability of communication protocols - implications of a theoretical study. IEEE Transactions on Communication, COM-24(9):1036-1043, September 1976.
M.K. Molloy. On the Integration of Dealy and Throughput Measures in Distributed Processing Models. PhD thesis, UCLA, 1981.
T. Murata. Petri nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541-580, April 1989.
A. Perkusich. Analysis of G-Net Systems Based Upon Decomposition. PhD thesis, Department of Electrical Engineering, Federal University of Paranba, Campina Grande, PB, Brazil, August 1994.
A. Perkusich and J.C.A de Figeiredo. Object oriented design of a track-vehicle system. In Proc. of The Seventh International Conference on Software Engineering and Knowledge Engineerinag, SEKE'95, June 1995.
A. Perkusich and J.C.A. de Figeiredo. A petri net based approach to model objects for a trach-vehicle control system. In Proc. of 7th International Conference on Computing and Information, ICCI'95, Trent University, Peterborough, Canada, July 1995.
A. Perkusich, J.C.A. de Figueiredo, and S.K Chang. Embedding fault-tolerant properties in the design of complex systems. Journal of Systems and Software, 2(25):23-37, 1994.
M.L.B. Perkusich, A. Perkusich, and U. Schiel. Object-oriented real-time database design and hierarchical control systems. In Proc. of International Workshop on Active and Real-Time Databases, ARTDB-95, Skovde, SE, June 1995.
A. Prueli. In transition from global to modular temporal reasoning about programs. In K.R. Apt, editor, Logics and Models of Concurrent Systems, NATO ASI series, Series F, Computer and Systems Sciences, volume 13. Springer-Verlag, 1984.
C. Ramchandani. Analysis of asynchronous concurrent systems by petri nets. Technical Report Project MAC-TR120, M.L.T., Cambridge, MA, 1974.
J. Sifakis. Performance evaluation of systems using nets. In Net Theory and Applications, volume 84 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
L.A. Zadeh. Fuzzy sets. Information and Control, 8:338-353, 1965.
T.C. Chen, V. Deng, and S.K. Chang. A simulator for distributed systems using g nets. T- Proceedings of 1992 Pittsburgh Simulation Conference, Pittsburgh, PA, USA, May 1992.
B. Dasarathy. Timing constraints of real-time systems: Constructs for expressing tiem, methods of validating them. IEEE Transactions on Software Engineering, 11(1):80 - 86, January 1985.
J.C.A de Figeiredo, A. Perkusich, and S.K. Chang. Anticipated faults in real-time distributed systems. In Proc. of The Seventh International Conference on Software Engineering and Knowledge Engineerinag, SEKE'95, June 1995.
J.C.A de Figueiredo anc A. Perkusich. Fault tolerance in real-time distributed systems using petri nets extension. In Proc. of 7th International Conference on Computing and Information, IGCI'95, Trent University, Peterborough, Canada, July 1995.
J.C.A. de Figueiredo, A. Perkusich, and S.K. Chang. Timing analisys of real-time software systems using fuzzy time petri nets. In Proc. of The Sizth International Conference on Software Engineering and Knowledge Engineering, pages 243 253, Riga, Latvia, June 1994.
Y. Deng, S.K. Chang, J.C.A. de Figueiredo, and A. Perkusich. Integrating software engincering methods and petri ne's for the specification and prototyping of complex software systems. In M. Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science, pages 206 - 223. Springer-Verlag, Chicago, USA, June 1993
D. Dubois and H. Prade. Processing fuzzy temporal knowledge. IEEE Transactions on Systems, Man, and Cybernetics, 19(4):729-744, July 1980.
H.J. Genrich. Predicate/Transition nets. In W. Brauer, W. Reisig, and G. Rozemberg, editors, Petri Nets: Central Models and Their Properties, volume 254 of Lecture Notes in Computer Science, pages 207-247. Springer-Verlag, 1987.
Z. Manna and A. Prueli. The Temporal Logic of Reactive and Concurrent Systems. Springer Verlag, New York, NJ, 1992.
P.M. Merlin and D.J. Farber. Recoverability of communication protocols - implications of a theoretical study. IEEE Transactions on Communication, COM-24(9):1036-1043, September 1976.
M.K. Molloy. On the Integration of Dealy and Throughput Measures in Distributed Processing Models. PhD thesis, UCLA, 1981.
T. Murata. Petri nets: Properties, analysis and applications. Proc. of the IEEE, 77(4):541-580, April 1989.
A. Perkusich. Analysis of G-Net Systems Based Upon Decomposition. PhD thesis, Department of Electrical Engineering, Federal University of Paranba, Campina Grande, PB, Brazil, August 1994.
A. Perkusich and J.C.A de Figeiredo. Object oriented design of a track-vehicle system. In Proc. of The Seventh International Conference on Software Engineering and Knowledge Engineerinag, SEKE'95, June 1995.
A. Perkusich and J.C.A. de Figeiredo. A petri net based approach to model objects for a trach-vehicle control system. In Proc. of 7th International Conference on Computing and Information, ICCI'95, Trent University, Peterborough, Canada, July 1995.
A. Perkusich, J.C.A. de Figueiredo, and S.K Chang. Embedding fault-tolerant properties in the design of complex systems. Journal of Systems and Software, 2(25):23-37, 1994.
M.L.B. Perkusich, A. Perkusich, and U. Schiel. Object-oriented real-time database design and hierarchical control systems. In Proc. of International Workshop on Active and Real-Time Databases, ARTDB-95, Skovde, SE, June 1995.
A. Prueli. In transition from global to modular temporal reasoning about programs. In K.R. Apt, editor, Logics and Models of Concurrent Systems, NATO ASI series, Series F, Computer and Systems Sciences, volume 13. Springer-Verlag, 1984.
C. Ramchandani. Analysis of asynchronous concurrent systems by petri nets. Technical Report Project MAC-TR120, M.L.T., Cambridge, MA, 1974.
J. Sifakis. Performance evaluation of systems using nets. In Net Theory and Applications, volume 84 of Lecture Notes in Computer Science. Springer-Verlag, 1980.
L.A. Zadeh. Fuzzy sets. Information and Control, 8:338-353, 1965.
Publicado
03/10/1995
Como Citar
PERKUSICH, Angelo; FIGUEIREDO, Jorge C. A. de.
A G-Net Based Environment for Logical and Timing Analysis of Software Systems. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 9. , 1995, Recife/PE.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1995
.
p. 241-256.
DOI: https://doi.org/10.5753/sbes.1995.24087.
