calculator.php

<?php
use Formapro\Pvm\DefaultBehaviorRegistry;
use Formapro\Pvm\Exception\WaitExecutionException;
use Formapro\Pvm\ProcessBuilder;
use Formapro\Pvm\ProcessEngine;
use Formapro\Pvm\Token;
use Formapro\Pvm\FileDAL;
use Formapro\Pvm\TokenTransition;
use Symfony\Component\HttpFoundation\Request;
use Symfony\Component\HttpFoundation\Response;

require_once __DIR__.'/vendor/autoload.php';

$httpRequest = Request::createFromGlobals();

$fileDal = new FileDAL(__DIR__.'/store');

$process = null;
if ($httpRequest->get('token')) {
    try {
        $token = $fileDal->getToken($httpRequest->get('token'));
        $process = $token->getProcess();
    } catch (\InvalidArgumentException $e) {
    }
}

if (false == $process) {
    $process = (new ProcessBuilder())
        ->createNode('provide_a', 'a')->end()
        ->createNode('provide_b', 'b')->end()
        ->createNode('provide_operator', 'operator')->end()
        ->createNode('result', 'result')->end()
        ->createTransition('provide_a', 'provide_b')->end()
        ->createTransition('provide_b', 'provide_operator')->end()
        ->createTransition('provide_operator', 'result')->end()
        ->createStartTransition('provide_a')->end()

        ->getProcess()
    ;

    $token = $fileDal->createProcessToken($process);
    $token->addTransition(TokenTransition::createFor($process->getStartTransition(), 1));
}

$token->httpRequest = $httpRequest;

