Towards behavioral programming in distributed architectures

Axum Programmer's Guide, Microsoft, 2010. Abadi, 2012, Automatic recovery of statecharts from procedural code, 238 Agha, 1986 Armstrong, 2010, Erlang, Commun. ACM, 53, 68, 10.1145/1810891.1810910 Ashrov, 2015, A use-case for behavioral programming: an architecture in JavaScript and Blockly for interactive applications with cross-cutting scenarios, Sci. Comput. Program., 98, 268, 10.1016/j.scico.2014.01.017 Barak, 2004, Interplay: Horizontal scale-up and transition to design in scenario-based programming, 66 Bordini, 2007 Bordini, 2009 Bouabdallah, 2007 Bouabdallah, 2004, Design and control of an indoor micro quadrotor, 4393, 10.1109/ROBOT.2004.1302409 Bouge, 1988, A compositional approach to superimposition Bratman, 1988, Plans and resource-bounded practical reasoning, Comput. Intell., 4, 349, 10.1111/j.1467-8640.1988.tb00284.x Cai, 1999, An auto-adaptive dead reckoning algorithm for distributed interactive simulation, 82 Damm, 2001, LSCs: breathing life into message sequence charts, Form. Methods Syst. Des., 19, 45, 10.1023/A:1011227529550 Dastani, 2008, 2apl: a practical agent programming language, Auton. Agents Multi-Agent Syst., 16, 214, 10.1007/s10458-008-9036-y Eitan, 2011, On visualization and comprehension of scenario-based programs Fuchs, 2010, Intersegmental coordination of cockroach locomotion: adaptive control of centrally coupled pattern generator circuits Fujimoto, 1995, Parallel and distributed simulation, 118 Gamma, 1995 Harel, 1987, Statecharts: a visual formalism for complex systems, Sci. Comput. Program., 8, 231, 10.1016/0167-6423(87)90035-9 Harel, 2003 Harel, 1996, The STATEMATE semantics of statecharts, TOSEM, 5, 10.1145/235321.235322 Harel, 2010, Programming coordinated scenarios in Java, 250 Harel, 2011, Model-checking behavioral programs, 279 Harel, 2012, Non-intrusive repair of reactive programs Harel, 2012, A software engineering framework for switched fuzzy systems Harel, 2012, Behavioral programming, Commun. ACM, 55, 90, 10.1145/2209249.2209270 Henzinger, 2003, From control models to real-time code using Giotto, IEEE Control Syst. Mag., 23, 50, 10.1109/MCS.2003.1172829 Hindriks, 2009, Programming rational agents in GOAL, 119 Jennings, 2001, An agent-based approach for building complex software systems, Commun. ACM, 44, 35, 10.1145/367211.367250 Katz, 2013, On module-based abstraction and repair of behavioral programs, 518 Kay, 2010 Keller, 1976, Formal verification of parallel programs, Commun. ACM, 19, 371, 10.1145/360248.360251 Kiczales, 1997, Aspect-oriented programming Kugler, 2011, Synthesizing biological theories Liberzon, 2003 Lygeros, 1999 Marron, 2012, A decentralized approach for programming interactive applications with JavaScript and Blockly, 59 Miao, 2007, Agent based serviceBSP model with superstep service for grid computing Rao, 1991 Ricci, 2008, simpA: a simple agent-oriented java extension for developing concurrent applications, 261 Shimony, 2011, On coordination tools in the PicOS tuples system Shoham, 1993, Agent-oriented programming, Artif. Intell., 60, 51, 10.1016/0004-3702(93)90034-9 Stefano, 2005, Using the Erlang language for multi-agent systems implementation, 679 Stefano, 2005, Eresye: artificial intelligence in Erlang programs, 62 Travers, 1996