{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,25]],"date-time":"2025-11-25T06:48:21Z","timestamp":1764053301216,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":46,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_31","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"480-496","source":"Crossref","is-referenced-by-count":6,"title":["Seeing Errors: Model Driven Simulation Trace Visualization"],"prefix":"10.1007","author":[{"given":"El Arbi","family":"Aboussoror","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ileana","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulian","family":"Ober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Atego Web Site, http:\/\/www.atego.com\/"},{"key":"31_CR2","unstructured":"ATL Transformation Language, http:\/\/www.eclipse.org\/atl"},{"key":"31_CR3","unstructured":"Eclipse GEF Zest Framework, http:\/\/www.eclipse.org\/gef\/zest"},{"key":"31_CR4","unstructured":"Eclipse Modeling Framework, http:\/\/www.eclipse.org\/modeling\/emf"},{"key":"31_CR5","unstructured":"Eclipse Test & Performance Tools Platform, http:\/\/www.eclipse.org\/tptp\/"},{"key":"31_CR6","unstructured":"Graphviz, http:\/\/www.graphviz.org\/"},{"key":"31_CR7","unstructured":"IFx-OMEGA, http:\/\/www.irit.fr\/ifx"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"Information Visualization. In: The Human Computer Interaction Handbook: Fundamentals, Evolving Technologies and Emerging Applications, p. 509. Lawrence Erlbaum Associates (2008)","DOI":"10.1201\/9781410615862.ch26"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Alawneh, L., Hamou-Lhadj, A.: MTF: A scalable exchange format for traces of high performance computing systems. In: ICPC, pp. 181\u2013184 (2011)","DOI":"10.1109\/ICPC.2011.15"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Alawneh, L., Hamou-Lhadj, A.: Pattern recognition techniques applied to the abstraction of traces of inter-process communication. In: CSMR, pp. 211\u2013220 (2011)","DOI":"10.1109\/CSMR.2011.27"},{"key":"31_CR11","unstructured":"Andrienko, N., Andrienko, G.: Exploratory analysis of spatial and temporal data: a systematic approach. Springer (2006)"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-30080-9_8","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"M. Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF Toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 237\u2013267. Springer, Heidelberg (2004)"},{"key":"31_CR13","unstructured":"Buckl, S., Ernst, A.M., Lankes, J., Schweda, C.M., Wittenburg, A.: Generating visualizations of enterprise architectures using model transformations. In: EMISA, pp. 33\u201346 (2007)"},{"key":"31_CR14","unstructured":"Ian Bull, R.: Model Driven Visualization: Towards A Model Driven Engineering Approach For Information Visualization. PhD thesis, University of Victoria, BC, Canada (2008)"},{"key":"31_CR15","volume-title":"Proceedings of the 1997 IEEE Symposium on Information Visualization (InfoVis 1997)","author":"S.K. Card","year":"1997","unstructured":"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)"},{"volume-title":"Readings in information visualization: using vision to think","year":"1999","key":"31_CR16","unstructured":"Card, S.K., Mackinlay, J.D., Shneiderman, B. (eds.): Readings in information visualization: using vision to think. Morgan Kaufmann Publishers Inc., San Francisco (1999)"},{"key":"31_CR17","volume-title":"Proceedings of the IEEE Symposium on Information Vizualization 2000, INFOVIS 2000","author":"E.H. Chi","year":"2000","unstructured":"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)"},{"key":"31_CR18","unstructured":"Chi, E.H.H., Riedl, J.T.: An operator interaction framework for visualization systems. In: Proceedings of IEEE Symposium on Information Visualization, pp. 63\u201370 (October 1998)"},{"key":"31_CR19","unstructured":"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)"},{"key":"31_CR20","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1145\/165854.165919","volume-title":"Proceedings of the Eighth Annual Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1993","author":"W. Pauw De","year":"1993","unstructured":"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\u2013337. ACM, New York (1993)"},{"key":"31_CR21","doi-asserted-by":"crossref","unstructured":"Favre, J.-M.: Gsee: a generic software exploration environment. In: Proceedings of the 9th International Workshop on Program Comprehension, IWPC 2001, pp. 233\u2013244 (2001)","DOI":"10.1109\/WPC.2001.921734"},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"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\u2013266 (2011)","DOI":"10.1109\/SEAA.2011.47"},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"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\u2013552 (2008)","DOI":"10.1109\/IV.2008.56"},{"key":"31_CR24","doi-asserted-by":"crossref","unstructured":"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\u2013190 (2006)","DOI":"10.1109\/ICPC.2006.45"},{"key":"31_CR25","unstructured":"Chi, E.H.H.: A Framework for Information Visualization Spreadsheets. PhD thesis, The University of Minnesota, USA (1999)"},{"key":"31_CR26","unstructured":"Iliinsky, N., Steele, J. (eds.): Designing Data Visualizations. O\u2019Reilly Media, Inc. (2011)"},{"issue":"1-2","key":"31_CR27","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F. Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program.\u00a072(1-2), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"31_CR28","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/1173706.1173744","volume-title":"Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE 2006","author":"F. Jouault","year":"2006","unstructured":"Jouault, F., B\u00e9zivin, 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\u2013254. ACM, New York (2006)"},{"key":"31_CR29","doi-asserted-by":"crossref","unstructured":"Larkin, J., Simon, H.: Why a diagram is (sometimes) worth ten thousand words. Cognitive Science (1987)","DOI":"10.1016\/S0364-0213(87)80026-5"},{"key":"31_CR30","unstructured":"MacEachren, A.M.: How Maps Work - Representation, Visualization, and Design, ch.\u00a08, p. 368. Guilford Press (2004)"},{"key":"31_CR31","unstructured":"Mahe, V., Perez, S.M., Doux, G., Bruneli\u00e8re, H., Cabot, J.: PORTOLAN: a Model-Driven Cartography Framework. Rapport de recherche RR-7542, INRIA (February 2011)"},{"key":"31_CR32","doi-asserted-by":"crossref","unstructured":"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\u201340. IEEE (2002)","DOI":"10.1109\/VISSOF.2002.1019792"},{"key":"31_CR33","unstructured":"Miller, J., Mukerji, J.: MDA guide version 1.0.1. omg\/2003-06-01. Technical report, OMG (2003)"},{"key":"31_CR34","doi-asserted-by":"crossref","unstructured":"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\u2013378 (March 2010)","DOI":"10.1109\/ICECCS.2010.41"},{"issue":"4","key":"31_CR35","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s11334-011-0163-2","volume":"7","author":"I. Ober","year":"2011","unstructured":"Ober, I., Ober, I., Dragomir, I., Aboussoror, E.A.: UML\/SysML semantic tunings. Innovations in Systems and Software Engineering\u00a07(4), 257\u2013264 (2011)","journal-title":"Innovations in Systems and Software Engineering"},{"key":"31_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/11768869_6","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"I. Ober","year":"2006","unstructured":"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.\u00a04037, pp. 48\u201362. Springer, Heidelberg (2006)"},{"issue":"3","key":"31_CR37","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/s11334-008-0066-z","volume":"4","author":"I. Ober","year":"2008","unstructured":"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\u00a04(3), 301\u2013308 (2008)","journal-title":"Journal on Innovations in Systems and Software Engineering"},{"key":"31_CR38","unstructured":"Robertson, P., De Ferrari, L.: Systematic Approaches to Visualization: Is a Reference Model Needed? In: Scientific Visualization: Advances and Challenges. Academic (1994)"},{"key":"31_CR39","unstructured":"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\u2013343 (September 1996)"},{"key":"31_CR40","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s10270-009-0134-3","volume":"9","author":"D. Wagelaar","year":"2010","unstructured":"Wagelaar, D., Van Der Straeten, R., Deridder, D.: Module superimposition: a composition technique for rule-based model transformation languages. Software and Systems Modeling\u00a09, 285\u2013309 (2010)","journal-title":"Software and Systems Modeling"},{"key":"31_CR41","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/286942.286966","volume":"33","author":"R.J. Walker","year":"1998","unstructured":"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.\u00a033, 271\u2013283 (1998)","journal-title":"SIGPLAN Not."},{"key":"31_CR42","volume-title":"Information visualization: perception for design","author":"C. Ware","year":"2000","unstructured":"Ware, C.: Information visualization: perception for design. Morgan Kaufmann Publishers Inc., San Francisco (2000)"},{"key":"31_CR43","volume-title":"Information visualization: perception for design","author":"C. Ware","year":"2000","unstructured":"Ware, C.: Information visualization: perception for design, vol.\u00a01. Morgan Kaufmann Publishers Inc., San Francisco (2000)"},{"key":"31_CR44","doi-asserted-by":"crossref","unstructured":"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\u2013144 (July 1998)","DOI":"10.1109\/IV.1998.694211"},{"key":"31_CR45","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1016\/j.chb.2005.12.007","volume":"22","author":"S. Wood","year":"2006","unstructured":"Wood, S., Cox, R., Cheng, P.: Attention design: Eight issues to consider. Computers in Human Behavior\u00a022, 588\u2013602 (2006)","journal-title":"Computers in Human Behavior"},{"issue":"2","key":"31_CR46","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1207\/s15516709cog2102_3","volume":"21","author":"J. Zhang","year":"1997","unstructured":"Zhang, J.: The nature of external representations in problem solving. Cognitive Science\u00a021(2), 179\u2013217 (1997)","journal-title":"Cognitive Science"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,9]],"date-time":"2025-04-09T00:32:26Z","timestamp":1744158746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}