{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T04:44:30Z","timestamp":1764305070930},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"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":[[2003,7]]},"DOI":"10.1007\/s10270-002-0015-5","type":"journal-article","created":{"date-parts":[[2003,12,11]],"date-time":"2003-12-11T01:07:35Z","timestamp":1071104855000},"page":"82-107","source":"Crossref","is-referenced-by-count":73,"title":["Specifying and executing behavioral requirements: the play-in\/play-out approach"],"prefix":"10.1007","volume":"2","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[]},{"given":"Rami","family":"Marelly","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,7,1]]},"reference":[{"key":"15_CITAltia","unstructured":"Altia Design & Altia FacePlate, web page: http:\/\/www.altia.com"},{"key":"15_CITAH97","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.: Real-time System = Discrete System + Clock Variables. Software Tools for Technology Transfer 1: 86\u2013109 , 1997","DOI":"10.1007\/s100090050007"},{"key":"15_CITAE01","unstructured":"Amyot, D., Eberlein, A.: An Evaluation of Scenario Notations for Telecommunication Systems Development. In: Int. Conf. on Telecommunication Systems, 2001"},{"key":"15_CITBH99","doi-asserted-by":"crossref","unstructured":"Bharadwaj, R., Heitmeyer, C.: Model Checking Complete Requirements Specifications Using Abstraction. Automated Software Engineering, 6(1): 37\u201368, January 1999","DOI":"10.1023\/A:1008697817793"},{"key":"15_CITBK98","doi-asserted-by":"crossref","unstructured":"Broy, M., Kr\u00fcger, I.: Interaction Interfaces \u2013 Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts. In: Staples, J., Hinchey, M.G., Liu, S. (eds.) Formal Engineering Methods, IEEE Computer Society, 1998, pp. 2\u201315","DOI":"10.1109\/ICFEM.1998.730565"},{"key":"15_CITXM2000","unstructured":"Boger, M., Baier, T., Wienberg, F., Lamersdorf, W.: Extreme Modeling. In: Extreme Programming and Flexible Processes in Software Engineering \u2013 XP2000. Addison Wesley, 6 2000"},{"key":"15_CITCOM","unstructured":"Microsoft COM, web page: http:\/\/www.microsoft.com\/com"},{"key":"15_CITDH01","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1) 2001. Preliminary version in: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201999), Kluwer Academic Publishers, 1999, pp. 293\u2013312"},{"key":"15_CITD01","unstructured":"Dromey, R.: Genetic Software Engineering. Manuscript, 2001"},{"key":"15_CITESim","unstructured":"e-SIM Rapid, web page http:\/\/www.e-sim.com\/home\/"},{"key":"15_CITFlash","unstructured":"Macromedia Flash, web page: http:\/\/www.macromedia.com\/software\/flash\/"},{"key":"15_CITH87","doi-asserted-by":"crossref","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Prog., 8: 231\u2013274, 1987. (Preliminary version: Tech. Report CS84-05, The Weizmann Institute of Science, Rehovot, Israel, February 1984.)","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"15_CITH01","doi-asserted-by":"crossref","unstructured":"Harel, D.: From Play-In Scenarios to Code: An Achievable Dream. IEEE Computer, 34(1): 53\u201360, January 2001","DOI":"10.1109\/2.895118"},{"key":"15_CITHG97","doi-asserted-by":"crossref","unstructured":"Harel, D., Gery, E.: Executable Object Modeling with Statecharts. IEEE Computer, 30(7): 31\u201342, 1997","DOI":"10.1109\/2.596624"},{"key":"15_CITHK00","doi-asserted-by":"crossref","unstructured":"Harel, D., Koren, Y.: Drawing Graphs with Non-Uniform Vertices. In: Proc. of Working Conference on Advanced Visual Interfaces (AVI\u201902). ACM Press, 2002, pp. 157\u2013166","DOI":"10.1145\/1556262.1556288"},{"key":"15_CITHK01","unstructured":"Harel, D., Kugler, H.: Synthesizing State-Based Object Systems from LSC Specifications. Int. J. of Foundations of Computer Science (IJFCS)., 13(1): 5\u201351, Febuary 2002. (Also, Proc. Fifth Int. Conf. on Implementation and Application of Automata (CIAA 2000), July 2000, Lecture Notes in Computer Science, Springer-Verlag, 2000.)"},{"key":"15_CITHKMP02","unstructured":"Harel, D., Kugler, H., Marelly, R., Pnueli, A.: Smart Play-Out of Behavioral Requirements. In: Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD\u201902), Portland, Oregon, 2002, pp. 378\u2013398. Also available as Tech. Report MCS02-08, Weizmann Institute of Science, 2002"},{"key":"15_CITHMBook","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: An Executable Scenario-Based Approach to Reactive Systems. (tentative title), manuscript, 2002","DOI":"10.1007\/978-3-642-19029-2"},{"key":"15_CITHM02","doi-asserted-by":"crossref","unstructured":"Harel, D., Marelly, R.: 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\u201902), Fort Worth, Texas, 2002, pp. 193\u2013202","DOI":"10.1109\/MASCOT.2002.1167077"},{"key":"15_CITHP98","unstructured":"Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, 1998. Early version titled: The Languages of STATEMATE. Technical Report, i-Logix, Inc., Andover, MA (250 pp.), 1991"},{"key":"15_CITHKLB98","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C., Kirby, J., Labaw, B., Bharadwaj, R.: SCR*: A Toolset for Specifying and Analyzing Software Requirements. In: Hu, A., Vardi, e.M.Y. (eds.) Intl. Conference on Computer Aided Verification (CAV\u201998), Lecture Notes in Computer Science, vol. 1427. Springer-Verlag, New York, 1998, pp. 5\u201351","DOI":"10.21236\/ADA465334"},{"key":"15_CITHD98","unstructured":"Heymans, P., Dubois, E.: Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements. Requirements Engineering Journal 3: 202\u2013218, Springer-Verlag, 1998"},{"key":"15_CITIL","unstructured":"I-Logix,Inc., products web page: http:\/\/www.ilogix.com\/fs_prod.htm"},{"key":"15_CITJ92","unstructured":"Jacobson, I.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading, MA, 1992"},{"key":"15_CITKGSB99","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. Proc. DIPES\u201998, Kluwer, 1999","DOI":"10.1007\/978-0-387-35570-2_5"},{"key":"15_CITKHPLB00","unstructured":"Kugler, H., Harel, D., Pnueli, A., Lu, Y., Bontemps, Y.: Temporal Logic for Live Sequence Charts. Technical report, Weizmann Institute, 2000"},{"key":"15_CITLK01","doi-asserted-by":"crossref","unstructured":"Lettrari, M., Klose, J.: Scenario-Based Monitoring and Testing of Real-Time UML Models. In: 4th Int. Conf. on the Unified Modeling Language, Toronto, Lecture Notes in Computer Science, vol. 2185, October 2001, pp. 317\u2013328","DOI":"10.1007\/3-540-45441-1_24"},{"key":"15_CITMK99","unstructured":"Magee, J., Kramer, J.: Concurrency \u2013 State Models & Java Programs. John Wiley & Sons, Chichester, 1999"},{"key":"15_CITMPGK00","doi-asserted-by":"crossref","unstructured":"Magee, J., Pryce, N., Giannakopoulou, D., Kramer, J.: Graphical Animation of Behavior Models. 22nd Int. Conf. on Soft. Eng. (ICSE\u201900), Limeric, Ireland, 2000","DOI":"10.1145\/337180.337368"},{"key":"15_CITMPhd","doi-asserted-by":"crossref","unstructured":"Marelly, R.: Specifying and Executing Behavioral Requirements: The Play-In\/Play-Out Approach. PhD thesis, The Weizmann Institute of Science, 2002","DOI":"10.1145\/985072.985115"},{"key":"15_CITMHK02","unstructured":"Marelly, R., Harel, D., Kugler, H.: Multiple Instances and Symbolic Variables in Executable Sequence Charts. In: Proc. 17th Ann. ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA\u201902), Seattle, WA, 2002, pp. 83\u2013100. Also available as Tech. Report MCS02-05 , Weizmann Institute of Science, 2002"},{"key":"15_CITOPMS97","doi-asserted-by":"crossref","unstructured":"\u00d6zcan, M., Parry, P., Morrey, I., Siddiqi, J.: Visualization of Executable Formal Specifications for User Validation. Ann. Soft. Eng., 3: 131\u2013155, 1997","DOI":"10.1023\/A:1018977602872"},{"key":"15_CITP81","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Semantics of Concurrent Programs. Theoretical Computer Science, 13: 1\u201320, 1981","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"15_CITPM01","unstructured":"Pryce, N., Magee, J.: SceneBeans: A Component-Based Animation Framework for Java. http:\/\/www-dse.doc.ic.ac.uk\/Software\/SceneBeans\/"},{"key":"15_CITRational","unstructured":"Rational,Inc., web page: http:\/\/www.rational.com"},{"key":"15_CITR79","unstructured":"Robinson, J.: Logic: Form and Function, chap. 11. North-Holland, 1979, pp. 182\u2013198"},{"key":"15_CITRJB99","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, MA, 1999"},{"key":"15_CITSD93","unstructured":"Schlor, R., Damm, W.: Specification and Verification of System-Level Hardware Designs using Timing Diagram. In: Proc. European Conference on Design Automation. IEEE Computer Society Press, Paris, France, 1993, pp. 518\u2013524"},{"key":"15_CITSGW94","unstructured":"Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley & Sons, New York, 1994"},{"key":"15_CITSMRO97","doi-asserted-by":"crossref","unstructured":"Siddiqi, J.I., Morrey, I.C., Roast, C.R., Ozcan, M.B.: Towards Quality Requirements via Animated Formal Specifications. Ann. Soft. Eng., 3: 131\u2013155, 1997","DOI":"10.1023\/A:1018977602872"},{"key":"15_CITSY99","unstructured":"Suzuki, J., Yamamoto, Y.: Extending UML for Modelling Reflective Software Components. In: France, R., Rumpe, B. (eds.) UML\u201999 \u2013 The Unified Modeling Language. Beyond the Standard. Second International Conference, Fort Collins, CO, USA, October 28\u201330 1999, Proceedings, Lecture Notes in Computer Science, vol. 1723. Springer, New York, 1999, pp. 220\u2013235"},{"key":"15_CITUKM01","doi-asserted-by":"crossref","unstructured":"Uchitel, S., Kramer, J., Magee, J.: Detecting Implied Scenarios in Message Sequence Chart Specifications. In: 9th European Software Engineering Conferece and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC\/FSE\u201901). Vienna, Austria, September 2001","DOI":"10.1145\/503209.503220"},{"key":"15_CITUML","unstructured":"Documentation of the Unified Modeling Language (UML), available from the Object Management Group(OMG): http:\/\/www.omg.org"},{"key":"15_CITXML","unstructured":"Web page: http:\/\/www.xml.com"},{"key":"15_CITXP","unstructured":"Web page: http:\/\/www.extremeprogramming.org"},{"key":"15_CITZ120a","unstructured":"Z.120 ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, 1996"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-002-0015-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-002-0015-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-002-0015-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-002-0015-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T16:26:40Z","timestamp":1682612800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-002-0015-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["15"],"URL":"https:\/\/doi.org\/10.1007\/s10270-002-0015-5","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}