{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T07:40:17Z","timestamp":1711611617191},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T00:00:00Z","timestamp":1278979200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1007\/s10270-010-0168-6","type":"journal-article","created":{"date-parts":[[2010,7,12]],"date-time":"2010-07-12T11:27:12Z","timestamp":1278934032000},"page":"327-345","source":"Crossref","is-referenced-by-count":3,"title":["Polymorphic scenario-based specification models: semantics and applications"],"prefix":"10.1007","volume":"11","author":[{"given":"Shahar","family":"Maoz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,13]]},"reference":[{"key":"168_CR1","unstructured":"AspectJ. http:\/\/www.eclipse.org\/aspectj\/"},{"key":"168_CR2","unstructured":"Tracer Website. http:\/\/www.wisdom.weizmann.ac.il\/~maozs\/tracer\/"},{"key":"168_CR3","doi-asserted-by":"crossref","unstructured":"Atir, Y., Harel, D., Kleinbort, A., Maoz, S.: Object composition in scenario-based programming. In: Fiadeiro, J.L., Inverardi, P. (eds.) Proceedings of the 11th International Conference on Fundamental Approaches to Software Engineering (FASE\u201908). Lecture Notes in Computer Science, vol. 4961, pp. 301\u2013316. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78743-3_23"},{"key":"168_CR4","volume-title":"Model-Driven Testing: Using the UML Testing Profile","author":"P. Baker","year":"2008","unstructured":"Baker P., Dai Z., Grabowski J., Haugen \u00d8., Schieferdecker I., Williams C.: Model-Driven Testing: Using the UML Testing Profile. Springer, Berlin (2008)"},{"key":"168_CR5","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1002\/9780470522622.ch9","volume-title":"UML 2 Semantics and Applications","author":"M.V. Cengarle","year":"2009","unstructured":"Cengarle M.V., Knapp A., M\u00fchlberger H.: Interactions. In: Lano, K. (eds) UML 2 Semantics and Applications, pp. 205\u2013248. Wiley, New York (2009)"},{"issue":"1","key":"168_CR6","doi-asserted-by":"crossref","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. J. Formal Methods Syst. Des. 19(1), 45\u201380 (2001)","journal-title":"J. Formal Methods Syst. Des."},{"key":"168_CR7","unstructured":"Ebert, J., Engels, G.: Observable or invocable behaviour\u2014you have to choose! Tech. rep., Universitat Koblenz, Koblenz, Germany (1994)"},{"key":"168_CR8","doi-asserted-by":"crossref","unstructured":"Ebert, J., Engels, G.: Structural and behavioural views on OMT-classes. In: Bertino, E., Urban, S.D. (eds.) Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS\u201994). Lecture Notes in Computer Science, vol. 858, pp. 142\u2013157. Springer, Berlin (1994)","DOI":"10.1007\/BFb0014022"},{"key":"168_CR9","unstructured":"Ebert, J., Engels, G.: Specialization of object life cycle definitions. Tech. Rep. 19\u201395, Koblenz University (1997)"},{"issue":"3","key":"168_CR10","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1109\/TSE.2004.1271174","volume":"30","author":"R.B. France","year":"2004","unstructured":"France R.B., Kim D.K., Ghosh S., Song E.: A UML-based pattern specification technique. IEEE Trans. Softw. Eng. 30(3), 193\u2013206 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"168_CR11","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 Comput. 34(1), 53\u201360 (2001)","journal-title":"IEEE Comput."},{"key":"168_CR12","doi-asserted-by":"crossref","unstructured":"Harel, D., Kleinbort, A., Maoz, S.: S2A: a compiler for multi-modal UML sequence diagrams. In: Dwyer, M.B., Lopes, A. (eds.) Proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering (FASE\u201907). Lecture Notes in Computer Science, vol. 4422, pp. 121\u2013124. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-71289-3_11"},{"issue":"1","key":"168_CR13","doi-asserted-by":"crossref","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. Found. Comput. Sci. 13(1), 5\u201351 (2002)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"9","key":"168_CR14","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1109\/TSE.2002.1033228","volume":"28","author":"D. Harel","year":"2002","unstructured":"Harel D., Kupferman O.: On object systems and behavioral inheritance. IEEE Trans. Softw. Eng. 28(9), 889\u2013903 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"168_CR15","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/s10270-007-0054-z","volume":"7","author":"D. Harel","year":"2008","unstructured":"Harel D., Maoz S.: Assert and negate revisited: modal semantics for UML sequence diagrams. Softw. Syst. Modeling (SoSyM) 7(2), 237\u2013252 (2008)","journal-title":"Softw. Syst. Modeling (SoSyM)"},{"key":"168_CR16","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, Berlin (2003)"},{"issue":"4","key":"168_CR17","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/s10270-005-0087-0","volume":"4","author":"\u00d8. Haugen","year":"2005","unstructured":"Haugen \u00d8., Husa K.E., Runde R.K., St\u00f8len K.: STAIRS towards formal design with sequence diagrams. Softw. Syst. Modeling (SoSyM) 4(4), 355\u2013367 (2005)","journal-title":"Softw. Syst. Modeling (SoSyM)"},{"key":"168_CR18","doi-asserted-by":"crossref","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) Proceedings of the 15th European Conf. on Object-Oriented Programming (ECOOP\u201901). Lecture Notes in Computer Science, vol. 2072, pp. 327\u2013353. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45337-7_18"},{"key":"168_CR19","doi-asserted-by":"crossref","unstructured":"Klose, J., Toben, T., Westphal, B., Wittke, H.: Check it out: on the efficient formal verification of live sequence charts. In: Ball, T., Jones, R.B. (eds.) Proceedings of the 18th International Conference on Computer Aided Verification (CAV\u201906). Lecture Notes in Computer Science, vol. 4144, pp. 219\u2013233. Springer, Berlin (2006)","DOI":"10.1007\/11817963_22"},{"key":"168_CR20","doi-asserted-by":"crossref","unstructured":"Klose, J., Wittke, H.: An automata based interpretation of live sequence charts. In: Margaria, T., Yi, W. (eds.) Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201901). Lecture Notes in Computer Science, vol. 2031, pp. 512\u2013527. Springer, Berlin (2001)","DOI":"10.1007\/3-540-45319-9_35"},{"key":"168_CR21","doi-asserted-by":"crossref","unstructured":"Knapp, A.: A formal semantics for UML interactions. In: France, R.B., Rumpe, B. (eds.) Proceedings of the 2nd International Conference on the Unified Modeling Language (UML\u201999). Lecture Notes in Computer Science, vol. 1723, pp. 116\u2013130. Springer, Berlin (1999)","DOI":"10.1007\/3-540-46852-8_9"},{"key":"168_CR22","doi-asserted-by":"crossref","unstructured":"Knapp, A., Wuttke, J.: Model checking of UML 2.0 interactions. In: K\u00fchne, T. (ed.) Models in Software Engineering, Workshops and Symposia at MoDELS 2006, Reports and Revised Selected Papers. Lecture Notes in Computer Science, vol. 4364, pp. 42\u201351. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-69489-2_6"},{"key":"168_CR23","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, I.: Capturing overlapping, triggered, and preemptive collaborations using MSCs. In: Pezz\u00e8, M. (ed.) Proceedings of the 6th International Conference on Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science, vol. 2621, pp.~387\u2013402. Springer, Berlin (2003)","DOI":"10.1007\/3-540-36578-8_27"},{"key":"168_CR24","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Rammig, F.J. (ed.) International Workshop on Distributed and Parallel Embedded Systems (DIPES\u201998), IFIP Conf. Proc., vol. 155, pp. 61\u201372. Kluwer, Dordrecht (1998)","DOI":"10.1007\/978-0-387-35570-2_5"},{"key":"168_CR25","doi-asserted-by":"crossref","unstructured":"Kugler, H., Harel, D., Pnueli, A., Lu, Y., Bontemps, Y.: Temporal logic for scenario-based specifications. In: Halbwachs, N., Zuck, L.D. (eds.) Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201905). Lecture Notes in Computer Science, vol. 3440, pp. 445\u2013460. Springer, Berlin (2005)","DOI":"10.1007\/978-3-540-31980-1_29"},{"issue":"3","key":"168_CR26","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1145\/377978.377993","volume":"2","author":"O. Kupferman","year":"2001","unstructured":"Kupferman O., Vardi M.Y.: Weak alternating automata are not that weak. ACM Trans. Comput. Log. 2(3), 408\u2013429 (2001)","journal-title":"ACM Trans. Comput. Log."},{"issue":"6","key":"168_CR27","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov B., Wing J.M.: A behavioral notion of subtyping. ACM Trans. Program. Lang. Syst. 16(6), 1811\u20131841 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"168_CR28","doi-asserted-by":"crossref","unstructured":"Lund, M.S., St\u00f8len, K.: A fully general operational semantics for UML 2.0 sequence diagrams with potential and mandatory choice. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) Proceedings of the 14th International Symposium on Formal Methods (FM\u201906). Lecture Notes in Computer Science, vol. 4085, pp. 380\u2013395. Springer, Berlin (2006)","DOI":"10.1007\/11813040_26"},{"key":"168_CR29","unstructured":"Maoz, S.: Model-based traces. In: Chaudron, M.R.V. (ed.) Models in Software Engineering, Workshops and Symposia at MoDELS 2008, Reports and Revised Selected Papers. Lecture Notes in Computer Science, vol. 5421, pp. 109\u2013119. Springer, Berlin (2009)"},{"key":"168_CR30","doi-asserted-by":"crossref","unstructured":"Maoz, S.: Polymorphic scenario-based specification models: Semantics and applications. In: Sch\u00fcrr, A., Selic, B. (eds.) Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS\u201909). Lecture Notes in Computer Science, vol. 5795, pp. 499\u2013513. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04425-0_38"},{"key":"168_CR31","doi-asserted-by":"crossref","unstructured":"Maoz, S., Harel, D.: From multi-modal scenarios to code: Compiling LSCs into AspectJ. In: Young, M., Devanbu, P.T. (eds.) Proceedings of the 14th International ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE\u201906), pp. 219\u2013230. ACM, New York (2006)","DOI":"10.1145\/1181775.1181802"},{"key":"168_CR32","doi-asserted-by":"crossref","unstructured":"Maoz, S., Harel, D.: On tracing reactive systems. Softw. Syst. Modeling (SoSyM) (2010). doi: 10.1007\/s10270-010-0151-2","DOI":"10.1007\/s10270-010-0151-2"},{"key":"168_CR33","unstructured":"Maoz, S., Harel, D., Kleinbort, A.: A compiler for multi-modal scenarios: transforming LSCs into AspectJ. ACM Trans. Softw. Eng. Methodol. (2009, accepted)"},{"key":"168_CR34","doi-asserted-by":"crossref","unstructured":"Maoz, S., Kleinbort, A., Harel, D.: Towards trace visualization and exploration for reactive systems. In: Cox, P., Hosking, J. (eds.) Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC\u201907), pp. 153\u2013156. IEEE Computer Society, USA (2007)","DOI":"10.1109\/VLHCC.2007.27"},{"key":"168_CR35","doi-asserted-by":"crossref","unstructured":"Marelly, R., Harel, D., Kugler, H.: Multiple instances and symbolic variables in executable sequence charts. In: Proceedings of the 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA\u201902), pp. 83\u2013100. ACM, New York (2002)","DOI":"10.1145\/582427.582429"},{"issue":"10","key":"168_CR36","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer B.: Applying \u201cDesign by Contract\u201d. IEEE Comput. 25(10), 40\u201351 (1992)","journal-title":"IEEE Comput."},{"key":"168_CR37","unstructured":"OMG: UML Testing Profile. http:\/\/www.omg.org\/docs\/formal\/05-07-07.pdf (2005)"},{"key":"168_CR38","doi-asserted-by":"crossref","unstructured":"Roychoudhury, A., Goel, A., Sengupta, B.: Symbolic message sequence charts. In: Crnkovic, I., Bertolino, A. (eds.) Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC-FSE\u201907), pp. 275\u2013284. ACM, New York (2007)","DOI":"10.1145\/1287624.1287663"},{"issue":"2","key":"168_CR39","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S. Uchitel","year":"2003","unstructured":"Uchitel S., Kramer J., Magee J.: Synthesis of behavioral models from scenarios. IEEE Trans. Softw. Eng. 29(2), 99\u2013115 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"168_CR40","doi-asserted-by":"crossref","unstructured":"Westphal, B., Toben, T.: The good, the bad and the ugly: well-formedness of live sequence charts. In: Baresi, L., Heckel, R. (eds.) Proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering (FASE\u201906). Lecture Notes in Computer Science, vol. 3922, pp. 230\u2013246. Springer, Berlin (2006)","DOI":"10.1007\/11693017_18"},{"issue":"1","key":"168_CR41","doi-asserted-by":"crossref","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. Softw. Syst. Modeling 4(1), 71\u201393 (2005)","journal-title":"Softw. Syst. Modeling"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0168-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-010-0168-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-010-0168-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T07:02:44Z","timestamp":1711609364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-010-0168-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,13]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["168"],"URL":"https:\/\/doi.org\/10.1007\/s10270-010-0168-6","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,13]]}}}