Behavioral programming, decentralized control, and multiple time scales

Authors:
David Harel;Assaf Marron;Guy Wiener;Gera Weiss
Affiliations:
Weizmann Institute of Science, Rehovot, Israel;Weizmann Institute of Science, Rehovot, Israel;Weizmann Institute of Science, Rehovot, Israel;Ben-Gurion University of the Negev, Be'er-Sheva, Israel
Venue:
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Year:
2011

Citing 30
Cited 2

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Agent-oriented programming

Artificial Intelligence
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
An agent-based approach for building complex software systems

Communications of the ACM
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
An Behavior-based Robotics

An Behavior-based Robotics
Smart Play-out of Behavioral Requirements

FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Live sequence charts applied to hardware requirements specification and verification: A VCI bus interface model

International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)

Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
2APL: a practical agent programming language

Autonomous Agents and Multi-Agent Systems
Using LSCs for scenario authoring in tactical simulators

Proceedings of the 2007 Summer Computer Simulation Conference
Toward Verified Biological Models

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications

Languages, Methodologies and Development Tools for Multi-Agent Systems
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications

TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Multi-Agent Programming: Languages, Tools and Applications

Multi-Agent Programming: Languages, Tools and Applications
S2A: a compiler for multi-modal UML sequence diagrams

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Planned and traversable play-out: a flexible method for executing scenario-based programs

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Erlang

Communications of the ACM
PlayGo: towards a comprehensive tool for scenario based programming

Proceedings of the IEEE/ACM international conference on Automated software engineering
Coordinating and visualizing independent behaviors in erlang

Proceedings of the 9th ACM SIGPLAN workshop on Erlang
Programming coordinated behavior in java

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
On coordination tools in the PicOS tuples system

Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Synthesizing biological theories

CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Model-checking behavioral programs

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
On tracing reactive systems

Software and Systems Modeling (SoSyM)
On Visualization and Comprehension of Scenario-Based Programs

ICPC '11 Proceedings of the 2011 IEEE 19th International Conference on Program Comprehension
Adaptive Behavioral Programming

ICTAI '11 Proceedings of the 2011 IEEE 23rd International Conference on Tools with Artificial Intelligence
Combining state-based and scenario-based approaches in modeling biological systems

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Behavioral programming

Communications of the ACM

Behavioral programming

Communications of the ACM
A decentralized approach for programming interactive applications with JavaScript and blockly

Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions

Quantified Score

Hi-index	0.02

Visualization

Abstract

Behavioral programming is a recently proposed approach for non-intrusive incremental software development. We propose that behavioral programming concepts, such as behavioral decomposition, synchronized execution of independent behaviors, and event blocking, can help in the incremental and natural coding of complex decentralized systems, complementing actor-oriented and agent-oriented approaches. We also contribute to the existing research on behavioral programming a method for coordinating behaviorally-programmed components which, due to different time scales or interaction with the external environment, cannot synchronize and thus cannot employ event blocking. We show that the resulting decentralized system retains many of the advantages present in a purely behavioral, fully synchronized system.