Skip to main content
SpringerLink
Log in

Mapping State Diagram To Petri Net : An Approach To Use Markov Theory For Analyzing Non-Functional Parameters

  • Conference paper
Advances and Innovations in Systems, Computing Sciences and Software Engineering

  • 1903 Accesses

Abstract

The quality of an architectural design of a software system has a great influence on achieving non-functional requirements to the system.

Unified Modeling Language (UML), which is the industry standard as a common object oriented modeling language needs a well-defined semantic base for its notation. Integrating formal methods Petri nets (PNs) with object oriented design concepts UML is useful to benefit from the strengths of both approaches. Formalization of the graphical notation enables automated processing and analysis tasks. In this paper we use a method to converting State Diagram to Generalized Stochastic Petri Net (GSPN) and then we derive the embedded Continues Time Markov Chain from the GSPN and finally we use Markov Chain theory to obtain performance parameters.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Storrle H. " Towards a Petri-net Semantics of Data Flow in UML 2.0 Activities", IFI-PST, Universität München, Oettingenstr., München, Germany.

    Google Scholar 

  2. J. A. Saldhana, S. M. Shatz, and Z. Hu. "Formalization of Object Behavior and Interactions From UML Models". International Journal of Software Engineering and Knowledge Engineering, 11(6), 2001, pp. 643-673.

    Article  Google Scholar 

  3. Robert G. Pettit IV and Hassan Gomaa, "Validation of Dynamic Behavior in UML Using Colored Petri Nets, " UML 2000 Dynamic Behavior Workshop, York, England, October, 2000.

    Google Scholar 

  4. Saldhana, J. and Shatz, S. M. "UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis" Proc. of the Int. Conf. on Software Eng. And Knowledge Eng. (SEKE), Chicago (2000) 103- 10.

    Google Scholar 

  5. Elkoutbi, M. and Rodulf K. Keller: "Modeling Interactive Systems with Hierarchical Colored Petri Nets" 1998 Advanced Simulation Technologies Conf., Boston, MA (1998) 432- 437.

    Google Scholar 

  6. Eshuis, R. "Semantics and Verification of UML State Diagrams for Workflow Modelling" Ph.D. Thesis, University of Twente (2002).

    Google Scholar 

  7. Fukuzawa, K. et al "Evaluating Software Architecture by Colored Petri Net" Dept. of Computer Sience,Tokyo Institute of Technology Ookayama 2-12-1, Meguro-uk, Tokyo 152-8552, Japan 2002.

    Google Scholar 

  8. Pettit, R. G. and Gomaa, H. "Validation of dynamic behavior in UML using colored Petri nets" UML’00 (2000).

    Google Scholar 

  9. Shin, M., Levis, A. and Wagenhals, L."Transformation of UML-Based System Model into CPN Model for Validating System Behavior" In: Proc. of Compositional Verification of UML Models, Workshop of the UML’03 Conference, California, USA, Oct. 21, 2003.

    Google Scholar 

  10. Bernardi, S. Donatelli, S. and Merseguer, J. "From UML Sequence Diagrams and Statecharts to Analysable Petri Net Models" ACM Proc. Int’l Workshop Software and Performance, pp. 35-45, 2002.

    Google Scholar 

  11. Merseguer, J., Bernardi, S., Campos, J. and Donatelli, S."A Compositional Semantics for UML State Machines Aimed at Performance Evaluation" M. Silva, A. Giua and J. M Colom (eds.), Proc. of the 6th Int. Workshop on Discrete Event Systems (WODES’02), Zaragoza, Spain (2002) 295-302.

    Google Scholar 

  12. Merseguer, J. , L’opezGrao, J. P., Campos J."From UML State Diagrams To Stochastic Petri Nets:Application To Software Performance Engineering" ACM, WOSP 04 January 1416, 2004.

    Google Scholar 

  13. Motameni, H et al. "Evaluating UML State Diagrams Using Colored Petri Net" SYNASC’05.

    Google Scholar 

  14. Motameni, H et al. "Verifying and Evaluating UML State Diagram by Converting to CPN" SYNASC’05.

    Google Scholar 

  15. Motameni, H. Movaghar, A. and Zandakhbari, M. "Deriving Performance Parameters from The State Diagram Using GSPN and Markov Chain" Proc. of the 4th Int. Conf. on Computer Science And Its Application (ICCSA), San Diego ,California (June 2006).

    Google Scholar 

  16. Object Management Group, http:/www.omg.org. OMG Unified Modeling Language Specification, March 2003. version 1.5.

    Google Scholar 

  17. Object Management Group. http://www.omg.org.

    Google Scholar 

  18. M.K. Molloy. Fundamentals of Performance Modelling. Macmillan, 1989.

    Google Scholar 

  19. C. U. Smith. "Performance Engineering of Software Systems". The Sei Series in Software Engineering. Addison–Wesley, 1990.

    Google Scholar 

  20. Kirsten Berkenkötter, "Using UML 2.0 in Real-Time Development.A Critical Review", SVERTS, workshop hold in conjunction with UML 2003.

    Google Scholar 

  21. M. Ajmone Marsan, G. Balbo, and G. Conte, "A class of Generalized Stochastic Petri Nets for the performance evaluation of multiprocessor systems". ACM Trans. Comp. Syst. 2, 2 (May 1984), 93-122.

    Google Scholar 

  22. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., and Franceschinis, G. "Modelling with generalized stochastic Petri nets". John Wiley & Sons, 1995.

    Google Scholar 

  23. G. Ciardo, A. Blakemore, P. F. J. Chimento, J. K. Muppala, and K. S Trivedi .Automated generation and analysis of Markov reward models using Stochastic Reward Nets. In Linear Algebra, Markov Chains, and Queueing Models, C. Meyer and R. J. Plemmons, Eds., vol. 48 of IMA Volumes in Mathematics and its Applications. Springer-Verlag, 1993, pp. 145-191.

    Google Scholar 

  24. M. Ajmone Marsan, G. Balbo, and G. Conte, "Performance models of multiprocessor systems". MIT Press, 1986.

    Google Scholar 

  25. G. Ciardo, J. Muppala, and K. Trivedi. SPNP: "Stochastic Petri net package". In Proc. Int. Workshop on Petri Nets and Performance Models, pages 142-150, Los Alamitos, CA, Dec. 1989. IEEE Computer Society Press.

    Google Scholar 

  26. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. "The effect of execution policies on the semantics and analysis of stochastic Petri Nets". IEEE Transactions on Software Engineering, SE-15:832-846, 1989.

    Google Scholar 

  27. G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar Roet. "On the efficient construction of the tangible reachability graph of Generalized Stochastic Petri Nets". In Proceedings International Workshop on Petri Nets and Performance Models – PNPM87. IEEE Computer Society, 1987.

    Google Scholar 

  28. M. Ajmone Marsan, A. Bobbio, and S. Donatelli "Petri Nets in performance analysis: an introduction", lecture notes in computer science, 1998 - springer verlag kg

    Google Scholar 

  29. H. H. Ammar and R. W. Liu. "Analysis of the generalized stochastic Petri nets by state aggregation", In Proceedings International Workshop on Timed Petri Nets, pages 88-95, Torino (Italy), 1985. IEEE Computer Society Press no. 674.

    Google Scholar 

  30. "school of mechanical, manufacturing & medical engineering men170: systems modelling and simulation", online, available at http://www.cs.utexas.edu/ browne/cs380ns2003/Papers/MarkovChains.pdf, Sep 25,2006

    Google Scholar 

  31. Ajmone Marsan M et al "Modeling with Generalized Stochastic Petri Nets" Universitiá degli studi di Torino.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Islamic, Azad University, Sary, Iran

    H. Motameni

  2. Department of Computer Sharif, University of Technology, Tehran, Iran

    A. Movaghar

  3. Department of Computer University of Science and Technology of Mazandaran, Babol, Iran

    M. Siasifar, M. Zandakbari & H. Montazeri

Authors
  1. H. Motameni
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. Movaghar
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Siasifar
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. Zandakbari
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. H. Montazeri
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Bridgeport, CT, USA

    Khaled Elleithy

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer

About this paper

Cite this paper

Motameni, H., Movaghar, A., Siasifar, M., Zandakbari, M., Montazeri, H. (2007). Mapping State Diagram To Petri Net : An Approach To Use Markov Theory For Analyzing Non-Functional Parameters. In: Elleithy, K. (eds) Advances and Innovations in Systems, Computing Sciences and Software Engineering. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6264-3_33

Download citation

  • DOI: https://doi.org/10.1007/978-1-4020-6264-3_33

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-1-4020-6263-6

  • Online ISBN: 978-1-4020-6264-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation