Introducing BPjs to the IoT class at BGU, Winter 2018 semester. Includes short BP intro, BPjs overview, and samples for running and verifying b-programs.

1. BPjs
IoT class, Winter 2018, BGU

2. Agenda
• Behavioral Programming recap
• Introducing BPjs
• Running programs in BPjs
• Embedding BPjs runtime
• Verifying BPjs programs
• Where to go from here

3. Behavioral Programming
• Subtype of scenario-based
programming
• Weaves complex application
behavior from multiple simple ones
• Each simple behavior (b-thread)
describes a scenario
• b-threads synchronize using the
bsync operation, and can request,
block, and wait for b-events.

4. BP Environments
LSC
BP
PlayGo
BP BP
BPjs BPj
AD
LSC
Blockly
Search
ModelChecking
Robocode
IoT
Satellite
LSC
…
ModelChecking
…
BPc
BP-Erl
BP-JS #1
BP-JS #2
BP-Ruby

5. BP Environments
LSC
BP
PlayGo
BP BP
BPjs BPj
AD
LSC
Blockly
Search
ModelChecking
Robocode
IoT
Satellite
LSC
…
ModelChecking
…
BPc
BP-Erl
BP-JS #1
BP-JS #2
BP-Ruby

6. BP Environments
BP
BPjs
AD
LSC
Blockly
Search
ModelChecking
Robocode
IoT
Satellite

7. BP Environments
BP
BPjs
AD
LSC
Blockly
Search
ModelChecking
Robocode
IoT
Satellite
Event
Selection
Strategy

8. BP Environments
BP
BPjs
AD
LSC
Blockly
Search
ModelChecking
Robocode
IoT
Satellite
Event
Selection
Strategy

9. Why is BPjs Different?
BP platform (not paper*)
Allow programmatic access for“lower-level”
BP idioms
E.g. fordevelopingadditionaldiagrammaticformalizations
Create a common platform for BP Research
Allow BP code reuse, not just ideas
Easy joining path for new users
“Gateway drug”to BP
Goal
Aim
* Except for the paper introducing it.

10. How is BPjs Different?
Enable rather than decide (“vendor thinking”)
• Pluggable Event Selection Mechanism,
Event Handlers, and (coming soon) search
strategies
• Embeddable
Robust, dependable software. Modern toolset
geared towards open source and continuous
integration. Plays well with others.
Public code repo, tutorials, transparency
Design
Engineering
Presentation

11. Current Status
• Maven Project
• Free, Open Source (MIT)
• Online documentation
• Embeddable / Commandline
• Continuous CI/QA/Documentation
• GitHub Repo, GitHub Release, Maven Central
• Stable master branch, compiling* develop branch, wild feature
branches
• Seed maven client project available
• Examples in code (tests), Robocode example project.
*mostly

14. http://bpjs.readthedocs.io

15. Runtime Stack
BP Code

16. Runtime Stack
BP Code
BPjs BProgramRunner Mozilla
Rhino

17. Runtime Stack
BP Code
BPjs BProgramRunner
Host Java Application
Mozilla
Rhino

18. Runtime Stack
BP Code
BPjs BProgramRunner
Host Java Application
JVM
OS & Hardware
Mozilla
Rhino

19. BP Code
BPjs BProgramRunner
Host Java Application

20. BP Code
BPjs BProgramRunner
Host Java Application
bp

21. BP Code
BPjs BProgramRunner
Host Java Application
bp
API,
Event Listeners

22. BP Code
BPjs BProgramRunner
Host Java Application
bp
API,
Event Listeners
API,
External Event Queue

23. Demo: Hot/Cold

24. Embedding a B-Program
1.Add BPjs to your project (maven dependency/jar)
2.Use code like below:
Forkable base project available at GitHub

25. House Model

26. House Model

27. House Model
var house = [ " # t " ,
" # # # # # # # " ,
" " ,
" # # # # # # # " ,
" s # " ] ;

28. House Model
var house = [ " # t " ,
" # # # # # # # " ,
" " ,
" # # # # # # # " ,
" s # " ] ;

29. [" # t ",
"## ## ###",
" ",
"### #### ",
" s# "];
Agent B-Threads
in the House
Parsing:
Iterate over characters in house
description string array.
Generate b-threads for each type
of character like so:

30. Agent B-Threads in the House
Spaces
[" # t ",
"## ## ###",
" ",
"### #### ",
" s# "];

31. Agent B-Threads in the House
Start
[" # t ",
"## ## ###",
" ",
"### #### ",
" s# "];

32. Agent B-Threads in the House
Target
[" # t ",
"## ## ###",
" ",
"### #### ",
" s# "];

34. BProgram

35. BProgram
b-thread
b-thread
b-thread
b-thread

36. BProgram
b-thread
b-thread
b-thread
b-thread
Event
Selection
Strategy

37. BProgram
b-thread
b-thread
b-thread
b-thread
Event
Selection
Strategy
BProgramRunner

38. Host Java App
BProgram
b-thread
b-thread
b-thread
b-thread
Event
Selection
Strategy
BProgramRunner

39. Host Java App
BProgram
b-thread
b-thread
b-thread
b-thread
Event
Selection
Strategy
BProgramRunnerDfsBProgramVerifier

40. Maze Verification

41. Maze Verification

42. Verification Result

43. Verification Result

44. Demo: Verify Maze

45. Demo: Verify Maze

46. BPjs Resources
• GitHub: https://github.com/bThink-BGU
• High-Level documentation: http://bpjs.readthedocs.io
• JavaDoc: http://www.javadoc.io/doc/com.github.bthink-
bgu/BPjs/0.8.5
• Main maintainer: Michael
• Others in the research group: Gera, Achiya, Reut,
Aviran, Meital…

47. bsync({
waitFor:questions
});