مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Persian Version

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

View:

315
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Download:

122
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Cites:

Information Journal Paper

Title

MODELING AND EVALUATION OF STOCHASTIC DISCRETE-EVENT SYSTEMS WITH RAYLANG FORMALISM

Pages

  1-16

Abstract

 In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new FORMAL MODELING LANGUAGE to fill the gaps between object-oriented programming languages (OOPLs) used by engineers and the formalisms used for evaluation and verification purposes. We propose the syntax and semantics of a new OBJECT-ORIENTED MODELING language for DISCRETE-EVENT SYSTEMS called RayLang. We have designed the syntax of RayLang similar to OOPLs. In RayLang models, objects that are instantiated from classes, run concurrently and can communicate with each other by requesting services. Every object in RayLang models has some internal state variables and some service handlers for executing the requests of other objects. We have shown that Markovian RayLang models can be transformed into continuous-time Markov chains (CTMCs) and then can be solved by existing solution techniques. For modeling, discrete-event simulation and analytic solution of RayLang models, we have implemented these models in the PDETool framework.

Cites

  • No record.

    • References

    Cite

    APA: Copy

    KHALILI, ALI, & ABDOLLAHI AZGOMI, MOHAMMAD. (2012). MODELING AND EVALUATION OF STOCHASTIC DISCRETE-EVENT SYSTEMS WITH RAYLANG FORMALISM. JOURNAL OF ADVANCES IN COMPUTER RESEARCH, 3(4), 1-16. SID. https://sid.ir/paper/328715/en

    Vancouver: Copy

    KHALILI ALI, ABDOLLAHI AZGOMI MOHAMMAD. MODELING AND EVALUATION OF STOCHASTIC DISCRETE-EVENT SYSTEMS WITH RAYLANG FORMALISM. JOURNAL OF ADVANCES IN COMPUTER RESEARCH[Internet]. 2012;3(4):1-16. Available from: https://sid.ir/paper/328715/en

    IEEE: Copy

    ALI KHALILI, and MOHAMMAD ABDOLLAHI AZGOMI, “MODELING AND EVALUATION OF STOCHASTIC DISCRETE-EVENT SYSTEMS WITH RAYLANG FORMALISM,” JOURNAL OF ADVANCES IN COMPUTER RESEARCH, vol. 3, no. 4, pp. 1–16, 2012, [Online]. Available: https://sid.ir/paper/328715/en

    Related Journal Papers

  • No record.

    • Related Seminar Papers

  • No record.

    • Related Plans

  • No record.

    • Recommended Workshops






    Move to top
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button