Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer Read chapter Read first chapter

2018 | OriginalPaper | Chapter

Layered Layouts for Software Systems Visualization Using Nested Petri Nets

Authors : Alexey A. Mitsyuk, Yaroslav V. Kotylev

Published in: Tools and Methods of Program Analysis

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter 5W+1H Static Analysis Report Quality Measure
next chapter Unity Application Testing Automation with Appium and Image Recognition
Literature
1.
2.
3.
Ahmed, A., Hong, S.-H.: Navigation techniques for 2.5d graph layout. In: APVIS, pp. 81–84. IEEE Computer Society (2007)
4.
Di Battista, G., Eades, P., Tamassia, R., Tollis, I.G.: Graph Drawing: Algorithms for the Visualization of Graphs. Prentice-Hall (1999)
5.
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)MathSciNetCrossRef
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)
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)
9.
10.
Effinger, P., Spielmann, J.: Lifting business process diagrams to 2.5 dimensions. In: VDA, vol. 7530. SPIE Proceedings, p. 75300. SPIE (2010)
11.
Fry, B.: Visualizing Data, 1st edn. O’Reilly, New York (2008)
12.
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)
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)MathSciNetCrossRefMATH
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)
16.
Jerding, D.F., Stasko, J.T., Ball, T.: Visualizing interactions in program executions. In: ICSE, pp. 360–370. ACM (1997)
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)
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)MathSciNetMATH
19.
Lomazova, I.A.: Nested petri nets: multi-level and recursive systems. Fundam. Inform. 47(3–4), 283–293 (2001)MathSciNetMATH
20.
Lomazova, I.A.: Modeling dynamic objects in distributed systems with nested petri nets. Fundam. Inform. 51(1–2), 121–133 (2002)MathSciNetMATH
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)CrossRef
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)MathSciNetCrossRefMATH
23.
Müller, R.: Software Visualization in 3D - Implementation, Evaluation, and Applicability. PhD thesis, Universität Leipzig (2015)
24.
Nikitina, N., Mitsyuk, A.: Carassius: a simple process model editor. Proc. ISP RAS 27(3), 219–236 (2015)CrossRef
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)
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)
27.
Reas, C., Fry, B.: Processing: A Programming Handbook for Visual Designers and Artists. The MIT Press, Cambridge (2014)
28.
Reisig, W.: Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer, Heidelberg (2013)CrossRefMATH
29.
Reiss, S.P.: Visualizing program execution using user abstractions. In: SOFTVIS, pp. 125–134. ACM (2006)
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)CrossRef
31.
Sanatnama, H., Brahimi, F.: Graph drawing algorithms: using in software tools. J. Appl. Sci. (Faisalabad) 10(17), 1894–1901 (2010)CrossRef
32.
Tamassia, R. (ed.): Handbook on Graph Drawing and Visualization. Chapman and Hall/CRC, Boca Raton (2013)MATH
33.
Teyseyre, A.R., Campo, M.R.: An overview of 3D software visualization. IEEE Trans. Visual Comput. Graphics 15(1), 87–105 (2009)CrossRef
34.
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)MathSciNetMATH
36.
Xian, X.: 2D & 3D UML-based software visualization for object-oriented programs. Master’s thesis. Concordia University (2003)
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)
Metadata
Title
Layered Layouts for Software Systems Visualization Using Nested Petri Nets
Authors
Alexey A. Mitsyuk
Yaroslav V. Kotylev
Copyright Year
2018
Book
Tools and Methods of Program Analysis

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

Electronic ISBN: 978-3-319-71734-0

Copyright Year: 2018

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

Premium Partner

    Image Credits