This Article 
 Bibliographic References 
 Add to: 
Using Model-Based Traces as Runtime Models
October 2009 (vol. 42 no. 10)
pp. 28-36
Shahar Maoz, Weizmann Institute of Science
Software engineers typically use code-level tracing to capture a running system's behavior. An alternative is to generate and analyze model-based traces, which contain rich semantic information about the system's runs at the abstraction level that its design models define. A set of metrics and operators can aid such trace analysis.

1. S. Maoz, "Model-Based Traces," Proc. Models in Software Eng. Workshops and Symposia at MoDELS 2008, M.R.V. Chaudron ed., LNCS 5421, Springer, 2008, pp. 109-119.
2. D. Harel, A. Kleinbort, and S. Maoz, "S2A: A Compiler for Multi-Modal UML Sequence Diagrams," Proc. 10th Int'l Conf. Fundamental Approaches to Software Eng. (FASE 07), M.B. Dwyer, and A. Lopes eds., LNCS 4422, Springer, 2007, pp. 121-124.
3. S. Maoz, and D. Harel, "From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ," Proc. 14th Int'l ACM/SIGSOFT Symp. Foundations of Software Eng. (FSE 06), M. Young, and P.T. Devanbu eds., ACM Press, 2006, pp. 219-230.
4. W. Damm, and D. Harel, "LSCs: Breathing Life into Message Sequence Charts," J. Formal Methods in System Design, vol. 19, no. 1, 2001, pp. 45-80.
5. D. Harel and S. Maoz, "Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams," Software and Systems Modeling, vol. 7, no. 2, 2008, pp. 237-252.
6. S. Maoz, "Polymorphic Scenario-Based Specification Models: Semantics and Applications," Proc. 12th Int'l Conf. Model-Driven Eng. Languages and Systems (MoDELS 09), A. Schürr, and B. Selic eds., LNCS 5795, Springer, 2009, pp. 499-513.
7. S. Maoz, A. Kleinbort, and D. Harel, "Towards Trace Visualization and Exploration for Reactive Systems," Proc. IEEE Symp. Visual Languages and Human-Centric Computing (VL/HCC 07), IEEE CS Press, 2007, pp. 153-156.
8. N. Bencomo et al., "Third International Workshop on Models@runtime," Proc. Models in Software Eng. Workshops and Symposia at MoDELS 2008, M.R.V. Chaudron ed., LNCS 5421, Springer, 2008, pp. 90-96.
9. B.H.C. Cheng et al., eds., Software Engineering for Self-Adaptive Systems, LNCS 5525, Springer, 2009.
10. A. Hamou-Lhadj, and T.C. Lethbridge . , "A Survey of Trace Exploration Tools and Techniques," Proc. Conf. Centre for Advanced Studies on Collaborative Reseach (CASCON 04), H. Lutfiyya, J. Singer, and D.A. Stewart eds., IBM, 2004, pp. 42-55.

Index Terms:
Keywords: Model-based traces, Runtime models, Trace analysis, Model-driven engineering, Software visualization
Shahar Maoz, "Using Model-Based Traces as Runtime Models," Computer, vol. 42, no. 10, pp. 28-36, Oct. 2009, doi:10.1109/MC.2009.336
Usage of this product signifies your acceptance of the Terms of Use.