Atir, Y. and Harel, D. Using LSCs for scenario authoring in tactical simulators. In Summer Computer Simulation Conference. Soc. for Comp. Simulation Int., 2007.

Digital Library

Google Scholar

[3]

Barak, D., Harel, D. and Marelly, R. Interplay: Horizontal scale-up and transition to design in scenario-based programming. Lectures on Concurrency and Petri Nets, (2004), 66--86.

Digital Library

Google Scholar

[4]

Berry, G. and Cosserat, L. The Esterel synchronous programming language and its mathematical semantics. In Seminar on Concurrency, Springer, 1985, 389--448.

Digital Library

Google Scholar

[5]

Bliudze, S. and Sifakis, J. A notion of glue expressiveness for component-based systems. CONCUR, 2008.

Digital Library

Google Scholar

[6]

Bordini, R.H., Dastani, M. Dix, J. and Seghrouchni, A.E.F. Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009.

Digital Library

Google Scholar

[7]

Bouge, L. and Francez, N. A compositional approach to superimposition. In POPL, 1988.

Digital Library

Google Scholar

[8]

Branicky, M.S. Behavioral programming. In Working Notes AAAI Spring Symp. on Hybrid Sys. and AI, 1999.

Google Scholar

[9]

Brooks, R. A robust layered control system for a mobile robot. IEEE J. of Robotics and Automation 2, 1 (1986).

Crossref

Google Scholar

[10]

Bunker, A., Gopalakrishnan, G. and Slind, K. Live sequence charts applied to hardware requirements specification and verification. Int. J. on Software Tools for Technology Transfer 7, 4 (2005).

Digital Library

Google Scholar

[11]

Damm, W. and Harel, D. LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19, 1 (2001).

Digital Library

Google Scholar

[12]

Eitan, N., Gordon, M., Harel, D., Marron, A. and Weiss, G. On visualization and comprehension of scenario-based programs. ICPC, 2011.

Digital Library

Google Scholar

[13]

Eitan, N. and Harel, D. Adaptive behavioral programming. IEEE Int. Conf. on Tools with Artificial Intelligence, 2011.

Digital Library

Google Scholar

[14]

Gordon, M., Marron, A., and Meerbaum-Salant, O. Spaghetti for the main course? Observations on naturalness of scenario-based programming. ITICSE. To appear July 2012.

Digital Library

Google Scholar

[15]

Harel, D. From play-in scenarios to code: An achievable dream. IEEE Computer 34, 1 (2001).

Digital Library

Google Scholar

[16]

Harel, D. Can programming be liberated, period? IEEE Computer 41, 1 (2008).

Digital Library

Google Scholar

[17]

Harel, D., Katz, G., Marron, A. and Weiss, G. Non-intrusive repair of reactive programs. ICECCS. To appear July 2012.

Digital Library

Google Scholar

[18]

Harel, D., Kleinbort, A. and Maoz, S. S2A: A compiler for multi-modal UML sequence diagrams. Fundamental Approaches to Software Engineering, 2007.

Digital Library

Google Scholar

[19]

Harel, D., Kugler, H., Marelly, R. and Pnueli, A. Smart play-out of behavioral requirements. FMCAD, 2002.

Digital Library

Google Scholar

[20]

Harel, D., Lampert, R., Marron, A. and Weiss, G. Model-checking behavioral programs. In EMSOFT, 2011.

Digital Library

Google Scholar

[21]

Harel, D. and Marelly, R. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003.

Digital Library

Google Scholar

[22]

Harel, D. and Maoz, S. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and System Modeling 7, 2 (2008), 237--252.

Crossref

Google Scholar

[23]

Harel, D., Maoz, A., Szekely, S. and Barkan, D. PlayGo: Towards a comprehensive tool for scenario based programming. ASE, 2010.

Digital Library

Google Scholar

[24]

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.

Google Scholar

[25]

Harel, D., Marron, A. and Weiss, G. Programming coordinated scenarios in Java. ECOOP, 2010.

Digital Library

Google Scholar

[26]

Harel, D., Marron, A., Weiss, G. and Wiener, G. Behavioral programming, decentralized control, and multiple time scales. AGERE!, 2011.

Digital Library

Google Scholar

[27]

Harel, D. and Naamad, A. The STATE MATE semantics of statecharts. TOSEM 5, 4 (1996).

Digital Library

Google Scholar

[28]

Harel, D. and Pnueli, A. On the Development of Reactive Systems, in Logics and Models of Concurrent Systems. NATO ASI Series, Vol. F-13. 1985.

Digital Library

Google Scholar

[29]

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.

Digital Library

Google Scholar

[30]

Harel, D. and Segall, I. Synthesis from live sequence chart specifications. Computer System Sciences, 78:3 (2012), 970--980.

Digital Library

Google Scholar

[31]

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).

Google Scholar

[32]

Katz, S. and Gil, J.Y. Aspects and superimpositions. AOP Workshop at ECOOP, 1999.

Digital Library

Google Scholar

[33]

Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M. and Irwin, J. Aspect-oriented programming. ECOOP, 1997.

Crossref

Google Scholar

[34]

Kugler, H., Plock, C. and Roberts, A. Synthesizing biological theories. In CAV, 2011.

Digital Library

Google Scholar

[35]

Kugler, H. and Segall, I. Compositional synthesis of reactive systems from live sequence chart specifications. Tools and Alg. for the Constr. and Anal. of Systems, 2009.

Digital Library

Google Scholar

[36]

LEJOS. Java for LEGO Mindstorms; http://lejos.sourceforge.net/.

Google Scholar

[37]

Lieberman, H. Your Wish is My Command: Programming by Example. Morgan Kaufmann, 2001.

Digital Library

Google Scholar

[38]

