{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:26Z","timestamp":1725490226465},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443100"},{"type":"electronic","value":"9783540458326"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45832-8_2","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:13:34Z","timestamp":1188299614000},"page":"6-7","source":"Crossref","is-referenced-by-count":0,"title":["Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)"],"prefix":"10.1007","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"2_CR1","unstructured":"W. Damm and D. Harel, \u201cLSCs: Breathing Life into Message Sequence Charts\u201d, Formal Methods in System Design\n                           19:1 (2001).(Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201999), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293\u2013312.)"},{"key":"2_CR2","series-title":"Lect Notes Comput Sci","first-page":"53","volume-title":"IEEE Computer","author":"D. Harel","year":"2001","unstructured":"D. Harel, \u201cFrom Play-In Scenarios To Code: An Achievable Dream\u201d, IEEE Computer\n                           34:1 (January 2001), 53\u201360. (Also, Proc. Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science, Vol. 1783 (Tom Maibaum, ed.), Springer-Verlag, March 2000, pp. 22\u201334.)"},{"key":"2_CR3","unstructured":"D. Harel and R. Marelly, \u201cSpecifying and Executing Behavioral Requirements: The Play-In\/Play-Out Approach\u201d, to appear."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"D. Harel, H. Kugler, R. Marelly and A. Pnueli, \u201cSmart Play-Out of Behavioral Requirements\u201d, Proc. 4th Int. Conf. on Formal Methods in Computer-Aided Design (FMCAD 2002), November 2002, to appear.","DOI":"10.1007\/3-540-36126-X_23"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"R. Marelly, D. Harel and H. Kugler, \u201cMultiple Instances and Symbolic Variables in Executable Sequence Charts\u201d, Proc. 17th Ann. AM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA\u2019 2002), November, 2002, to appear.","DOI":"10.1145\/582419.582429"},{"key":"2_CR6","unstructured":"D. Harel and R. Marelly, \u201cTime-Enriched LSCs: Specification and Execution\u201d, Proc. 10th IEEE\/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS\u2019 02), October 2002, to appear."}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45832-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T00:46:21Z","timestamp":1550882781000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45832-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443100","9783540458326"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-45832-8_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}