BPjs for IoT class
•
1 like•333 views
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.
More Related Content
What's hot
What's hot (9)
Similar to BPjs for IoT class
Similar to BPjs for IoT class (20)
Recently uploaded
Recently uploaded (20)
BPjs for IoT class
- 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
- 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
- 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
- 38. Host Java App BProgram b-thread b-thread b-thread b-thread Event Selection Strategy BProgramRunner
- 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…