OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback

Aboussoror, El Arbi and Ober, Ileana and Ober, Iulian Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback. (2013) In: 16th International System Design Languages Forum (SDL 2013), 26 June 2013 - 28 June 2013 (Montreal, Canada).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
1MB

Official URL: http://dx.doi.org/10.1007/978-3-642-38911-5_7

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.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 7916 Lecture Notes in Computer Science ISSN : 0302-9743. ISBN: 978-3-642-38910-8. The original PDF is available at : http://link.springer.com/chapter/10.1007%2F978-3-642-38911-5_7
HAL Id:hal-01226474
Audience (conference):National conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Statistics:download
Deposited By: IRIT IRIT
Deposited On:14 Oct 2015 13:48

Repository Staff Only: item control page