From multi-modal scenarios to code: Compiling LSCs into aspectJ

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2006, Pages 219-230

  Maoz, Shahar ^a   Harel, David ^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

ALGORITHMS; AUTOMATIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; UNIFIED MODELING LANGUAGE;

ASPECT ORIENTED PROGRAMMING; EXECUTING SYSTEMS; INTER-OBJECT APPROACH; LIVE SEQUENCE CHARTS; SCENARIO-BASED PROGRAMMING; UML SEQUENCE DIAGRAMS; VISUAL FORMALISMS;

CODES (SYMBOLS);

EID: 34547285042     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1181775.1181802     Document Type: Conference Paper

References (50)

1. The AspectJ project at Eclipse.org.http://www.eclipse.org/aspectj/.
2. Eclipse.org. http://www.eclipse.org/.
3. C. Allan, P. Avgustinov, A. S. Christensen, L. J. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibbie. Adding trace matching with free variables to AspectJ. In R. Johnson and R. P. Gabriel, editors, OOPSLA, pages 345-364. ACM, 2005.
4. R. Alur, K. Etessami, and M. Yannakakis. Inference of message sequence charts. In Proc. 22nd Int. Conf. on Soft. Eng. (ICSE'00), pages 304-313, New York, NY, 2000. ACM Press.
5. J. Araújo, A. Moreira, I. Brito, and A. Rashid. Aspect-oriented requirements with UML. In M. Kandé, O. Aldawud, G. Booch, and B. Harrison, editors, Workshop on Aspect-Oriented Modeling with UML, 2002.
6. J. Araujo, J. Whittle, and D.-K. Kim. Modeling and Composing Scenario-Based Requirements with Aspects. In Proc. Requirements Engineering Conf. (RE'04) at the 12th IEEE International, pages 58-67, Washington, DC, USA, 2004. IEEE Computer Society.
7. P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhoták, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibbie, abc: An extensible AspectJ compiler. In Proc. 4th Int. Conf. on Aspect-Oriented Software Development (AOSD'05), pages 87-98. ACM Press, 2005.
8. D. Barak, D. Harel, and R. Marelly. InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. In Lectures on Concurrency and Petri Nets, volume 3098 of LNCS, pages 66-86. Springer-Verlag, 2004.
9. E. Barra, G. Génova, and J. Llorens. An approach to aspect modeling with UML 2.0. In Proc. Sth Int. Workshop on Aspect-Oriented Modeling, October 2004.
10. M. Basch and A. Sanchez. Incorporating aspects into the UML. In Proc. 3rd Int. Workshop on Aspect-Oriented Modeling, 2003.
11. Y. Bontemps and P. Heymans. Turning high-level live sequence charts into automata. In Proc. 1st Int. Workshop on Scenarios and State-machines (SCESM'02) at the 24th Int. Conf. on Soft. Eng. (ICSE'02), Orlando, FL, May 2002.
12. P. Combes, D. Harel, and H. Kugler. Modeling and Verification of a Telecommunication Application Using Live Sequence Charts and the Play-Engine Tool, volume 3707 of LNCS, pages 414-428. Springer-Verlag, 2005.
13. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45-80, 2001. Preliminary version appeared in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99).
14. M. Deubler, M. Meisinger, S. Rittmann, and I. Krüger. Modeling crosscutting services with UML sequence diagrams. In L. C. Briand and C. Williams, editors, MoDELS, volume 3713 of LNCS, pages 522-536. Springer, October 2005.
15. T. Elrad, R. E. Filman, and A. Bader. Aspect-Oriented Programming. Comminications of the ACM, 44, 2001.
16. E. Gamma, R. Helm, R.. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.
17. I. Groher and S. Schulze. Generating aspect code from UML models. In F. Akkawi, O. Aldawud, G. Booch, S. Clarke, J. Gray, B. Harrison, M. Kandé, D. Stein, P. Tarr, and A. Zakaria, editors, The 4th Aspect-Orianted Software Development Modeling With UML Workshop, 2003.
18. D. Harel. From Play-In Scenarios To Code: An Achievable Dream. IEEE Computer, 34(1):53-60, 2001.
19. D. Harel and H. Kugler. Synthesizing state-based object systems from LSC specifications. Int. J. of Foundations of Computer Science (IJFCS), 13(1):5-51, Febuary 2002. (Also, Proc. Sth Int. Conf. on Implementation and Application of Automata (CIAA 2000), LNCS, Springer-Verlag, 2000).
20. D. Harel, H. Kugler, R. Marelly, and A. Pnueli. Smart Play-Out of Behavioral Requirements. In Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD'02), Portland, Oregon, volume 2517 of LNCS, pages 378-398, 2002.
21. D. Harel and S. Maoz. Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. In Proc. 5th Int. Workshop on Scenarios and State-machines (SCESM'06) at the 28th Int. Conf. on Soft. Eng. (ICSE'06), Shanghai, 2006.
22. D. Harel and R. Marelly. Playing with time: On the specification and execution of time-enriched LSCs. In Proc. 10th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'02), Fort Worth, Texas, 2002.
23. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
24. D. Harel and R. Marelly. Specifying and executing behavioral requirements: the play-in/play-out approach. Software and System Modeling (SoSyM), 2(2):82-107, 2003.
25. I-Logix,Inc. http://www.ilogix.com/.
26. ITU. International Telecommunication Union Recommendation Z.120: Message Sequence Charts. Technical report, 1996.
27. I. Jacobson. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.
28. I. Jacobson and P.-W. Ng. Aspect-Oriented Software Development with Use Cases. Addison-Wesley, 2004.
29. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. 2072:327-355, 2001.
30. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Aksjit and S. Matsuoka, editors, Proc. European Conf. on Object-Oriented Programming, volume 1241 of LNCS, pages 220-242. Springer-Ver lag, Berlin, 1997.
31. K. Kiviluoma, J. Koskinen, and T. Mikkonen. Run-Time Monitoring of Behavioral Profiles with Aspects. In Proc. 3rd Nordic Workshop on UML and Software Modeling, pages 62-76. University of Tampere, August 2005.
32. J. Klose and H. Wittke. An automata based interpretation of live sequence chart. In Proc. 7th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), volume 2031 of LNCS, Springer-Verlag, 2001.
33. I. Krüger, R. Grosu, P. Scholz, and M. Broy. From MSCs to Statecharts. In F. J. Rammig, editor, DIPES, volume 155 of IFIP Conf. Proc., pages 61-72. Kluwer, 1998.
34. I. Krüger, R. Mathew, and M. Meisinger. From Scenarios to Aspects: Exploring Product Lines. In Proc. 4th Int. Workshop on Scenarios and State-machines (SCESM'05) at the 27th Int. Conf. on Soft. Eng. (ICSE'05). ACM Press, 2005.
35. I. Krüger, R. Mathew, and M. Meisinger. Efficient Exploration of Service-Oriented Architectures using Aspects. In Proc. 28th Int. Conf. on Soft. Eng. (ICSE'06), pages 62-71, 2006.
36. H. Kugler, D. Harel, A. Pnueli, Y. Lu, and Y. Bontemps. Temporal Logic for Scenario-Based Specifications. In N. Halbwachs and L. D. Zuck, editors, TACAS, volume 3440 of LNCS, pages 445-460. Springer, 2005.
37. M. Lettrari and J. Klose. Scenario-based monitoring and testing of real-time UML models. In 4th Int. Conf. on the Unified Modeling Language, Toronto, October 2001.
38. M. Mahoney. Modeling Reactive Systems and Aspect-Orientation. In J.-M. Bruel, editor, MoDELS Satellite Events, volume 3844 of LNCS, pages 345-346. Springer, 2005.
39. M. Mahoney and T. Elrad. Weaving crosscutting concerns into Live Sequence Charts using the Play-Engine. In 7th Int. Workshop on Aspect-Oriented Modeling, October 2005.
40. R. Marelly, D. Harel, and H. Kugler. Multiple instances and symbolic variables in executable sequence charts. In Proc. 17th ACM Conf. on Object-Oriented Prog., Systems, Lang. and App. (OOPSLA'02), pages 83-100, Seattle, WA, 2002.
41. OCL. UML 2.0 Object Constraint Language. OMG specification, OMG, 2005.
42. K. Ostermann, M. Mezini, and C. Bockisch. Expressive Pointcuts for Increased Modularity. In A. P. Black, editor, ECOOP, volume 3586 of LNCS, pages 214-240. Springer, 2005.
43. IBM Rational Rose Technical Developer (includes Rational Rose RealTime). http://www-306.ibm.com/software/awdtools/developer/technical/.
44. V. Stolz and E. Bodden. Temporal Assertions using AspectJ. In 5th Workshop on Runtime Verification (RV'05), July 2005.
45. D. Suvée, W. Vanderperren, and V. Jonckers. JAsCo: an aspect-oriented approach tailored for component based software development. In AOSD, pages 21-29, 2003.
46. S. Uchitel, R. Chatley, J. Kramer, and J. Magee. System architecture: the context for scenario-based model synthesis. In Proc. 12th ACM SIGSOFT Int. Symp. on Foundations of Soft. Eng. (FSE-12), pages 33-42, New York, NY, 2004.
47. S. Uchitel, J. Kramer, and J. Magee. Incremental elaboration of scenario-based specifications and behavior models using implied scenarios. ACM Trans. Soft. Eng. Method., 13(1):37-85, 2004.
48. UML. Unified Modeling Language Superstructure Spec, v2.0. OMG specification, OMG, August 2005.
49. W. Vanderperren, D. Suvée, M. A. Cibrán, and B. D. Fraine. Stateful Aspects in JAsCo. In T. Gschwind, U. Aßmann, and O. Nierstrasz, editors, Software Composition, volume 3628 of LNCS, pages 167-181. Springer, 2005.
50. J. Whittle, R. Kwan, and J. Saboo. From scenarios to code: An air traffic control case study. Software and System Modeling, 4(1):71-93, 2005.