Using model-based traces as runtime models

Computer

Volumn 42, Issue 10, 2009, Pages 28-36

  Maoz, Shahar ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

Model based traces; Model driven engineering; Runtime models; Trace analysis

Indexed keywords

EID: 70350302883     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2009.336     Document Type: Article

References (10)

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 Aspect J," 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ρuntime," 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.