{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:30:30Z","timestamp":1774801830764,"version":"3.50.1"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"7","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2012,7]]},"abstract":"<jats:p>A novel paradigm for programming reactive systems centered on naturally specified modular behavior.<\/jats:p>","DOI":"10.1145\/2209249.2209270","type":"journal-article","created":{"date-parts":[[2012,6,20]],"date-time":"2012-06-20T13:32:56Z","timestamp":1340199176000},"page":"90-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":96,"title":["Behavioral programming"],"prefix":"10.1145","volume":"55","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[{"name":"The Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[{"name":"The Weizman Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[{"name":"Ben Gurion University of the Negev, Be'er Sheva, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Arkin R.C. Behavior-Based Robotics. MIT Press 1998.   Arkin R.C. Behavior-Based Robotics . MIT Press 1998."},{"key":"e_1_2_1_2_1","volume-title":"Summer Computer Simulation Conference. Soc. for Comp. Simulation Int.","author":"Atir Y.","year":"2007","unstructured":"Atir , Y. and Harel , D . Using LSCs for scenario authoring in tactical simulators . In Summer Computer Simulation Conference. Soc. for Comp. Simulation Int. , 2007 . Atir, Y. and Harel, D. Using LSCs for scenario authoring in tactical simulators. In Summer Computer Simulation Conference. Soc. for Comp. Simulation Int., 2007."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.67"},{"key":"e_1_2_1_4_1","first-page":"448","article-title":"The Esterel synchronous programming language and its mathematical semantics. In Seminar on Concurrency","volume":"389","author":"Berry G.","year":"1985","unstructured":"Berry , G. and Cosserat , L . The Esterel synchronous programming language and its mathematical semantics. In Seminar on Concurrency , Springer , 1985 , 389 -- 448 . Berry, G. and Cosserat, L. The Esterel synchronous programming language and its mathematical semantics. In Seminar on Concurrency, Springer, 1985, 389--448.","journal-title":"Springer"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85361-9_39"},{"key":"e_1_2_1_6_1","volume-title":"Multi-Agent Programming: Languages, Tools and Applications","author":"Bordini R.H.","year":"2009","unstructured":"Bordini , R.H. , Dastani , M. Dix , J. and Seghrouchni , A.E.F . Multi-Agent Programming: Languages, Tools and Applications . Springer , 2009 . Bordini, R.H., Dastani, M. Dix, J. and Seghrouchni, A.E.F. Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73581"},{"key":"e_1_2_1_8_1","volume-title":"Working Notes AAAI Spring Symp. on Hybrid Sys. and AI","author":"Branicky M.S.","year":"1999","unstructured":"Branicky , M.S. Behavioral programming . In Working Notes AAAI Spring Symp. on Hybrid Sys. and AI , 1999 . Branicky, M.S. Behavioral programming. In Working Notes AAAI Spring Symp. on Hybrid Sys. and AI, 1999."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0145-x"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2011.10"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2011.109"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2325296.2325346"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.895118"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.10"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2012.25"},{"key":"e_1_2_1_18_1","volume-title":"S2A: A compiler for multi-modal UML sequence diagrams. Fundamental Approaches to Software Engineering","author":"Harel D.","year":"2007","unstructured":"Harel , D. , Kleinbort , A. and Maoz , S . S2A: A compiler for multi-modal UML sequence diagrams. Fundamental Approaches to Software Engineering , 2007 . Harel, D., Kleinbort, A. and Maoz, S. S2A: A compiler for multi-modal UML sequence diagrams. Fundamental Approaches to Software Engineering, 2007."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646187.683385"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038686"},{"key":"e_1_2_1_21_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":"Harel , D. and Marelly , R . Come , Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer , 2003 . Harel, D. and Marelly, R. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003."},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0054-z"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859075"},{"key":"e_1_2_1_24_1","volume-title":"Proc. 2012 IEEE International Conference on Fuzzy Systems. To appear","author":"Harel D.","year":"2012","unstructured":"Harel , D. , Marron , A. , Nissim , A. and Weiss , G . Combining behavioral programming and fuzziness for hybrid control systems . In Proc. 2012 IEEE International Conference on Fuzzy Systems. To appear June 2012 . Harel, D., Marron, A., Nissim, A. and Weiss, G. Combining behavioral programming and fuzziness for hybrid control systems. In Proc. 2012 IEEE International Conference on Fuzzy Systems. To appear June 2012."},{"key":"e_1_2_1_25_1","volume-title":"ECOOP","author":"Harel D.","year":"2010","unstructured":"Harel , D. , Marron , A. and Weiss , G . Programming coordinated scenarios in Java . ECOOP , 2010 . Harel, D., Marron, A. and Weiss, G. Programming coordinated scenarios in Java. ECOOP, 2010."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2095050.2095079"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/101969.101990"},{"key":"e_1_2_1_29_1","volume-title":"Tools and Algorithms for the Constr. and Anal. of Systems","author":"Harel D.","year":"2007","unstructured":"Harel , D. and Segall , I . Planned and traversable playout: A flexible method for executing scenario-based programs . Tools and Algorithms for the Constr. and Anal. of Systems , 2007 . Harel, D. and Segall, I. Planned and traversable playout: A flexible method for executing scenario-based programs. Tools and Algorithms for the Constr. and Anal. of Systems, 2007."},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.008"},{"key":"e_1_2_1_31_1","first-page":"1","article-title":"From control models to real-time code using Giotto","volume":"23","author":"Henzinger T.A.","year":"2003","unstructured":"Henzinger , T.A. , Kirsch , C.M. , Sanvido , M.A.A. and Pree , W . From control models to real-time code using Giotto . IEEE Control Systems Magazine 23 , 1 ( 2003 ). Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A. and Pree, W. From control models to real-time code using Giotto. IEEE Control Systems Magazine 23, 1 (2003).","journal-title":"IEEE Control Systems Magazine"},{"key":"e_1_2_1_32_1","volume-title":"AOP Workshop at ECOOP","author":"Katz S.","year":"1999","unstructured":"Katz , S. and Gil , J.Y . Aspects and superimpositions . AOP Workshop at ECOOP , 1999 . Katz, S. and Gil, J.Y. Aspects and superimpositions. AOP Workshop at ECOOP, 1999."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"e_1_2_1_34_1","volume-title":"CAV","author":"Kugler H.","year":"2011","unstructured":"Kugler , H. , Plock , C. and Roberts , A . Synthesizing biological theories . In CAV , 2011 . Kugler, H., Plock, C. and Roberts, A. Synthesizing biological theories. In CAV, 2011."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_9"},{"key":"e_1_2_1_36_1","unstructured":"LEJOS. Java for LEGO Mindstorms; http:\/\/lejos.sourceforge.net\/.  LEJOS. Java for LEGO Mindstorms; http:\/\/lejos.sourceforge.net\/."},{"key":"e_1_2_1_37_1","volume-title":"Morgan Kaufmann","author":"Lieberman H.","year":"2001","unstructured":"Lieberman , H. Your Wish is My Command: Programming by Example . Morgan Kaufmann , 2001 . Lieberman, H. Your Wish is My Command: Programming by Example. Morgan Kaufmann, 2001."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181802"},{"key":"e_1_2_1_39_1","unstructured":"OSCI. Open SystemC Initiative. IEEE 1666 Language Reference Manual; http:\/\/www.systemc.org.  OSCI. Open SystemC Initiative. IEEE 1666 Language Reference Manual; http:\/\/www.systemc.org."},{"key":"e_1_2_1_40_1","volume-title":"ECOOP","author":"Prehofer C.","year":"1997","unstructured":"Prehofer , C. Feature -oriented programming : A fresh look at objects . ECOOP , 1997 . Prehofer, C. Feature-oriented programming: A fresh look at objects. ECOOP, 1997."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2007.1076"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988051.1988056"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863509.1863512"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2209249.2209270","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2209249.2209270","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:21:10Z","timestamp":1750238470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2209249.2209270"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":43,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["10.1145\/2209249.2209270"],"URL":"https:\/\/doi.org\/10.1145\/2209249.2209270","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,7]]},"assertion":[{"value":"2012-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}