Maoz, S. and Harel, D. From multi-modal scenarios to code: Compiling LSCs into AspectJ. In FSE, 2006.

Digital Library

Google Scholar

[39]

OSCI. Open SystemC Initiative. IEEE 1666 Language Reference Manual; http://www.systemc.org.

Google Scholar

[40]

Prehofer, C. Feature-oriented programming: A fresh look at objects. ECOOP, 1997.

Google Scholar

[41]

Sadot, A., Fisher, J., Barak, D. Admanit, Y. Stern, M.J., Hubbard, E.J.A and Harel, D. Toward verified biological models. IEEE/ACM Trans. Comput. Biology Bioinform 5, 2 (2008).

Digital Library

Google Scholar

[42]

Shimony, B., Nikolaidis, I., Gburzynski, P. and Stroulia, E. On coordination tools in the PicOS tuples system. SESENA, 2011.

Digital Library

Google Scholar

[43]

Wiener, G., Weiss, G. and Marron, A. Coordinating and visualizing independent behaviors in Erlang. In 9^th ACM SIGPLAN Erlang Workshop, 2010.

Digital Library

Google Scholar

Cited By

View all

Felber TGötz S(2024)Debugging Behavioral Programs Using [email protected]2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA64295.2024.00032(160-167)Online publication date: 28-Aug-2024
https://doi.org/10.1109/SEAA64295.2024.00032
Yaacov TElyasaf AWeiss G(2024)Boosting LLM-Based Software Generation by Aligning Code with Requirements2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00045(301-305)Online publication date: 24-Jun-2024
https://doi.org/10.1109/REW61692.2024.00045
Yaacov TElyasaf AWeiss G(2024)Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements2024 IEEE 32nd International Requirements Engineering Conference (RE)10.1109/RE59067.2024.00019(91-102)Online publication date: 24-Jun-2024
https://doi.org/10.1109/RE59067.2024.00019
Show More Cited By

Index Terms

Recommendations

Behavioral Types in Programming Languages
Comparing novice programing environments for use in secondary education: App Inventor for Android vs. Alice

Coding is part of logical thinking and is one of the basic skills which are known as '21st-century skills'. Coding acquisition is necessary as it is used in a wide range of occupations. However, computer programing is difficult to learn and programing ...
Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures
AGERE! '14: Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control

Behavioral programming (BP) is a decentralized scenario-based paradigm for the programming of reactive software, geared towards incremental and intuitive development. In this work we apply the principles of BP to a large, real-world case-study: a web-...

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 55, Issue 7

July 2012

120 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/2209249

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 2012

Published in CACM Volume 55, Issue 7

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

90
Total Citations
View Citations
23,391
Total Downloads

Downloads (Last 12 months)935
Downloads (Last 6 weeks)74

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Felber TGötz S(2024)Debugging Behavioral Programs Using [email protected]2024 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA64295.2024.00032(160-167)Online publication date: 28-Aug-2024
https://doi.org/10.1109/SEAA64295.2024.00032
Yaacov TElyasaf AWeiss G(2024)Boosting LLM-Based Software Generation by Aligning Code with Requirements2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW)10.1109/REW61692.2024.00045(301-305)Online publication date: 24-Jun-2024
https://doi.org/10.1109/REW61692.2024.00045
Yaacov TElyasaf AWeiss G(2024)Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements2024 IEEE 32nd International Requirements Engineering Conference (RE)10.1109/RE59067.2024.00019(91-102)Online publication date: 24-Jun-2024
https://doi.org/10.1109/RE59067.2024.00019
王飞(2023)Research on Behavior-Based Programming for Unmanned Aerial Vehicle Navigation SystemModeling and Simulation10.12677/MOS.2023.12434212:04(3736-3746)Online publication date: 2023
https://doi.org/10.12677/MOS.2023.124342
Elyasaf AFarchi EMargalit OWeiss GWeiss Y(2023)Generalized Coverage Criteria for Combinatorial Sequence TestingIEEE Transactions on Software Engineering10.1109/TSE.2023.327957049:8(4023-4034)Online publication date: 1-Aug-2023
https://dl.acm.org/doi/10.1109/TSE.2023.3279570
Elyasaf AYaacov TWeiss G(2023)What Petri Nets Oblige us to Say Comparing Approaches for Behavior CompositionIEEE Transactions on Software Engineering10.1109/TSE.2022.321668349:4(2303-2317)Online publication date: 1-Apr-2023
https://dl.acm.org/doi/10.1109/TSE.2022.3216683
Yerushalmi R(2023)Enhancing Deep Reinforcement Learning with Executable Specifications2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)10.1109/ICSE-Companion58688.2023.00058(213-217)Online publication date: May-2023
https://doi.org/10.1109/ICSE-Companion58688.2023.00058
Bar-Sinai MElyasaf AWeiss GWeiss YBissyandé TKlein JBird CSarro F(2023)Provengo: A Tool Suite for Scenario Driven Model-Based TestingProceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE56229.2023.00146(2062-2065)Online publication date: 11-Nov-2023
https://dl.acm.org/doi/10.1109/ASE56229.2023.00146
Yaacov T(2023)BPpy: Behavioral programming in PythonSoftwareX10.1016/j.softx.2023.10155624(101556)Online publication date: Dec-2023
https://doi.org/10.1016/j.softx.2023.101556
Yerushalmi RAmir GElyasaf AHarel DKatz GMarron A(2023)Enhancing Deep Reinforcement Learning with Scenario-Based ModelingSN Computer Science10.1007/s42979-022-01575-24:2Online publication date: 11-Jan-2023
https://dl.acm.org/doi/10.1007/s42979-022-01575-2
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

Behavioral Types in Programming Languages

Comparing novice programing environments for use in secondary education: App Inventor for Android vs. Alice

Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations