A compiler for multimodal scenarios: Transforming LSCs into aspectJ

ACM Transactions on Software Engineering and Methodology

Volumn 20, Issue 4, 2011, Pages

  Maoz, Shahar ^a   Harel, David ^a   Kleinbort, Asaf ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

Aspect oriented programming; Code generation; Inter object approach; Live sequence charts; Scenario based programming; Scenarios; UML sequence diagrams; Visual formalisms

Indexed keywords

CODE GENERATION; INTER-OBJECT APPROACH; LIVE SEQUENCE CHART; SCENARIOS; UML SEQUENCE DIAGRAMS; VISUAL FORMALISM;

ASPECT ORIENTED PROGRAMMING; COMPUTER SYSTEMS PROGRAMMING; FLOWCHARTING; NETWORK COMPONENTS; OBJECT ORIENTED PROGRAMMING; SPECIFICATIONS;

PROGRAM COMPILERS;

EID: 80053470521     PISSN: 1049331X     EISSN: 15577392     Source Type: Journal    
DOI: 10.1145/2000799.2000804     Document Type: Article

References (71)

1. ALLAN, C., AVGUSTINOV, P., CHRISTENSEN, A. S., HENDREN, L. J., KUZINS, S., LHOTÁK, O., DE MOOR, O., SERENI, D., SITTAMPALAM, G., AND TIBBLE, J. 2005. Adding trace matching with free variables to AspectJ. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object Oriented rogramming, Systems, Languages, and Applications (OOPSLA'05). R. Johnson and R. P. Gabriel Eds., ACM, New York, NY, 345-364.
2. ALUR, R., ETESSAMI, K., AND YANNAKAKIS, M. 2003. Inference of message sequence charts. IEEE Trans. Softw. Engin. 29, 7, 623-633.
3. ARAÚJO, J., MOREIRA, A., BRITO, I., AND RASHID, A. 2002. Aspect-oriented requirements with UML. In Proceedings of the Workshop on Aspect-Oriented Modeling with UML. M. Kande, O. Aldawud, G. Booch, and B. Harrison Eds.
4. ARAUJO, J., WHITTLE, J., AND KIM, D.-K. 2004. Modeling and composing scenario-based requirements with Aspects. In Proceedings of the 12th IEEE International Conference on Requirements Engineering (RE'04). IEEE Computer Society, 58-67. (Pubitemid 40498771)
5. ATIR, Y., HAREL, D., KLEINBORT, A., AND MAOZ, S. 2008. Object composition in scenario-based programming. In Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE'08). J. L. Fiadeiro and P. Inverardi Eds., Lecture Notes in Computer Science, vol. 4961, Springer, 301-316.
6. AVGUSTINOV, P., CHRISTENSEN, A. S., HENDREN, L., KUZINS, S., LHOTÁK, J., LHOTÁK, O., DE MOOR, O., SERENI, D., SITTAMPALAM, G., AND TIBBLE, J. 2005. abc: An extensible AspectJ compiler. In Proceedings of the 4th International Conference on Aspect-Oriented Software Development (AOSD'05). ACM Press, 87-98.
7. AVGUSTINOV, P., TIBBLE, J., AND DE MOOR, O. 2007. Making trace monitors feasible. In Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA'07).R. P. Gabriel,D. F. Bacon, C. V. Lopes, andG. L. S. Jr. Eds., ACM, New York, NY, 589-608.
8. BARAK, D., HAREL, D., AND MARELLY, R. 2006. InterPlay: Horizontal scale-up and transition to design in scenario-based programming. IEEE Trans. Softw. Engin. 32, 7, 467-485. (Pubitemid 46405279)
9. BARRA, E., GÉNOVA, G., AND LLORENS, J. 2004. An approach to aspect modeling with UML 2.0. In Proceedings of the 5th International Workshop on Aspect-Oriented Modeling (AOM'04).
10. BARZILAY, O., FELDMAN, Y., TYSZBEROWICZ, S., AND YEHUDAI, A. 2004. Call and execution semantics in AspectJ. In Proceedings of the Workshop on Foundations of Aspect Oriented Languages (FOAL'04), C. Clifton, R. Lammel, and G. T. Leavens, Eds., 19-23.
11. BASCH, M. AND SANCHEZ, A. 2003. Incorporating aspects into the UML. In Proceedings of the 3rd International Workshop on Aspect-Oriented Modeling.
12. BODDEN, E., SHAIKH, R., AND HENDREN, L. J. 2008. Relational aspects as tracematches. In Proceedings of the 7th International Conference on Aspect-Oriented Software Development (AOSD'08). T. D'Hondt Ed., ACM, 84-95.
13. BONTEMPS, Y. AND HEYMANS, P. 2002. Turning high-level live sequence charts into automata. In Proceedings of the 1st International Workshop on Scenarios and State-Machines (SCESM'02) at the 24th International Conference on Software Engineering (ICSE'02).
14. BUNKER, A., GOPALAKRISHNAN, G., AND SLIND, K. 2005. Live sequence charts applied to hardware requirements specification and verification. Softw. Tools Techn. Transfer 7, 4, 341-350. (Pubitemid 41194572)
15. COMBES, P., HAREL, D., AND KUGLER, H. 2008. Modeling and verification of a telecommunication application using live sequence charts and the play-engine tool. Softw. Syst. Model. 7, 2, 157-175. (Pubitemid 351663181)
16. DAMM, W. AND HAREL, D. 2001. LSCs: Breathing life into message sequence charts. Formal Meth. Syst. Des. 19, 1, 45-80. (Pubitemid 32697643)
17. DEUBLER, M.,MEISINGER, M., RITTMANN, S., AND KRÜGER, I. 2005. Modeling crosscutting services with uml sequence diagrams. In Proceedings of the 8th International Conference onModel Driven Engineering Languages and Systems (MoDELS'05). L. C. Briand and C. Williams, Eds., Lecture Notes in Computer Science, vol. 3713, Springer, 522-536.
18. ELRAD, T., FILMAN, R. E., AND BADER, A. 2001. Aspect-oriented programming: Introduction. Comm. ACM 44, 10, 29-32.
19. GROHER, I. AND SCHULZE, S. 2003. Generating aspect code from UML models. In Proceedings of the 4th Aspect-Orianted Software Development Modeling With UML Workshop. F. Akkawi, O. Aldawud, G. Booch, S. Clarke, J. Gray, B. Harrison, M. Kande, D. Stein, P. Tarr, and A. Zakaria Eds.
20. HAREL, D. 2001. From play-in scenarios to code: An achievable dream. IEEE Comput. 34, 1, 53-60. (Pubitemid 32135809)
21. HAREL, D. 2008. Can programming be liberated, period? IEEE Comput. 41, 1, 28-37.
22. HAREL, D. AND GERY, E. 1997. Executable object modeling with statecharts. IEEE Comput. 30, 7, 31-42. (Pubitemid 127546083)
23. HAREL, D. AND KUGLER, H. 2002. Synthesizing state-based object systems from LSC specifications. Int. J. Found. Comput. Sci. 13, 1, 5-51.
24. HAREL, D. AND MARELLY, R. 2002. Playing with Time: On the Specification and Execution of Time- Enriched LSCs. In Proceedings of the 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'02). IEEE Computer Society, 193-202.
25. HAREL, D. AND MARELLY, R. 2003a. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer.
26. HAREL, D. AND MARELLY, R. 2003b. Specifying and executing behavioral requirements: the play-in/playout approach. Softw. Syst. Model. 2, 2, 82-107.
27. HAREL, D. AND NAAMAD, A. 1996. The statemate semantics of statecharts. ACM Trans. Softw. Engin. Methodol. 5, 4, 293-333. (Pubitemid 126422525)
28. HAREL, D. AND MAOZ, S. 2008. Assert and negate revisited: Modal semantics for UML sequence diagrams. Softw. Syst. Model. 7, 2, 237-252. (Pubitemid 351663184)
29. HAREL, D. AND SEGALL, I. 2007. Planned and traversable play-out: A flexible method for executing scenario-based programs. In Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07). O. Grumberg and M. Huth Eds., Lecture Notes in Computer Science, vol. 4424, Springer, 485-499. (Pubitemid 350259315)
30. HAREL, D., LACHOVER, H., NAAMAD, A., PNUELI, A., POLITI, M., SHERMAN, R., SHTULL-TRAURING, A., AND TRAKHTENBROT, M. 1990. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. Softw. Engin. 16, 403-414. (Pubitemid 20712683)
31. HAREL, D., KUGLER, H.,MARELLY, R., AND PNUELI, A. 2002. Smart play-out of behavioral requirements. In Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD'02). M. Aagaard and J. W. O'Leary Eds., Lecture Notes in Computer Science, Springer, 378-398.
32. HAREL, D., KLEINBORT, A., AND MAOZ, S. 2007. S2A: A compiler for multi-modal UML sequence diagrams. In Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE'07). M. B. Dwyer and A. Lopes Eds., Lecture Notes in Computer Science, vol. 4422, Springer, 121-124. (Pubitemid 350259346)
33. HAREL, D., KANTOR, A., AND MAOZ, S. 2009a. On the power of play-out for scenario-based programs. In Concurrency, Compositionality, and Correctness, Festschrift in Honor of Willem-Paul de Roever. D. Darns, U. Hannemann, and M. Steffen Eds., Lecture Notes in Computer Science, vol. 5930, Springer, 207-220.
34. HAREL, D., KUGLER, H., MAOZ, S., AND SEGALL, I. 2009b. How hard is smart play-out? On the complexity of verification-driven execution. In Perspectives in Concurrency Theory, A Festschrift for P. S. Thiagarajan. K. Lodaya, M. Mukultfl, and R. Ramanujam Eds., Universities Press, 208-230.
35. HAREL, D., KUGLER, H., MAOZ, S., AND SEGALL, I. 2010. Accelerating smart play-out. In Proceedings of the 36th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'10). Lecture Notes in Computer Science, vol. 5901, Springer, 477-488.
36. ITU. 1996. International Telecommunication Union Recommendation Z.120: Message sequence charts. Tech. rep., ITU.
37. JACOBSON, I. 1992. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison- Wesley.
38. JACOBSON, I. AND NG, P.-W. 2004. Aspect-Oriented Software Development with Use Cases. Addison-Wesley.
39. KICZALES, G., LAMPING, J.,MENHDHEKAR, A.,MAEDA, C., LOPES, C., LOINGTIER, J.-M., AND IRWIN, J. 1997. Aspect-oriented programming. In Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP'97). M. Akşit and S. Matsuoka Eds., Lecture Notes in Computer Science, vol. 1241, Springer, 220-242. (Pubitemid 127083932)
40. KICZALES, G., HILSDALE, E., HUGUNIN, J., KERSTEN, M., PALM, J., AND GRISWOLD, W. G. 2001. An overview of AspectJ. In Proceedings of the 15th European Conference on Object-Oriented Programming (ECOOP'0l). J. L. Knudsen Ed., Lecture Notes in Computer Science, vol. 2072, Springer, 327-354.
41. KIVILUOMA, K., KOSKINEN, J., AND MIKKONEN, T. 2005. Run-time monitoring of behavioral profiles with aspects. In Proceedings of the 3rd Nordic Workshop on UML and Software Modeling. 62-76.
42. KLOSE, J. AND WITTKE, H. 2001. An automata based interpretation of live sequence charts. In Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01). T. Margaria and W. Yi Eds., Lecture Notes in Computer Science, vol. 2031, Springer, 512-527. (Pubitemid 33254680)
43. KLOSE, J., TOBEN, T., WESTPHAL, B., AND WITTKE, H. 2006. Check it out: On the efficient formal verification of live sequence charts. In Proceedings of the 18th International Conference on Computers Aided Verification (CAV'06). T. Ball and R. B. Jones Eds., Lecture Notes in Computer Science, vol. 4144., Springer, 219-233. (Pubitemid 44560879)
44. KRÜGER, I., GROSU, R., SCHOLZ, P., AND BROY, M. 1999. From MSCs to statecharts. In Proceedings of the International Workshop on Distributed and Parallel Embedded Systems (DIPES'98). F. J. Rammig Ed., Kluwer, 61-72.
45. KRÜGER, I., MATHEW, R., AND MEISINGER, M. 2005. From scenarios to aspects: Exploring product lines. In Proceedings of the 4th International Workshop on Scenarios and State-Machines (SCESM'05) at the 27th International Conference on Software Engineering (ICSE'05). ACM Press, 1-6.
46. KRÜGER, I.,MATHEW, R., AND MEISINGER,M. 2006. Efficient exploration of service-oriented architectures using aspects. In Proceedings of the 28th International Conference on Software Engineering (ICSE'06). ACM Press, 62-7l.
47. KUGLER, H. AND SEGALL, I. 2009. Compositional synthesis of reactive systems from live sequence chart specifications. In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09). S. Kowalewski and A. Philippou Eds., Lecture Notes in Computer Science, vol. 5505, Springer, 77-91.
48. KUGLER, H., HAREL, D., PNUELI, A., LU, Y., AND BONTEMPS, Y. 2005. Temporal logic for scenario-based specifications. In Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05). N. Halbwachs and L. D. Zuck Eds., Lecture Notes in Computer Science, vol. 3440, Springer, 445-460. (Pubitemid 41273758)
49. KUGLER, H., PLOCK, C., AND PNUELI, A. 2009. Controller synthesis from LSC requirements. In Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE'09). M. Chechik and M. Wirsing Eds., Lecture Notes in Computer Science, Springer, 79-93.
50. KUPFERMAN, O. AND VARDI, M. Y. 2001. Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2, 3, 408-429.
51. LETTRARI, M. AND KLOSE, J. 2001. Scenario-based monitoring and testing of real-time UML models. In Proceedings of the 4th International Conference on the Unified Modeling Language, Modeling Languages, Concepts, and Tools. M. Gogolla and C. Kobryn Eds., Lecture Notes in Computer Science, vol. 2185, Springer, 317-328. (Pubitemid 33351903)
52. LO, D. AND MAOZ, S. 2008a. Mining scenario-based triggers and effects. In Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08). IEEE, 109-118.
53. LO, D. AND MAOZ, S. 2008b. Specification mining of symbolic scenario-based models. In Proceedings of the 8th ACM SIGPLAN SIGSOFT International Workshop on Program Analysis for Software Tools and Engineering (PASTE'08). S. Krishnamurthi and M. Young Eds., ACM, 29-35.
54. LO, D.,MAOZ, S., AND KHOO, S.-C. 2007. Mining modal scenario-based specifications from execution traces of reactive systems. In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE'01). R. E. K. Stirewalt, A. Egyed, and B. Fischer Eds., ACM, 465-468.
55. MAHONEY, M. 2005. In Proceedings of MoDELS International Workshops, Doctoral Symposium, Educators Symposium (Revised Selected Papers), J.-M. Bruel Ed., Lecture Notes in Computer Science, vol. 3844, Springer, 345-346.
56. MAHONEY, M. AND ELRAD, T. 2005. Weaving crosscutting concerns into live sequence charts using the play-engine. In Proceedings of the 7th International Workshop on Aspect-Oriented Modeling.
57. MAOZ, S. 2009a. Model-based traces. In Proceedings of the 3rd International Workshop on Models at Runtime, MoDELS International Workshops, Doctoral Symposium, Educators Symposium. M.R.V. Chaudron Ed. Lecture Notes in Computer Science, vol. 5421, Springer, 109-119.
58. MAOZ, S. 2009b. Polymorphic scenario-based specification models: Semantics and applications. In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09). A. Schurr and B. Selic Eds., Lecture Notes in Computer Science, vol. 5795, Springer, 499-513.
59. MAOZ, S. AND HAREL, D. 2006. From multi-modal scenarios to code: Compiling LSCs into AspectJ. In Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'06). M. Young and P. T. Devanbu Eds., ACM, 219-229.
60. MAOZ, S., KLEINBORT, A., AND HAREL, D. 2007. Towards trace visualization and exploration for reactive systems. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'07). IEEE Computer Society, 153-156.
61. MAOZ, S.,METSÄ, J., AND KATARA, M. 2009. Model-based testing using LSCs and S2A. In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09). A. Schlirr and B. Selic Eds., Lecture Notes in Computer Science, vol. 5795, Springer, 301-306.
62. MARELLY, R., HAREL, D., AND KUGLER, H. 2002. Multiple instances and symbolic variables in executable sequence charts. In Proceedings of the 17th ACM Conference on Object-Oriented Programming, Systems, Language and Applications (OOPSLA'02). ACM, 83-100.
63. POUPKO, O. 2008. Specifying and executing web service choreography using live sequence charts. M.Sc. thesis, Weizmann Institute of Science.
64. SAKURAI, K., MASUHARA, H., UBAYASHI, N., MATSUURA, S., AND KOMIYA, S. 2004. Association aspects. In Proceedings of the 3rd International Conference on Aspect-Oriented Software Development (AOSD'04). G. C. Murphy and K. J. Lieberherr Eds., ACM, 16-25. (Pubitemid 40682117)
65. STOLZ, V. AND BODDEN, E. 2006. Temporal assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144, 4, 109-124. (Pubitemid 43728185)
66. SUVÉE, D., VANDERPERREN, W., AND JONCKERS, V. 2003. JAsCo: An aspect-oriented approach tailored for component based software development. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD'03). ACM, 21-29.
67. UCHITEL, S., CHATLEY, R., KRAMER, J., AND MAGEE, J. 2004a. System architecture: The context for scenario-based model synthesis. In Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'04). ACM Press, New York, NY, 33-42. (Pubitemid 40787565)
68. UCHITEL, S., KRAMER, J., AND MAGEE, J. 2004b. Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Softw. Engin. Method. 13, 1, 37-85.
69. UML. 2005. Unified modeling language superstructure specification, v2.0. OMG specification, OMG.
70. VANDERPERREN, W., SUVÉE, D., CIBRÁN, M. A., AND FRAINE, B. D. 2005. Stateful aspects in JAsCo. In Software Composition. T. Gschwind, U. Aßmann, and O. Nierstrasz Eds., Lecture Notes in Computer Science, vol. 3628, Springer, 167-181.
71. WHITTLE, J., KWAN, R., AND SABOO, J. 2005. From scenarios to code: An air traffic control case study. Softw. Syst. Model. 4, 1, 71-93. (Pubitemid 41166790)