{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:05:50Z","timestamp":1742400350137,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,11,5]]},"DOI":"10.1145\/1181775.1181802","type":"proceedings-article","created":{"date-parts":[[2007,1,17]],"date-time":"2007-01-17T01:15:56Z","timestamp":1168996556000},"page":"219-230","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["From multi-modal scenarios to code"],"prefix":"10.1145","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[{"name":"The Weizmann Institute of Science, Rehovot, Israel"}]},{"given":"David","family":"Harel","sequence":"additional","affiliation":[{"name":"The Weizmann Institute of Science, Rehovot, Israel"}]}],"member":"320","published-online":{"date-parts":[[2006,11,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The AspectJ project at Eclipse.org. http:\/\/www.eclipse.org\/aspectj\/.]]  The AspectJ project at Eclipse.org. http:\/\/www.eclipse.org\/aspectj\/.]]"},{"key":"e_1_3_2_1_2_1","unstructured":"Eclipse.org. http:\/\/www.eclipse.org\/.]]  Eclipse.org. http:\/\/www.eclipse.org\/.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094839"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337215"},{"key":"e_1_3_2_1_5_1","volume-title":"Workshop on Aspect-Oriented Modeling with UML","author":"Ara\u00fajo J.","year":"2002","unstructured":"J. Ara\u00fajo , A. Moreira , I. Brito , and A. Rashid . Aspect-oriented requirements with UML. In M. Kand\u00e9, O. Aldawud, G. Booch, and B. Harrison, editors , Workshop on Aspect-Oriented Modeling with UML , 2002 .]] J. Ara\u00fajo, A. Moreira, I. Brito, and A. Rashid. Aspect-oriented requirements with UML. In M. Kand\u00e9, O. Aldawud, G. Booch, and B. Harrison, editors, Workshop on Aspect-Oriented Modeling with UML, 2002.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1018443.1022094"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052898.1052906"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-540-27755-2_2","volume-title":"Lectures on Concurrency and Petri Nets","author":"Barak D.","year":"2004","unstructured":"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 .]] 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.]]"},{"key":"e_1_3_2_1_9_1","volume-title":"Proc. 5th Int. Workshop on Aspect-Oriented Modeling","author":"Barra E.","year":"2004","unstructured":"E. Barra , G. G\u00e9nova , and J. Llorens . An approach to aspect modeling with UML 2.0 . In Proc. 5th Int. Workshop on Aspect-Oriented Modeling , October 2004 .]] E. Barra, G. G\u00e9nova, and J. Llorens. An approach to aspect modeling with UML 2.0. In Proc. 5th Int. Workshop on Aspect-Oriented Modeling, October 2004.]]"},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. 3rd Int. Workshop on Aspect-Oriented Modeling","author":"Basch M.","year":"2003","unstructured":"M. Basch and A. Sanchez . Incorporating aspects into the UML . In Proc. 3rd Int. Workshop on Aspect-Oriented Modeling , 2003 .]] M. Basch and A. Sanchez. Incorporating aspects into the UML. In Proc. 3rd Int. Workshop on Aspect-Oriented Modeling, 2003.]]"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. 1st Int. Workshop on Scenarios and State-machines (SCESM'02)","author":"Bontemps Y.","year":"2002","unstructured":"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 .]] 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.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11562948_31"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_40"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383853"},{"key":"e_1_3_2_1_16_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley , 1995 .]] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.]]"},{"key":"e_1_3_2_1_17_1","volume-title":"The 4th Aspect-Orianted Software Development Modeling With UML Workshop","author":"Groher I.","year":"2003","unstructured":"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\u00e9, D. Stein, P. Tarr, and A. Zakaria, editors , The 4th Aspect-Orianted Software Development Modeling With UML Workshop , 2003 .]] 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\u00e9, D. Stein, P. Tarr, and A. Zakaria, editors, The 4th Aspect-Orianted Software Development Modeling With UML Workshop, 2003.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.895118"},{"issue":"1","key":"e_1_3_2_1_19_1","first-page":"5","volume":"13","author":"Harel D.","year":"2002","unstructured":"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. 5th Int. Conf. on Implementation and Application of Automata (CIAA 2000), LNCS, Springer-Verlag, 2000).]] 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. 5th Int. Conf. on Implementation and Application of Automata (CIAA 2000), LNCS, Springer-Verlag, 2000).]]","journal-title":"Synthesizing state-based object systems from LSC specifications. Int. J. of Foundations of Computer Science (IJFCS)"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/646187.683385"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1138953.1138958"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/882460.882611"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"Harel D.","year":"2003","unstructured":"D. Harel and R. Marelly . Come , Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer-Verlag , 2003 .]] D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.]]"},{"key":"e_1_3_2_1_24_1","volume-title":"Specifying and executing behavioral requirements: the play-in\/play-out approach. Software and System Modeling (SoSyM), 2(2):82--107","author":"Harel D.","year":"2003","unstructured":"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 .]] 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.]]"},{"key":"e_1_3_2_1_25_1","unstructured":"I-Logix Inc. http:\/\/www.ilogix.com\/.]]  I-Logix Inc. http:\/\/www.ilogix.com\/.]]"},{"key":"e_1_3_2_1_26_1","volume-title":"Message Sequence Charts. Technical report","author":"International Telecommunication Union ITU.","year":"1996","unstructured":"ITU. International Telecommunication Union Recommendation Z.120 : Message Sequence Charts. Technical report , 1996 .]] ITU. International Telecommunication Union Recommendation Z.120: Message Sequence Charts. Technical report, 1996.]]"},{"key":"e_1_3_2_1_27_1","volume-title":"Object-Oriented Software Engineering: A Use Case Driven Approach","author":"Jacobson I.","year":"1992","unstructured":"I. Jacobson . Object-Oriented Software Engineering: A Use Case Driven Approach . Addison-Wesley , 1992 .]] I. Jacobson. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, 1992.]]"},{"key":"e_1_3_2_1_28_1","volume-title":"Aspect-Oriented Software Development with Use Cases","author":"Jacobson I.","year":"2004","unstructured":"I. Jacobson and P.-W. Ng . Aspect-Oriented Software Development with Use Cases . Addison-Wesley , 2004 .]] I. Jacobson and P.-W. Ng. Aspect-Oriented Software Development with Use Cases. Addison-Wesley, 2004.]]"},{"key":"e_1_3_2_1_29_1","first-page":"327","volume":"2072","author":"Kiczales G.","year":"2001","unstructured":"G. Kiczales , E. Hilsdale , J. Hugunin , M. Kersten , J. Palm , and W. G. Griswold . An overview of AspectJ. 2072 : 327 -- 355 , 2001 .]] G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. 2072:327--355, 2001.]]","journal-title":"An overview of AspectJ."},{"key":"e_1_3_2_1_30_1","series-title":"LNCS","first-page":"220","volume-title":"Proc. European Conf. on Object-Oriented Programming","author":"Kiczales G.","year":"1997","unstructured":"G. Kiczales , J. Lamping , A. Menhdhekar , C. Maeda , C. Lopes , J.-M. Loingtier , and J. Irwin . Aspect-Oriented Programming . In M. Ak\u015fit and S. Matsuoka, editors, Proc. European Conf. on Object-Oriented Programming , volume 1241 of LNCS , pages 220 -- 242 . Springer-Verlag , Berlin , 1997 .]] G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Ak\u015fit and S. Matsuoka, editors, Proc. European Conf. on Object-Oriented Programming, volume 1241 of LNCS, pages 220--242. Springer-Verlag, Berlin, 1997.]]"},{"key":"e_1_3_2_1_31_1","first-page":"62","volume-title":"Proc. 3rd Nordic Workshop on UML and Software Modeling","author":"Kiviluoma K.","year":"2005","unstructured":"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 .]] 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.]]"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/646485.694463"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"I.\n      Kr\u00fcger R.\n      Grosu P.\n      Scholz and \n      M.\n      Broy\n  . \n  From MSCs to Statecharts\n  . In F. J. Rammig editor DIPES volume \n  155\n   of \n  IFIP Conf\n  . Proc. pages \n  61\n  --\n  72\n  . \n  Kluwer 1998\n  .]]   I. Kr\u00fcger 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.]]","DOI":"10.1007\/978-0-387-35570-2_5"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083183.1083188"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134296"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_29"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/647245.757031"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/11663430_39"},{"key":"e_1_3_2_1_39_1","volume-title":"7th Int. Workshop on Aspect-Oriented Modeling","author":"Mahoney M.","year":"2005","unstructured":"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 .]] 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.]]"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582429"},{"key":"e_1_3_2_1_41_1","volume-title":"OMG","author":"OCL. UML","year":"2005","unstructured":"OCL. UML 2. 0 Object Constraint Language. OMG specification , OMG , 2005 .]] OCL. UML 2.0 Object Constraint Language. OMG specification, OMG, 2005.]]"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_10"},{"key":"e_1_3_2_1_43_1","unstructured":"IBM Rational Rose Technical Developer (includes Rational Rose RealTime). http:\/\/www-306.ibm.com\/software\/awdtools\/developer\/technical\/.]]  IBM Rational Rose Technical Developer (includes Rational Rose RealTime). http:\/\/www-306.ibm.com\/software\/awdtools\/developer\/technical\/.]]"},{"key":"e_1_3_2_1_44_1","volume-title":"5th Workshop on Runtime Verification (RV'05)","author":"Stolz V.","year":"2005","unstructured":"V. Stolz and E. Bodden . Temporal Assertions using AspectJ . In 5th Workshop on Runtime Verification (RV'05) , July 2005 .]] V. Stolz and E. Bodden. Temporal Assertions using AspectJ. In 5th Workshop on Runtime Verification (RV'05), July 2005.]]"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643606"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029903"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005561.1005563"},{"key":"e_1_3_2_1_48_1","volume-title":"OMG","author":"Unified Modeling Language Superstructure UML.","year":"2005","unstructured":"UML. Unified Modeling Language Superstructure Spec. , v2.0. OMG specification , OMG , August 2005 .]] UML. Unified Modeling Language Superstructure Spec., v2.0. OMG specification, OMG, August 2005.]]"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/11550679_13"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-004-0067-9"}],"event":{"name":"SIGSOFT06\/FSE-14: SIGSOFT 2006 -14th International Symposium on the Foundations of Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Portland Oregon USA","acronym":"SIGSOFT06\/FSE-14"},"container-title":["Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1181775.1181802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T20:43:47Z","timestamp":1673383427000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1181775.1181802"}},"subtitle":["compiling LSCs into aspectJ"],"short-title":[],"issued":{"date-parts":[[2006,11,5]]},"references-count":50,"alternative-id":["10.1145\/1181775.1181802","10.1145\/1181775"],"URL":"https:\/\/doi.org\/10.1145\/1181775.1181802","relation":{},"subject":[],"published":{"date-parts":[[2006,11,5]]},"assertion":[{"value":"2006-11-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}