Introducing probabilities in Statecharts to specify reactive systems for performance analysis

Computers and Operations Research

Volumn 33, Issue 8, 2006, Pages 2369-2386

  Vijaykumar, N L ^a   Carvalho, S V ^a   Andrade, V M B ^b   Abdurahiman, V ^c  

^a INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS   (Brazil)

^b Mentor Tecnologia   (Brazil)

^c INSTITUTO TECNOLÓGICO DE AERONÁUTICA   (Brazil)

Author keywords

Analytical solutions; Continuous Time Markov Chains; Performance models; Probabilistic reaction; Specification; Statecharts

Indexed keywords

ABSTRACTING; COMPUTER SOFTWARE; GRAPHIC METHODS; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS; PROBABILITY; SPECIFICATIONS;

ANALYTICAL SOLUTIONS; CONTINUOUS-TIME MARKOV CHAINS; PERFORMANCE MODELS; PROBABILISTIC REACTION; STATECHARTS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 29144515749     PISSN: 03050548     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cor.2005.02.018     Document Type: Article

References (31)

1. R. Suri, J.L. Sanders, and M. Kamath Performance evaluation of production networks S.C. Graves A.H.G. Rinnooy Kan P.H. Zipkin Logistics of production and inventory 1993 North-Holland Amsterdam, Holland
2. H. Kobayashi Modeling and analysis an introduction to system performance evaluation methodology 1978 Addison-Wesley Publishing Company Reading, MA, USA
3. C.H. Sauer, and K.M. Chandy Computer systems performance modeling 1981 Prentice-Hall Englewood Cliffs, NJ, USA
4. J.A. Buzacott, and J.G. Shanthikumar Stochastic models of manufacturing systems 1993 Prentice-Hall Englewood Cliffs, NJ, USA
5. J.A. Buzacott, J.G. Shanthikumar, and D.D. Yao Jackson network models of manufacturing systems D.D. Yao Stochastic modeling and analysis of manufacturing systems 1994 Springer New York, USA
6. D.D. Siljak Decentralized control of complex systems 1991 Academic Press Inc. Boston, USA
7. D. Harel Statecharts: a visual formalism for complex systems Science of Computer Programming 8 1987 231 274
8. D. Druskinsky Extended state diagrams and reactive systems Dr. Dobb's Journal 19 11 1994 72 80
9. E.A.S. Silva, and R.R. Muntz Computational methods to solve Markov chains: applications to computer and communication systems 1992 UFRGS Gramado, Brazil [in Portuguese]
10. Francês CRL. Stochastic features charts: a stochastic extension to statecharts. M.S. dissertation in Computer Sciences, ICMC-Universidade de São Paulo (USP/São Carlos), Brazil, 1998 [in Portuguese].
11. G. Bolch, S. Greiner, H. de Meer, and K.S. Trivedi Queuing networks and markov chains: modeling and performance evaluation with computer science applications 1998 Wiley New York, USA
12. B. Bunday An introduction to queuing theory 1996 Arnold Paris
13. N.M. van Dijk Queuing networks and product forms: a systems approach 1993 Wiley New York, USA
14. J.R. Jackson Networks of waiting lines Operations Research 5 4 1957 518 521
15. Kleinrock L. Queuing systems, vol. 2: computer applications. New York, USA: Wiley; 1976.
16. Peterson JL. Petri nets: an introduction, vol. 1. Englewood Cliffs, NJ: Prentice-Hall; 1981.
17. T. Murata Petri nets: properties, analysis and applications Proceedings of the IEEE 77 4 1989 541 580
18. R. David, and H. Alla Petri nets for modeling of dynamic systems - a survey Automatica 30 2 1994 175 202
19. M.K. Molloy Performance evaluation using stochastic petri nets IEEE Transactions on Computers C-31 9 1982 913 917
20. G. Chiola, M.A. Marsan, and G. Conte Generalized stochastic petri nets: a definition at the net level and its implications IEEE Transactions on Software Engineering 19 2 1993 89 106
21. N.L. Vijaykumar, S.V. Carvalho, and V. Abdurahiman On proposing statecharts to specify performance models ITOR - International Transactions in Operations Research 9 3 2002 321 336
22. Vijaykumar NL. Statecharts: their use in specifying and dealing with performance models. PhD thesis in Informatics, ITA (Instituto Tecnológico de Aeronáutica), São José dos Campos, Brazil, 1999.
23. D. Harel Algorithmics: the spirit of computing 1987 Addison-Wesley Wokingham, England
24. Harel D, Pnueli A, Schmidt J, Sherman R. On the formal semantics of statecharts. IEEE symposium on logic in computer science, Ithaca, USA, 1987.
25. D. Harel, and A. Naamad The STATEMATE semantics of statecharts ACM Transactions on Software Engineering 5 4 1996 293 333
26. D. Harel, and M. Politi Modeling reactive systems with statecharts: the statemate approach 1998 McGraw-Hill USA
27. B. Philippe, Y. Saad, and W.J. Stewart Numerical methods in Markov chain modeling Operations Research 40 6 1992 1156 1179
28. Vijaykumar NL, Carvalho SV, Olivo AA. A study of in-process inventory of a flexible manufacturing system with two machines and a robot. In: INFORMS - Institute for Operations Research and Management Sciences, Singapore, 1995.
29. V.M.B. Andrade, S.V. Carvalho, and N.L. Vijaykumar A software for performance analysis of systems through Markov models SBPO - 29th Brazilian symposium on operations research 1997 Salvador Brazil [in Portuguese]
30. Vijaykumar NL, Carvalho SV, Abdurahiman V. Statecharts: an overview and its use in specifying performance models, Proceedings of Workcomp'98 - I workshop in computing, São José dos Campos, SP, Brazil, 1998, p. 55-60.
31. N. Viswanadham, and Y. Narahari Stochastic petri net models for performance evaluation of automated manufacturing systems Information and Decision Technologies 14 1988 125 142