Modelagem de Sistemas de Software com Redes de Petri Estocásticas
Resumo
As redes de Petri vêm sendo cada vez mais utilizadas como um modelo adequado para a representação de sistemas de computação. As redes de Petri estocásticas aliam à capacidade descritiva das redes de Petri convencionais, a noção de tempo, permitindo, portanto, o cálculo e a análise de medidas de desempenho dos sistemas modelados. Este artigo descreve a ferramenta FARPE, desenvolvida para a solução automática de redes de Petri estocásticas (i.e., a computação da distribuição das probabilidades estacionárias dos estados alcançados pelo modelo), e mostra a aplicação dessa ferramenta à modelagem e análise de construções do tipo fork/join, amplamente encontradas em sistemas de processamento paralelo e distribuído.
Referências
Alford,M.W. "A requirements engineering methodology for real-time processing requirements", IEEE Trans. Software Eng., vol.SE-3. pp.60-69, Jan. 1977
Almeida Virgílio and Dowdy Lawrence "Performance Analysis of a Scheme for Concurrency/Synchronization Using Queueing Network Models". International Journal of Parallel Programming. Plenum Press, Vol.15, No.6, pp.529-550. December 1986.
Barroso, Guy "FARPE - Uma Ferramenta para a Análise de Redes de Petri Estocásticas e Generalizadas". Dissertação de Mestrado, Depto. de Ciência da Computação, UFMG, 1990.
Bernstein, B. and Goodman. N. "Concurrent Control in Distributed Database Systems". Computing Surveys. Vol.13, No.2, 1983.
Bernstein, A. and Harter. P. K. "Proving real-time properties of programs with temporal logic", Proc. Eighth Symp. Operating Systems Principles, pp.1-11. Dec. 1981.
Booth, T. L. and Wiecek, C. A, "Performance abstract data types as a tool in software performance analysis and design", IEEE Trans. Software Eng., vol.SE-6. pp-138-151, Mar. 1980.
Cheney, E. and Kincald, D. "Numerical Mathematics and Computing". second edition. Brooks/Cole Publishing Company, Monterey, California. 1985
Dasarathy, B. "Timing constraints for real-time systems: constructs for expressing them, methods of validating them", Proc. IEEE Real-Time System Symp., pp.197-204, Dec. 1982.
DeMarco, T. "Structured Analysis and System Specification", Englewood Cliffs, NJ, Prentice-Hall, 1979.
Gane, C. "Data design in structured systems analisis". Infotech State of the Art Report on Data Design, 1980.
Haase, V. H. "Real-time behavior of programs", IEEE Trans. Software Eng., vol.SE-7, pp.494-501, Sep. 1981.
Hoare, C. A. R. "Parallel Programming: an Axiomatic Approach", Tech. Report C5-73-394, Stanford University. Oct. 1973.
Keller, R. M. "Formal Verification of Parallel Programs". Comm. ACM. Vol.19, No.7. July 1976, pp.371-384
Kernigham, B. and Pike, R. "The UNIX Programming Environment", Prentice-Hall, 1984.
Little, J. "A proof of the queueing formula L = λW", Oper. Res. 9, pp.383-387, 1961.
Marsan, A., Conte, G. and Balbo, G. "A Class of Generalized Stochastic Petri Net for the Performance Evaluation of Multiprocessor Systems", ACM Transactions on Computer Systems, Vol.2. No.2. May 1984.
Molloy, M. "On the Integration of Delay and Throughput Measures in Distributed Processing Models", Ph.D. Thesis, University of California, Los Angeles. 1986.
Myers, W. "Getting the Cycles of a Supercomputer". Computer. Vol.19, No.3. March 1986.
Owicki, S. and Gries. D. "Verifying Properties of Parallel Programs: An Axiomatic Approach", Comm. ACM, Vol.19, No.5. May 1976, pp.279-285.
Peterson, J. "Petri Net Theory and the Modelling of Systems". Prentice-Hall. Englewood Clifs, N.J.. 1981.
Ross, D. T. "Structured Analysis (SA): A language for communicating ideas", IEEE Trans. Software Eng.. vol.SE-3, pp. 16-34, Jan. 1977.
Stay, J. F. "HIPO and integrated system design". IBM Syst. J., vol.15, pp-143-154. 1976.
Teichroew, D. and Hershey, E. A. "PSL/PSA: A computer-aided technique for structured documentation and analysis of information processing systems", IEEE Trans. Software Eng., vol.SE-3, pp.41-48, Jan. 1977
Almeida Virgílio and Dowdy Lawrence "Performance Analysis of a Scheme for Concurrency/Synchronization Using Queueing Network Models". International Journal of Parallel Programming. Plenum Press, Vol.15, No.6, pp.529-550. December 1986.
Barroso, Guy "FARPE - Uma Ferramenta para a Análise de Redes de Petri Estocásticas e Generalizadas". Dissertação de Mestrado, Depto. de Ciência da Computação, UFMG, 1990.
Bernstein, B. and Goodman. N. "Concurrent Control in Distributed Database Systems". Computing Surveys. Vol.13, No.2, 1983.
Bernstein, A. and Harter. P. K. "Proving real-time properties of programs with temporal logic", Proc. Eighth Symp. Operating Systems Principles, pp.1-11. Dec. 1981.
Booth, T. L. and Wiecek, C. A, "Performance abstract data types as a tool in software performance analysis and design", IEEE Trans. Software Eng., vol.SE-6. pp-138-151, Mar. 1980.
Cheney, E. and Kincald, D. "Numerical Mathematics and Computing". second edition. Brooks/Cole Publishing Company, Monterey, California. 1985
Dasarathy, B. "Timing constraints for real-time systems: constructs for expressing them, methods of validating them", Proc. IEEE Real-Time System Symp., pp.197-204, Dec. 1982.
DeMarco, T. "Structured Analysis and System Specification", Englewood Cliffs, NJ, Prentice-Hall, 1979.
Gane, C. "Data design in structured systems analisis". Infotech State of the Art Report on Data Design, 1980.
Haase, V. H. "Real-time behavior of programs", IEEE Trans. Software Eng., vol.SE-7, pp.494-501, Sep. 1981.
Hoare, C. A. R. "Parallel Programming: an Axiomatic Approach", Tech. Report C5-73-394, Stanford University. Oct. 1973.
Keller, R. M. "Formal Verification of Parallel Programs". Comm. ACM. Vol.19, No.7. July 1976, pp.371-384
Kernigham, B. and Pike, R. "The UNIX Programming Environment", Prentice-Hall, 1984.
Little, J. "A proof of the queueing formula L = λW", Oper. Res. 9, pp.383-387, 1961.
Marsan, A., Conte, G. and Balbo, G. "A Class of Generalized Stochastic Petri Net for the Performance Evaluation of Multiprocessor Systems", ACM Transactions on Computer Systems, Vol.2. No.2. May 1984.
Molloy, M. "On the Integration of Delay and Throughput Measures in Distributed Processing Models", Ph.D. Thesis, University of California, Los Angeles. 1986.
Myers, W. "Getting the Cycles of a Supercomputer". Computer. Vol.19, No.3. March 1986.
Owicki, S. and Gries. D. "Verifying Properties of Parallel Programs: An Axiomatic Approach", Comm. ACM, Vol.19, No.5. May 1976, pp.279-285.
Peterson, J. "Petri Net Theory and the Modelling of Systems". Prentice-Hall. Englewood Clifs, N.J.. 1981.
Ross, D. T. "Structured Analysis (SA): A language for communicating ideas", IEEE Trans. Software Eng.. vol.SE-3, pp. 16-34, Jan. 1977.
Stay, J. F. "HIPO and integrated system design". IBM Syst. J., vol.15, pp-143-154. 1976.
Teichroew, D. and Hershey, E. A. "PSL/PSA: A computer-aided technique for structured documentation and analysis of information processing systems", IEEE Trans. Software Eng., vol.SE-3, pp.41-48, Jan. 1977
Publicado
24/10/1990
Como Citar
BARROSO, Guy; ALMEIDA, Virgilio.
Modelagem de Sistemas de Software com Redes de Petri Estocásticas. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 4. , 1990, Águas de São Pedro/São Paulo.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1990
.
p. 110-123.
DOI: https://doi.org/10.5753/sbes.1990.24170.
