{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:51:04Z","timestamp":1725511864091},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540712886"},{"type":"electronic","value":"9783540712893"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71289-3_11","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T20:03:44Z","timestamp":1183493024000},"page":"121-124","source":"Crossref","is-referenced-by-count":19,"title":["S2A: A Compiler for Multi-modal UML Sequence Diagrams"],"prefix":"10.1007","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[]},{"given":"Asaf","family":"Kleinbort","sequence":"additional","affiliation":[]},{"given":"Shahar","family":"Maoz","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to aspectj. In: Proc. 20th Conf. on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA\u201905), San Diego, CA, USA, pp. 345\u2013364 (2005), doi:10.1145\/1094811.1094839","DOI":"10.1145\/1094811.1094839"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"11_CR3","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1109\/2.895118","volume":"34","author":"D. Harel","year":"2001","unstructured":"Harel, D.: From Play-In Scenarios To Code: An Achievable Dream. IEEE Computer\u00a034(1), 53\u201360 (2001)","journal-title":"IEEE Computer"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1142\/S0129054102000935","volume":"13","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H.: Synthesizing state-based object systems from LSC specifications. Int. J. of Foundations of Comp. Science (IJFCS)\u00a013(1), 5\u201351 (2002)","journal-title":"Int. J. of Foundations of Comp. Science (IJFCS)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1007\/3-540-36126-X_23","volume-title":"Formal Methods in Computer-Aided Design","author":"D. Harel","year":"2002","unstructured":"Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart Play-Out of Behavioral Requirements. In: Aagaard, M.D., O\u2019Leary, J.W. (eds.) FMCAD 2002. LNCS, vol.\u00a02517, pp. 378\u2013398. Springer, Heidelberg (2002)"},{"key":"11_CR6","doi-asserted-by":"crossref","unstructured":"Harel, D., Maoz, S.: Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. In: Proc. 5th Int. Workshop on Scenarios and State-Machines (SCESM\u201906) at the 28th Int. Conf. on Soft. Eng (ICSE\u201906), Shanghai (2006)","DOI":"10.1145\/1138953.1138958"},{"key":"11_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"issue":"2","key":"11_CR8","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/s10270-002-0015-5","volume":"2","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play-in\/play-out approach. Software and System Modeling\u00a02(2), 82\u2013107 (2003)","journal-title":"Software and System Modeling"},{"key":"11_CR9","unstructured":"ITU. International Telecommunication Union Recommendation Z.120: Message Sequence Charts. Technical report (1996)"},{"key":"11_CR10","series-title":"IFIP Proc.","first-page":"61","volume-title":"DIPES","author":"I. Kr\u00fcger","year":"1998","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: DIPES. IFIP Proc., vol.\u00a0155, pp. 61\u201372. Kluwer, Dordrecht (1998)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/978-3-540-31980-1_29","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H.-J. Kugler","year":"2005","unstructured":"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.\u00a03440, pp. 445\u2013460. Springer, Heidelberg (2005)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-45441-1_24","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M. Lettrari","year":"2001","unstructured":"Lettrari, M., Klose, J.: Scenario-Based Monitoring and Testing of Real-Time UML Models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, pp. 317\u2013328. Springer, Heidelberg (2001)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Maoz, S., Harel, D.: From Multi-Modal Scenarios to Code: Compiling LSCs into AspectJ. In: Proc. 14th Int. Symp. Foundations of Software Engineering (FSE-14), Portland, Oregon (November 2006)","DOI":"10.1145\/1181775.1181802"},{"key":"11_CR14","unstructured":"UML. Unified Modeling Language Superstructure Spec., v2.0. OMG (August 2005)"},{"issue":"1","key":"11_CR15","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s10270-004-0067-9","volume":"4","author":"J. Whittle","year":"2005","unstructured":"Whittle, J., Kwan, R., Saboo, J.: From scenarios to code: An air traffic control case study. Software and System Modeling\u00a04(1), 71\u201393 (2005)","journal-title":"Software and System Modeling"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71289-3_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:17:55Z","timestamp":1605763075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71289-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540712886","9783540712893"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71289-3_11","relation":{},"subject":[]}}