Abstract
A plethora of theoretical results are available which make possible the use of dynamic analysis and model-checking for software and system models expressed in high-level modeling languages like UML, SDL or AADL. Their usage is hindered by the complexity of information processing demanded from the modeler in order to apply them and to effectively exploit their results. Our thesis is that by improving the visual presentation of the analysis results, their exploitation can be highly improved. To support this thesis, we define a trace analysis approach based on the extraction of high-level semantics events from the low-level output of a simulation or model-checking tool. This extraction offers the basis for new types of scenario visualizations, improving scenario understanding and exploration. This approach was implemented in our UML/SysML analyzer and was validated in a controlled experiment that shows a significant increase in the usability of our tool, both in terms of task performance speed and in terms of user satisfaction.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Object Management Group: Unified Modeling Language, http://www.uml.org/
International Telecommunication Union: ITU-T Recommendation Z.100 (12/11) – Specification and Description Language – Overview of SDL-2010 (2011), http://www.itu.int/rec/T-REC-Z.100-201112-I/en
SAE International: SAE Architecture Analysis & Design Language (AADL) AS5506 Rev.B (2012), http://standards.sae.org/as5506b/
Aboussoror, E.A., Ober, I., Ober, I.: Seeing Errors: Model Driven Simulation Trace Visualization. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 480–496. Springer, Heidelberg (2012)
Lilius, J., Paltor, I.P.: vUML: A tool for verifying UML models. In: 14th IEEE International Conference on Automated Software Engineering (ASE 1999), pp. 255–258. IEEE Computer Society (1999)
Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice Hall (1991)
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 2010), pp. 373–378. IEEE Computer Society (2010)
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)
Espinoza, H., Dubois, H., Gérard, S., Medina, J.L., Petriu, D.C., Woodside, C.M.: Annotating UML Models with Non-Functional Properties for Quantitative Analysis. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 79–90. Springer, Heidelberg (2006)
Conquet, E., et al.: Formal Model Driven Engineering for Space Onboard Software. In: Embedded Real Time Software and Systems (ERTS2) (2012), http://www.erts2012.org/Site/0P2RUC89/7B-4.pdf
Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum – a MARTE-based Methodology for Schedulability Analysis at Early Design Stages. SIGSOFT Software Engineering Notes 36(1), 1–8 (2011)
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)
Ober, I., Graf, S., Yushtein, Y., Ober, I.: Timing Analysis and Validation with UML – the case of the embedded Mars bus manager. Innovations in Systems and Software Engineering 4(3), 301–308 (2008)
Official reference MARTE Tutorial, http://www.omg.org/omgmarte/Tutorial.html
Etzion, O., Niblett, P., Luckham, D.: Event Processing in Action. Manning (2010)
Lin, Y., Gray, J., Jouault, F.: DSMDiff – a differentiation tool for domain-specific models. European Journal of Information Systems 16(4), 349–361 (2007), http://dx.doi.org/10.1057/palgrave.ejis.3000685
Dix, A.: Human-Computer Interaction. Pearson/Prentice-Hall (2004)
Brooke, J.: SUS – A quick and dirty usability scale (1996), http://hell.meiert.org/core/pdf/sus.pdf
International Standards Organisation: ISO 9241-11:1998 Ergonomic requirements for office work with visual display terminals (vdts) part 11 – Guidance on usability, http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=16883
Juzgado, N.-J., Moreno, A.-M.: Basics of Software Engineering Experimentation. Springer (2001)
Stanton, N., et al.: Human Factors Methods – A Practical Guide for Engineering and Design. Ashgate (2005)
Sweller, J.: Evolution of human cognitive architecture. Psychology of Learning and Motivation 43, 215–266 (2003)
The UML Profile for MARTE, http://www.omgmarte.org/
DeAntoni, J., et al.: RT-SIMEX – Retro-analysis of execution traces. In: Proceedings of the Eighteenth ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2010), pp.377–378. ACM (2010)
Yokoyama, S., Sato, H., Kurihara, M.: User-friendly GUI in Software Model Checking. In: Proceedings of the 2009 IEEE International Conference on Systems, Man and Cybernetics (SMC 2009), pp. 468–473. IEEE Press (2009)
Moody, D.L.: The ”Physics” of Notations: Toward a scientific basis for constructing visual notations in software engineering. IEEE Transactions on Software Engineering 35(6), 756–779 (2009)
Combemale, B., Gonnord, L., Rusu, V.: A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 35–51. Springer, Heidelberg (2011)
Hutchinson, J., et al.: Empirical Assessment of MDE in Industry. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), pp. 471–480. ACM (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aboussoror, E.A., Ober, I., Ober, I. (2013). Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds) SDL 2013: Model-Driven Dependability Engineering. SDL 2013. Lecture Notes in Computer Science, vol 7916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38911-5_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-38911-5_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38910-8
Online ISBN: 978-3-642-38911-5
eBook Packages: Computer ScienceComputer Science (R0)