David Harel
Skip Abstract Section
Abstract
A novel paradigm for programming reactive systems centered on naturally specified modular behavior.
- Arkin, R.C. Behavior-Based Robotics. MIT Press, 1998. Google Scholar
Digital Library
- Atir, Y. and Harel, D. Using LSCs for scenario authoring in tactical simulators. In Summer Computer Simulation Conference. Soc. for Comp. Simulation Int., 2007. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Berry, G. and Cosserat, L. The Esterel synchronous programming language and its mathematical semantics. In Seminar on Concurrency, Springer, 1985, 389--448. Google ScholarDigital Library
- Bliudze, S. and Sifakis, J. A notion of glue expressiveness for component-based systems. CONCUR, 2008. Google ScholarDigital Library
- Bordini, R.H., Dastani, M. Dix, J. and Seghrouchni, A.E.F. Multi-Agent Programming: Languages, Tools and Applications. Springer, 2009. Google ScholarDigital Library
- Bouge, L. and Francez, N. A compositional approach to superimposition. In POPL, 1988. Google ScholarDigital Library
- Branicky, M.S. Behavioral programming. In Working Notes AAAI Spring Symp. on Hybrid Sys. and AI, 1999.Google Scholar
- Brooks, R. A robust layered control system for a mobile robot. IEEE J. of Robotics and Automation 2, 1 (1986).Google ScholarCross Ref
- 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). Google ScholarDigital Library
- Damm, W. and Harel, D. LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design 19, 1 (2001). Google ScholarDigital Library
- Eitan, N., Gordon, M., Harel, D., Marron, A. and Weiss, G. On visualization and comprehension of scenario-based programs. ICPC, 2011. Google ScholarDigital Library
- Eitan, N. and Harel, D. Adaptive behavioral programming. IEEE Int. Conf. on Tools with Artificial Intelligence, 2011. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Harel, D. From play-in scenarios to code: An achievable dream. IEEE Computer 34, 1 (2001). Google ScholarDigital Library
- Harel, D. Can programming be liberated, period? IEEE Computer 41, 1 (2008). Google ScholarDigital Library
- Harel, D., Katz, G., Marron, A. and Weiss, G. Non-intrusive repair of reactive programs. ICECCS. To appear July 2012. Google ScholarDigital Library
- Harel, D., Kleinbort, A. and Maoz, S. S2A: A compiler for multi-modal UML sequence diagrams. Fundamental Approaches to Software Engineering, 2007. Google ScholarDigital Library
- Harel, D., Kugler, H., Marelly, R. and Pnueli, A. Smart play-out of behavioral requirements. FMCAD, 2002. Google ScholarDigital Library
- Harel, D., Lampert, R., Marron, A. and Weiss, G. Model-checking behavioral programs. In EMSOFT, 2011. Google ScholarDigital Library
- Harel, D. and Marelly, R. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003. Google ScholarDigital Library
- Harel, D. and Maoz, S. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and System Modeling 7, 2 (2008), 237--252.Google ScholarCross Ref
- Harel, D., Maoz, A., Szekely, S. and Barkan, D. PlayGo: Towards a comprehensive tool for scenario based programming. ASE, 2010. Google ScholarDigital Library
- 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
- Harel, D., Marron, A. and Weiss, G. Programming coordinated scenarios in Java. ECOOP, 2010. Google ScholarDigital Library
- Harel, D., Marron, A., Weiss, G. and Wiener, G. Behavioral programming, decentralized control, and multiple time scales. AGERE!, 2011. Google ScholarDigital Library
- Harel, D. and Naamad, A. The STATE MATE semantics of statecharts. TOSEM 5, 4 (1996). Google ScholarDigital Library
- 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. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- Harel, D. and Segall, I. Synthesis from live sequence chart specifications. Computer System Sciences, 78:3 (2012), 970--980. Google ScholarDigital Library
- 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
- Katz, S. and Gil, J.Y. Aspects and superimpositions. AOP Workshop at ECOOP, 1999. Google ScholarDigital Library
- Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M. and Irwin, J. Aspect-oriented programming. ECOOP, 1997.Google ScholarCross Ref
- Kugler, H., Plock, C. and Roberts, A. Synthesizing biological theories. In CAV, 2011. Google ScholarDigital Library
- 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. Google ScholarDigital Library
- LEJOS. Java for LEGO Mindstorms; http://lejos.sourceforge.net/.Google Scholar
- Lieberman, H. Your Wish is My Command: Programming by Example. Morgan Kaufmann, 2001.Google ScholarDigital Library
- Maoz, S. and Harel, D. From multi-modal scenarios to code: Compiling LSCs into AspectJ. In FSE, 2006. Google ScholarDigital Library
- OSCI. Open SystemC Initiative. IEEE 1666 Language Reference Manual; http://www.systemc.org.Google Scholar
- Prehofer, C. Feature-oriented programming: A fresh look at objects. ECOOP, 1997.Google Scholar
- 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). Google ScholarDigital Library
- Shimony, B., Nikolaidis, I., Gburzynski, P. and Stroulia, E. On coordination tools in the PicOS tuples system. SESENA, 2011. Google ScholarDigital Library
- Wiener, G., Weiss, G. and Marron, A. Coordinating and visualizing independent behaviors in Erlang. In 9th ACM SIGPLAN Erlang Workshop, 2010. Google ScholarDigital Library
Index Terms
- Behavioral programming
Recommendations
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 ControlBehavioral 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