Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
SpringerLink
Log in

Layered Layouts for Software Systems Visualization Using Nested Petri Nets

  • Conference paper
  • First Online:
Tools and Methods of Program Analysis (TMPA 2017)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 779))

Included in the following conference series:

  • 654 Accesses

Abstract

Modern software systems can be large. They often have a complex architecture and non-trivial behaviour. That is why different modelling techniques are used for their design and analysis. Illustrative visualization of a system architecture can facilitate better analysis and give useful insights. In this paper we propose an approach for visualization of software system models. We introduce layered layouts aimed to combine the advantages of 2D and 3D visualizations. The paper describes the concept of layered layouts and shows how they can represent different model characteristics in a single view. A prototype tool for visualization of hierarchical and multi-agent software system models using nested Petri nets notation is shown to illustrate the idea.

This work is supported by the Basic Research Program at the National Research University Higher School of Economics and Russian Foundation for Basic Research, project No. 15-37-21103.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Similar content being viewed by others

References

  1. BPMN 2.0 Specifications Page, http://www.omg.org/spec/bpmn/2.0/

  2. UML Specifications Page, http://www.omg.org/spec/uml/

  3. Ahmed, A., Hong, S.-H.: Navigation techniques for 2.5d graph layout. In: APVIS, pp. 81–84. IEEE Computer Society (2007)

    Google Scholar 

  4. Di Battista, G., Eades, P., Tamassia, R., Tollis, I.G.: Graph Drawing: Algorithms for the Visualization of Graphs. Prentice-Hall (1999)

    Google Scholar 

  5. Cristini, F., Tessier, C.: Nets-within-nets to model innovative space system architectures. In: Haddad, S., Pomello, L. (eds.) PETRI NETS 2012. LNCS, vol. 7347, pp. 348–367. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31131-4_19

    Chapter  Google Scholar 

  6. Dworzanski, L.W., Lomazova, I.A.: Automatic construction of systems of distributed components from nested petri nets models. Program. Comput. Softw. 42(5), 292–306 (2016)

    Article  MathSciNet  Google Scholar 

  7. Dworzanski, L.W., Frumin, D.I.: Npntool: modelling and analysis toolset for nested petri nets. vol. 7, pp. 9–14. Institute for System Programming RAS, Moscow (2013)

    Google Scholar 

  8. Dwyer, T.: Three dimensional UML using force directed layout. In: Proceedings of the 2001 Asia-Pacific Symposium on Information Visualisation, APVis 2001, vol. 9, pp. 77–85. Australian Computer Society Inc., Darlinghurst (2001)

    Google Scholar 

  9. Effinger, P.: A 3D-navigator for business process models. In: La Rosa, M., Soffer, P. (eds.) BPM 2012. LNBIP, vol. 132, pp. 737–743. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36285-9_74

    Chapter  Google Scholar 

  10. Effinger, P., Spielmann, J.: Lifting business process diagrams to 2.5 dimensions. In: VDA, vol. 7530. SPIE Proceedings, p. 75300. SPIE (2010)

    Google Scholar 

  11. Fry, B.: Visualizing Data, 1st edn. O’Reilly, New York (2008)

    Google Scholar 

  12. Ho, J., Hong, S.-H.: Drawing clustered graphs in three dimensions. In: Healy, P., Nikolov, N.S. (eds.) GD 2005. LNCS, vol. 3843, pp. 492–502. Springer, Heidelberg (2006). https://doi.org/10.1007/11618058_44

    Chapter  Google Scholar 

  13. Hong, S.-H., Nikolov, N.S.: Layered drawings of directed graphs in three dimensions. In: APVIS, vol. 45. CRPIT, pp. 69–74. Australian Computer Society (2005)

    Google Scholar 

  14. Hong, S.-H., Nikolov, N.S., Tarassov, A.: A 2.5d hierarchical drawing of directed graphs. J. Graph Algorithms Appl. 11(2), 371–396 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  15. Huang, W., Murray, C., Shen, X., Song, L., Wu, Y.X., Zheng, L.: Visualisation and analysis of network motifs. In: IEEE InfoVis, pp. 697–702. IEEE Computer Society (2005)

    Google Scholar 

  16. Jerding, D.F., Stasko, J.T., Ball, T.: Visualizing interactions in program executions. In: ICSE, pp. 360–370. ACM (1997)

    Google Scholar 

  17. Jin, J., Maheswaran, R.T., Nigenda, R.S., Szekely, P.A.: Vizscript: visualizing complex interactions in multi-agent systems. In: Interaction Challenges for Intelligent Assistants (2007)

    Google Scholar 

  18. Lomazova, I.A.: Nested petri nets - a formalism for specification and verification of multi-agent distributed systems. Fundam. Inform. 43(1–4), 195–214 (2000)

    MathSciNet  MATH  Google Scholar 

  19. Lomazova, I.A.: Nested petri nets: multi-level and recursive systems. Fundam. Inform. 47(3–4), 283–293 (2001)

    MathSciNet  MATH  Google Scholar 

  20. Lomazova, I.A.: Modeling dynamic objects in distributed systems with nested petri nets. Fundam. Inform. 51(1–2), 121–133 (2002)

    MathSciNet  MATH  Google Scholar 

  21. López-Mellado, E., Almeyda-Canepa, H.: A three-level net formalism for the modeling of multiple mobile robot systems. Int. J. Comput. Integr. Manuf. 18(2&3), 137–146 (2005)

    Article  Google Scholar 

  22. López-Mellado, E., Villanueva-Paredes, N., Almeyda-Canepa, H.: Modelling of batch production systems using petri nets with dynamic tokens. Math. Comput. Simul. 67(6), 541–558 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  23. Müller, R.: Software Visualization in 3D - Implementation, Evaluation, and Applicability. PhD thesis, Universität Leipzig (2015)

    Google Scholar 

  24. Nikitina, N., Mitsyuk, A.: Carassius: a simple process model editor. Proc. ISP RAS 27(3), 219–236 (2015)

    Article  Google Scholar 

  25. De Pauw, W., Lorenz, D.H., Vlissides, J.M., Wegman, M.N.: Execution patterns in object-oriented visualization. In: COOTS, p. 219. USENIX (1998)

    Google Scholar 

  26. Poutakidis, D., Padgham, L., Winikoff, M.: Debugging multi-agent systems using design artifacts: the case of interaction protocols. In: AAMAS, pp. 960–967. ACM (2002)

    Google Scholar 

  27. Reas, C., Fry, B.: Processing: A Programming Handbook for Visual Designers and Artists. The MIT Press, Cambridge (2014)

    Google Scholar 

  28. Reisig, W.: Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer, Heidelberg (2013)

    Book  MATH  Google Scholar 

  29. Reiss, S.P.: Visualizing program execution using user abstractions. In: SOFTVIS, pp. 125–134. ACM (2006)

    Google Scholar 

  30. Samokhvalov, D.I., Dworzanski, L.W.: Automatic code generation from nested petri nets to event-based systems on the telegram platform. Proc. Inst. Syst. Program. 28(3), 65–84 (2016)

    Article  Google Scholar 

  31. Sanatnama, H., Brahimi, F.: Graph drawing algorithms: using in software tools. J. Appl. Sci. (Faisalabad) 10(17), 1894–1901 (2010)

    Article  Google Scholar 

  32. Tamassia, R. (ed.): Handbook on Graph Drawing and Visualization. Chapman and Hall/CRC, Boca Raton (2013)

    MATH  Google Scholar 

  33. Teyseyre, A.R., Campo, M.R.: An overview of 3D software visualization. IEEE Trans. Visual Comput. Graphics 15(1), 87–105 (2009)

    Article  Google Scholar 

  34. van Hee, K.M., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested nets for adaptive systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 241–260. Springer, Heidelberg (2006). https://doi.org/10.1007/11767589_14

    Chapter  Google Scholar 

  35. van Hee, K.M., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M., Lomazova, I.A.: Checking properties of adaptive workflow nets. Fundam. Inform. 79(3–4), 347–362 (2007)

    MathSciNet  MATH  Google Scholar 

  36. Xian, X.: 2D & 3D UML-based software visualization for object-oriented programs. Master’s thesis. Concordia University (2003)

    Google Scholar 

  37. Zhao, C., Zhang, K., Hao, J., Wong, W.E.: Visualizing multiple program executions to assist behavior verification. In: 2009 Third IEEE International Conference on Secure Software Integration and Reliability Improvement, pp. 113–122 (2009)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. National Research University Higher School of Economics, 20 Myasnitskaya Street, Moscow, 101000, Russia

    Alexey A. Mitsyuk & Yaroslav V. Kotylev

Authors
  1. Alexey A. Mitsyuk
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yaroslav V. Kotylev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alexey A. Mitsyuk .

Editor information

Editors and Affiliations

  1. St. Petersburg Polytechnic University, St. Petersburg, Russia

    Vladimir Itsykson

  2. University of Pennsylvania, Philadelphia, Pennsylvania, USA

    Andre Scedrov

  3. FRC CSC, Moscow, Russia

    Victor Zakharov

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Mitsyuk, A.A., Kotylev, Y.V. (2018). Layered Layouts for Software Systems Visualization Using Nested Petri Nets. In: Itsykson, V., Scedrov, A., Zakharov, V. (eds) Tools and Methods of Program Analysis. TMPA 2017. Communications in Computer and Information Science, vol 779. Springer, Cham. https://doi.org/10.1007/978-3-319-71734-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-71734-0_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-71733-3

  • Online ISBN: 978-3-319-71734-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation