Welcome

BPjs is a library for executing behavioral programs written in Javascript. It can be used from the commandline, or embedded in a Java application.

BPjs is an open source project, maintained by a research group in Ben-Gurion University of the Negev, Israel. The code is available on GitHub. This project, as well as the concepts behind it, were presented at Devoxx Belgium 2018.

Here you can learn about writing and executing BPjs programs, embedding BPjs programs in larger Java systems (or any JVM-based systems, really), and extending and modifying BPjs’ behavior.

What’s Here

• Learn Behavioral Programming: If you are new to Behavioral Programming (that’s alright, it’s a fairly new concept), you’re invited to read the quick intro.
• Use BPjs from a console/commandline: see Running BPjs from the Commandline.
• Use BPjs as a library in a software system: If you’re using maven, just add BPjs as a dependency. Otherwise, you can download a .jar file.
• Verify BPjs Programs/Models see Verification.
• Learn more about how to use, embed, and extend BPjs: Read below.
• How to Cite If you use BPjs in an academic work, please consider citing it as mentioned here.

Topics:

• Obtaining BPjs
  • Running BPjs from the Commandline
  • Using Maven
  • Using .jar Files
  • Compile from Source
• Writing Programs in BPjs
  • What is Behavioral Programming?
  • Tutorial
• B-Program Life Cycle in BPjs
  • 1. BPjs Program Start
  • 2. Classic BP-Cycle
  • Environments and Interruptions
• Data Storage in BPjs
  • B-Thread Data Object
  • B-Program Data Store
• Executing BPjs Programs
  • From the Commandline
  • From Java Code
• Analysis and Verification
  • DFS over B-Program States
  • Verifying Safety Properties
  • Verifying Liveness Properties
• Embedding BPjs in an Application
  • Overview
  • Steps for B-Program Embedding
• Packages and Classes
• Extending BPjs
  • Alter Event Selection Algorithm
  • Interacting with the B-Program’s Context
  • Sub-classing Events
• Terms Used in this documentation
• Examples
  • Example - Hot/Cold Bath
  • Example - Dining Philosophers
  • Example - Mazes
  • Example - Tic Tac Toe
• BPjs tips
  • Build jar with tests
  • Running verifications that live in the tests directory from the terminal
  • Event comparison
  • Implementing Custom Events and Using Custom Objects as Event Data
  • State minimization
  • Variables Defined in Loops
  • Working with Java Strings
  • Working in Java with Objects from JavaScript
• Citing BPjs
  • BibTex

Indices and tables

• Index
• Search Page