Skip to main content
SpringerLink
Log in

Seeing Errors: Model Driven Simulation Trace Visualization

  • Conference paper
Model Driven Engineering Languages and Systems (MODELS 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7590))

Abstract

Powerful theoretical frameworks exist for model validation and verification, yet their use in concrete projects is limited. This is partially due to the fact that the results of model verification and simulation are difficult to exploit. This paper reports on a model driven approach that supports the user during the error diagnosis phases, by allowing customizable simulation trace visualization. Our thesis is that we can use models to significantly improve the information visualization during the diagnosis phase. This thesis is supported by Metaviz - a model-driven framework for simulation trace visualization. Metaviz uses the IFx-OMEGA model validation platform and a state-of-the-art information visualization reference model together with a well-defined development process guiding the user into building custom visualizations,essentially by defining model transformations. This approach has the potential to improve the practical usage of modeling techniques and to increase the usability and attractiveness of model validation tools.

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 39.99
Price excludes VAT (USA)
  • Available as 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Atego Web Site, http://www.atego.com/

  2. ATL Transformation Language, http://www.eclipse.org/atl

  3. Eclipse GEF Zest Framework, http://www.eclipse.org/gef/zest

  4. Eclipse Modeling Framework, http://www.eclipse.org/modeling/emf

  5. Eclipse Test & Performance Tools Platform, http://www.eclipse.org/tptp/

  6. Graphviz, http://www.graphviz.org/

  7. IFx-OMEGA, http://www.irit.fr/ifx

  8. Information Visualization. In: The Human Computer Interaction Handbook: Fundamentals, Evolving Technologies and Emerging Applications, p. 509. Lawrence Erlbaum Associates (2008)

    Google Scholar 

  9. Alawneh, L., Hamou-Lhadj, A.: MTF: A scalable exchange format for traces of high performance computing systems. In: ICPC, pp. 181–184 (2011)

    Google Scholar 

  10. Alawneh, L., Hamou-Lhadj, A.: Pattern recognition techniques applied to the abstraction of traces of inter-process communication. In: CSMR, pp. 211–220 (2011)

    Google Scholar 

  11. Andrienko, N., Andrienko, G.: Exploratory analysis of spatial and temporal data: a systematic approach. Springer (2006)

    Google Scholar 

  12. Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF Toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 237–267. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  13. Buckl, S., Ernst, A.M., Lankes, J., Schweda, C.M., Wittenburg, A.: Generating visualizations of enterprise architectures using model transformations. In: EMISA, pp. 33–46 (2007)

    Google Scholar 

  14. Ian Bull, R.: Model Driven Visualization: Towards A Model Driven Engineering Approach For Information Visualization. PhD thesis, University of Victoria, BC, Canada (2008)

    Google Scholar 

  15. Card, S.K., Mackinlay, J.: The structure of the information visualization design space. In: Proceedings of the 1997 IEEE Symposium on Information Visualization (InfoVis 1997). IEEE Computer Society, Washington, DC (1997)

    Google Scholar 

  16. Card, S.K., Mackinlay, J.D., Shneiderman, B. (eds.): Readings in information visualization: using vision to think. Morgan Kaufmann Publishers Inc., San Francisco (1999)

    Google Scholar 

  17. Chi, E.H.: A taxonomy of visualization techniques using the data state reference model. In: Proceedings of the IEEE Symposium on Information Vizualization 2000, INFOVIS 2000, IEEE Computer Society, Washington, DC (2000)

    Google Scholar 

  18. Chi, E.H.H., Riedl, J.T.: An operator interaction framework for visualization systems. In: Proceedings of IEEE Symposium on Information Visualization, pp. 63–70 (October 1998)

    Google Scholar 

  19. Conquet, E., Dormoy, F.-X., Dragomir, I., Graf, S., Lesens, D., Nienaltowski, P., Ober, I.: Formal Model Driven Engineering for Space Onboard Software (regular paper). In: International Conference on Embedded Real Time Software and Systems (ERTS2). Society of Automobile Engineers (SAE), Janvier (2012)

    Google Scholar 

  20. De Pauw, W., Helm, R., Kimelman, D., Vlissides, J.: Visualizing the behavior of object-oriented systems. In: Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1993, pp. 326–337. ACM, New York (1993)

    Chapter  Google Scholar 

  21. Favre, J.-M.: Gsee: a generic software exploration environment. In: Proceedings of the 9th International Workshop on Program Comprehension, IWPC 2001, pp. 233–244 (2001)

    Google Scholar 

  22. Garces, K., Deantoni, J., Mallet, F.: A model-based approach for reconciliation of polychronous execution traces. In: 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pp. 259–266 (2011)

    Google Scholar 

  23. Gotel, O., Marchese, F.T., Morris, S.J.: The potential for synergy between information visualization and software engineering visualization. In: Proceedings of the 2008 12th International Conference Information Visualisation, pp. 547–552 (2008)

    Google Scholar 

  24. Hamou-Lhadj, A., Lethbridge, T.: Summarizing the content of large traces to facilitate the understanding of the behaviour of a software system. In: 14th IEEE International Conference on Program Comprehension, ICPC 2006, pp. 181–190 (2006)

    Google Scholar 

  25. Chi, E.H.H.: A Framework for Information Visualization Spreadsheets. PhD thesis, The University of Minnesota, USA (1999)

    Google Scholar 

  26. Iliinsky, N., Steele, J. (eds.): Designing Data Visualizations. O’Reilly Media, Inc. (2011)

    Google Scholar 

  27. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program. 72(1-2), 31–39 (2008)

    Article  MATH  Google Scholar 

  28. Jouault, F., Bézivin, J., Kurtev, I.: TCS: a dsl for the specification of textual concrete syntaxes in model engineering. In: Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE 2006, pp. 249–254. ACM, New York (2006)

    Chapter  Google Scholar 

  29. Larkin, J., Simon, H.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science (1987)

    Google Scholar 

  30. MacEachren, A.M.: How Maps Work - Representation, Visualization, and Design, ch. 8, p. 368. Guilford Press (2004)

    Google Scholar 

  31. Mahe, V., Perez, S.M., Doux, G., Brunelière, H., Cabot, J.: PORTOLAN: a Model-Driven Cartography Framework. Rapport de recherche RR-7542, INRIA (February 2011)

    Google Scholar 

  32. Maletic, J.I., Marcus, A., Collard, M.L.: A task oriented view of software visualization. In: Proc. 1st Int. Workshop on Visualizing Software for Understanding and Analysis (Vissoft), pp. 32–40. IEEE (2002)

    Google Scholar 

  33. Miller, J., Mukerji, J.: MDA guide version 1.0.1. omg/2003-06-01. Technical report, OMG (2003)

    Google Scholar 

  34. Ober, I., Dragomir, I.: OMEGA2: A new version of the profile and the tools. In: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 373–378 (March 2010)

    Google Scholar 

  35. Ober, I., Ober, I., Dragomir, I., Aboussoror, E.A.: UML/SysML semantic tunings. Innovations in Systems and Software Engineering 7(4), 257–264 (2011)

    Article  Google Scholar 

  36. Ober, I., Graf, S., Lesens, D.: Modeling and Validation of a Software Architecture for the Ariane-5 Launcher. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 48–62. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  37. Ober, I., Graf, S., Yushtein, Y., Ober, I.: Timing analysis and validation with UML: the case of the embedded mars bus manager. Journal on Innovations in Systems and Software Engineering 4(3), 301–308 (2008)

    Article  Google Scholar 

  38. Robertson, P., De Ferrari, L.: Systematic Approaches to Visualization: Is a Reference Model Needed? In: Scientific Visualization: Advances and Challenges. Academic (1994)

    Google Scholar 

  39. Shneiderman, B.: The eyes have it: a task by data type taxonomy for information visualizations. In: Proceedings of IEEE Symposium on Visual Languages, pp. 336–343 (September 1996)

    Google Scholar 

  40. Wagelaar, D., Van Der Straeten, R., Deridder, D.: Module superimposition: a composition technique for rule-based model transformation languages. Software and Systems Modeling 9, 285–309 (2010)

    Article  Google Scholar 

  41. Walker, R.J., Murphy, G.C., Freeman-Benson, B., Wright, D., Swanson, D., Isaak, J.: Visualizing dynamic software system information through high-level models. SIGPLAN Not. 33, 271–283 (1998)

    Article  Google Scholar 

  42. Ware, C.: Information visualization: perception for design. Morgan Kaufmann Publishers Inc., San Francisco (2000)

    Google Scholar 

  43. Ware, C.: Information visualization: perception for design, vol. 1. Morgan Kaufmann Publishers Inc., San Francisco (2000)

    Google Scholar 

  44. Wiss, U., Carr, D., Jonsson, H.: Evaluating three-dimensional information visualization designs: a case study of three designs. In: Proceedings IEEE Conference on Information Visualization, pp. 137–144 (July 1998)

    Google Scholar 

  45. Wood, S., Cox, R., Cheng, P.: Attention design: Eight issues to consider. Computers in Human Behavior 22, 588–602 (2006)

    Article  Google Scholar 

  46. Zhang, J.: The nature of external representations in problem solving. Cognitive Science 21(2), 179–217 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IRIT, Université de Toulouse, 118 Route de Narbonne, F -31062, Toulouse, France

    El Arbi Aboussoror, Ileana Ober & Iulian Ober

Authors
  1. El Arbi Aboussoror
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ileana Ober
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Iulian Ober
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Colorado State University, 80523, Fort Collins, CO, USA

    Robert B. France

  2. Healthcare Services International, Managed Services, Siemens AG, Hartmannstr. 16, 91052, Erlangen, Germany

    Jürgen Kazmeier

  3. Institute of Computer Science, University of Innsbruck, Technikerstr. 21a, 6020, Innsbruck, Austria

    Ruth Breu

  4. Software Engineering Group, A5, 6, University of Mannheim, 68131, Mannheim, Germany

    Colin Atkinson

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aboussoror, E.A., Ober, I., Ober, I. (2012). Seeing Errors: Model Driven Simulation Trace Visualization. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2012. Lecture Notes in Computer Science, vol 7590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33666-9_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33666-9_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33665-2

  • Online ISBN: 978-3-642-33666-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation