Model-Based traces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5421, Issue , 2009, Pages 109-119

  Maoz, Shahar ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC GENERATION; BEHAVIORAL MODEL; MODEL-BASED; MODEL-DRIVEN ENGINEERING; RUNTIME; SEQUENCE CHARTS; STATE-BASED MODELS; STATECHARTS; VISUAL EXPLORATION;

COMPUTER SOFTWARE; DYNAMIC ANALYSIS; MODELS; TRACE ANALYSIS;

MATHEMATICAL MODELS;

EID: 67650165133     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01648-6_12     Document Type: Conference Paper

References (16)

1. Aspect J, http://www.eclipse.org/aspectj/
2. IBM Rational Software Architect, http://www-306.ibm.com/software/ awdtools/ architect/swarchitect/
3. PacMan. Java implementation of the classic PacMan game, http://www.bennychow.com
4. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19(1), 45-80 (2001)
5. Goldsby, H.J., Cheng, B.H.C., Zhang, J.: AMOEBA-RT: Run-Time Verification of Adaptive Software. In: Giese, H. (ed.) MoDELS 2007 Workshops. LNCS, vol. 5002, pp. 212-224. Springer, Heidelberg (2008)
6. Hamou-Lhadj, A., Lethbridge, T.C.: A Survey of Trace Exploration Tools and Techniques. In: Lutfiyya, H., Singer, J., Stewart, D.A. (eds.) Proc. Conf. of the Centre for Advanced Studies on Collaborative research (CASCON 2004), pp. 42- 55. IBM (2004)
7. Harel, D., Gery, E.: Executable Object Modeling with Statecharts. IEEE Computer 30(7), 31-42 (1997) (Pubitemid 127546083)
8. Harel, D., Kleinbort, A., Maoz, S.: S2A: A Compiler for Multi-modal UML Sequence Diagrams. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol. 4422, pp. 121-124. Springer, Heidelberg (2007) (Pubitemid 350259346)
9. Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling (SoSyM) 7(2), 237-252 (2008) (Pubitemid 351663184)
10. Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play-in/play-out approach. Software and Systems Modeling (SoSyM) 2(2), 82-107 (2003)
11. Hooman, J., Hendriks, T.: Model-Based Run-Time Error Detection. In: Giese, H. (ed.) MODELS 2008. LNCS, vol. 5002, pp. 225-236. Springer, Heidelberg (2008)
12. Kugler, H.J., Harel, D., Pnueli, A., Lu, Y., Bontemps, Y.: Temporal Logic for Scenario-Based Specifications. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 445-460. Springer, Heidelberg (2005) (Pubitemid 41273758)
13. Maoz, S., Harel, D.: From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ. In: Young, M., Devanbu, P.T. (eds.) FSE 2006, pp. 219-230. ACM, New York (2006) (Pubitemid 47129399)
14. Maoz, S., Kleinbort, A., Harel, D.: Towards Trace Visualization and Exploration for Reactive Systems. In: Proc. IEEE Symp. on Visual Languages and Human- Centric Computing (VL/HCC 2007), pp. 153-156. IEEE Computer Society, Los Alamitos (2007)
15. Marelly, R., Harel, D., Kugler, H.: Multiple Instances and Symbolic Variables in Executable Sequence Charts. In: Proc. 17th ACM Conf. on Object-Oriented Prog., Systems, Lang. and App (OOPSLA 2002), pp. 83-100 (2002)
16. Stolz, V., Bodden, E.: Temporal Assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144(4), 109-124 (2006)