$registry = new DefaultBehaviorRegistry([
    'a' => function(Token $token) {
        /** @var Request $httpRequest */
        $httpRequest = $token->httpRequest;

        if ($token->getCurrentTransition()->isWaiting() && Request::METHOD_POST === $httpRequest->getMethod()) {
            $token->setValue('a', $httpRequest->request->getInt('a'));

            return;
        }

        $token->httpResponse = new Response('
            <form method="post" action="'.$_SERVER['REQUEST_URI'].'?token='.$token->getId().'">
                <label for="a">Select A:</label>
                <input name="a" value="1" type="number" />
                <input type="submit" title="Submit" />
            </form>
        ');

        throw new WaitExecutionException();
    },
    'b' => function(Token $token) {
        /** @var Request $httpRequest */
        $httpRequest = $token->httpRequest;

        if ($token->getCurrentTransition()->isWaiting() && Request::METHOD_POST === $httpRequest->getMethod()) {
            $token->setValue('b', $httpRequest->request->getInt('b'));

            return;
        }

        $token->httpResponse = new Response('
            <form method="post" action="'.$_SERVER['REQUEST_URI'].'">
                <label for="b">Select B:</label>
                <input name="b" value="2" type="number" />
                <input type="submit" title="Submit" />
            </form>
        ');

        throw new WaitExecutionException();
    },
    'operator' => function(Token $token) {
        /** @var Request $httpRequest */
        $httpRequest = $token->httpRequest;

        if ($token->getCurrentTransition()->isWaiting() && Request::METHOD_POST === $httpRequest->getMethod()) {
            $token->setValue('operator', $httpRequest->request->get('operator'));

            return;
        }

        $token->httpResponse = new Response('
            <form method="post" action="'.$_SERVER['REQUEST_URI'].'">
                <fieldset>
                    <legend>Select an operator:</legend>
            
                    <div>
                        <input type="radio" name="operator" value="+" checked />
                        <label for="huey">Addition "+"</label>
                    </div>
            
                    <div>
                        <input type="radio" name="operator" value="-" />
                        <label for="dewey">Subtraction "-"</label>
                    </div>
            
                    <div>
                        <input type="radio" name="operator" value="*" />
                        <label for="louie">Multiplication "*"</label>
                    </div>
                </fieldset>
                <input type="submit" title="Submit" />
            </form>
        ');

        throw new WaitExecutionException();
    },
    'result' => function(Token $token) {
        $result = $token->getValue('result');
        $operator = $token->getValue('operator');
        $a = $token->getValue('a');
        $b = $token->getValue('b');

        if (false == $result) {
            switch ($operator) {
                case '+':
                    $result = $a + $b;
                    break;
                case '-':
                    $result = $a - $b;
                    break;
                case '*':
                    $result = $a * $b;
                    break;
                default:
                    throw new \LogicException('Invalid operator');
            }

            $token->setValue('result', $result);
        }

        $token->httpResponse = new Response("
            <p>The result of $a $operator $b equals <b>$result</b></p> 
        ");

        throw new WaitExecutionException();
    },
]);

$engine = new ProcessEngine($registry, $fileDal);

$waitTokens = $engine->proceed($token);

/** @var Response $httpResponse */
$httpResponse = $waitTokens[0]->httpResponse;

echo $httpResponse->getContent();

{
    "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Process.json",
    "id": "65f0146a-aa4c-4b0b-8c8a-722510ab4201",
    "nodes": {
        "provide_a": {
            "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Node.json",
            "id": "provide_a",
            "behavior": "a"
        },
        "provide_b": {
            "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Node.json",
            "id": "provide_b",
            "behavior": "b"
        },
        "provide_operator": {
            "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Node.json",
            "id": "provide_operator",
            "behavior": "operator"
        },
        "result": {
            "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Node.json",
            "id": "result",
            "behavior": "result"
        }
    },
    "transitions": {
        "1c42a5e3-83f0-4d00-86d3-63e224f06544": {
            "id": "1c42a5e3-83f0-4d00-86d3-63e224f06544",
            "weight": 1,
            "async": false,
            "active": true,
            "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Transition.json",
            "from": "provide_a",
            "to": "provide_b"
        },
        "613234a2-df66-464b-b8c4-730f9c985572": {
            "id": "613234a2-df66-464b-b8c4-730f9c985572",
            "weight": 1,
            "async": false,
            "active": true,
            "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Transition.json",
            "from": "provide_b",
            "to": "provide_operator"
        },
        "e85d43fc-1b09-47f5-91d8-ae7433450f9d": {
            "id": "e85d43fc-1b09-47f5-91d8-ae7433450f9d",
            "weight": 1,
            "async": false,
            "active": true,
            "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Transition.json",
            "from": "provide_operator",
            "to": "result"
        },
        "6b4afc6d-e28c-4cd8-b72a-1c9fdf9ca1f4": {
            "id": "6b4afc6d-e28c-4cd8-b72a-1c9fdf9ca1f4",
            "weight": 1,
            "async": false,
            "active": true,
            "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Transition.json",
            "to": "provide_a"
        }
    },
    "outTransitions": {
        "provide_a": [
            "1c42a5e3-83f0-4d00-86d3-63e224f06544"
        ],
        "provide_b": [
            "613234a2-df66-464b-b8c4-730f9c985572"
        ],
        "provide_operator": [
            "e85d43fc-1b09-47f5-91d8-ae7433450f9d"
        ]
    },
    "inTransitions": {
        "provide_b": [
            "1c42a5e3-83f0-4d00-86d3-63e224f06544"
        ],
        "provide_operator": [
            "613234a2-df66-464b-b8c4-730f9c985572"
        ],
        "result": [
            "e85d43fc-1b09-47f5-91d8-ae7433450f9d"
        ],
        "provide_a": [
            "6b4afc6d-e28c-4cd8-b72a-1c9fdf9ca1f4"
        ]
    },
    "tokens": {
        "1ab3fbe4-3d73-495a-90d6-d1bb8e8cdafa": {
            "schema": "http:\/\/pvm.forma-pro.com\/schemas\/Token.json",
            "id": "1ab3fbe4-3d73-495a-90d6-d1bb8e8cdafa",
            "transitions": [
                {
                    "schema": "http:\/\/pvm.forma-pro.com\/schemas\/TokenTransition.json",
                    "id": "bfc00e60-ae9d-4a0c-8d97-619b2f75e3ef",
                    "transitionId": "6b4afc6d-e28c-4cd8-b72a-1c9fdf9ca1f4",
                    "weight": 1,
                    "state": "opened",
                    "time": 16070817255025
                },
                {
                    "schema": "http:\/\/pvm.forma-pro.com\/schemas\/TokenTransition.json",
                    "id": "2bf43461-e87a-4960-98cc-47f2265bd60d",
                    "transitionId": "6b4afc6d-e28c-4cd8-b72a-1c9fdf9ca1f4",
                    "weight": 1,
                    "state": "waiting",
                    "time": 16070817255032,
                    "reason": ""
                }
            ]
        }
    }
}