This repository contains all necessary resources to test and run the example application that demonstrates behavior trees as semantics preserving implementation of Milner CCS process expressions.
This repository contains supplementary material to the paper "Behavior Trees as executable representation of Milner Calculus notations", submitted to the The 21st IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT'22).
- Install and configure the AJAN Multi Agent Platform Service and Editor as described in the respective projects:
- Build the demo scenario endpoint that will provide the simulation of the shopfloor, and run the application to listen on server port 8190:
- cd ./wiait22-scenario
- mvn install
- cd target/
- java -jar wiait22-demo-scenario-1.0-SNAPSHOT.jar --server.port=8190
- Build the SPARQL API Proxy that will receive SPARQL queries by the agents, and evaluate them against the demo scenario endpoints. The service is supposed to run on port 8091:
- cd ./sparql-api-wrapper/sparql-api-wrapper/
- mvn install
- cd target/
- java -jar wiait22-demo-scenario-1.0-SNAPSHOT.jar --server.port=8091
- Start AJAN and the AJAN Editor as documented in the respective projects
- In the AJAN Editor "Behaviors" tab ...
- ... select File->Import Repo ...
- ... select the file ./behaviors/behaviors.ttl .
- You should now see a list of Behavior Trees available in the drop down list, named for example PAAMS_SENSE, PAAMS_OHA_PERC, etc.
- In the AJAN Editor "Agents" tab ...
- Make sure you are currently in the "Agents/Templates" tab
- ... select File->Import Repo ...
- ... select the file ./behaviors/agents.ttl .
- Switch to the "Agents/Instances" Tab:
- Click "+" to create a new instance
- Assign any name, and select as class "OHA"
- Copy from ./behaviors/agent_knowledge.ttl the RDF snippet (including including namespaces) under "############## OHA", and paste it as "Initial Knowledge"
- Click "Create"
What you should observe:
- When refreshing the list of agent instances, you should see a list of further agents created. These are the JSA and JEA created according to the algorithm as originally described in the paper.
- When visiting http:localhost:8190/products/ , you should see a list of products created by the JEA along the way. Ultimately, the product specified in http:localhost:8190/orders/order_1, an IOT board, should become available.
This work has been supported by the German Federal Ministry for Education and Research (BMBF) as part of the MOSAIK project (grant no. 01IS18070-C).