SymfonyWorld Online 2021 Summer Edition
June 17 – 18, 2021
SymfonyWorld Online 2021 Winter Edition
December 9 – 10, 2021
  1. Home
  2. Documentation
  3. Workflow
  4. Workflows as State Machines

Warning: You are browsing the documentation for Symfony 3.2, which is no longer maintained.

Read the updated version of this page for Symfony 5.3 (the current stable version).

Workflows as State Machines

3.2 version
Maintained
4.4 5.3 current 5.4 dev 6.0
Unmaintained
3.2 3.3 3.4 4.0 4.1 4.2 4.3 5.0 5.1 5.2

Workflows as State Machines

The workflow component is modelled after a Workflow net which is a subclass of a Petri net. By adding further restrictions you can get a state machine. The most important one being that a state machine cannot be in more than one place simultaneously. It is also worth noting that a workflow does not commonly have cyclic path in the definition graph, but it is common for a state machine.

Example of a State Machine

A pull request starts in an intial “start” state, a state for e.g. running tests on Travis. When this is finished, the pull request is in the “review” state, where contributors can require changes, reject or accept the pull request. At any time, you can also “update” the pull request, which will result in another Travis run.

../_images/pull_request.png

Below is the configuration for the pull request state machine.

  • YAML
     1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
    # app/config/config.yml
framework:
    workflows:
        pull_request:
            type: 'state_machine'
            supports:
                - AppBundle\Entity\PullRequest
            places:
                - start
                - coding
                - travis
                - review
                - merged
                - closed
            transitions:
                submit:
                    from: start
                    to: travis
                update:
                    from: [coding, travis, review]
                    to: travis
                wait_for_review:
                    from: travis
                    to: review
                request_change:
                    from: review
                    to: coding
                accept:
                    from: review
                    to: merged
                reject:
                    from: review
                    to: closed
                reopen:
                    from: closed
                    to: review
  • XML
     1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
    <!-- app/config/config.xml -->
<?xml version="1.0" encoding="utf-8" ?>
<container xmlns="http://symfony.com/schema/dic/services"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:framework="http://symfony.com/schema/dic/symfony"
    xsi:schemaLocation="http://symfony.com/schema/dic/services http://symfony.com/schema/dic/services/services-1.0.xsd
        http://symfony.com/schema/dic/symfony http://symfony.com/schema/dic/symfony/symfony-1.0.xsd"
>

    <framework:config>
        <framework:workflow name="pull_request" type="state_machine">
            <framework:marking-store type="single_state"/>

            <framework:support>AppBundle\Entity\PullRequest</framework:support>

            <framework:place>start</framework:place>
            <framework:place>coding</framework:place>
            <framework:place>travis</framework:place>
            <framework:place>review</framework:place>
            <framework:place>merged</framework:place>
            <framework:place>closed</framework:place>

            <framework:transition name="submit">
                <framework:from>start</framework:from>

                <framework:to>travis</framework:to>
            </framework:transition>

            <framework:transition name="update">
                <framework:from>coding</framework:from>
                <framework:from>travis</framework:from>
                <framework:from>review</framework:from>

                <framework:to>travis</framework:to>
            </framework:transition>

            <framework:transition name="wait_for_review">
                <framework:from>travis</framework:from>

                <framework:to>review</framework:to>
            </framework:transition>

            <framework:transition name="request_change">
                <framework:from>review</framework:from>

                <framework:to>coding</framework:to>
            </framework:transition>

            <framework:transition name="accept">
                <framework:from>review</framework:from>

                <framework:to>merged</framework:to>
            </framework:transition>

            <framework:transition name="reject">
                <framework:from>review</framework:from>

                <framework:to>closed</framework:to>
            </framework:transition>

            <framework:transition name="reopen">
                <framework:from>closed</framework:from>

                <framework:to>review</framework:to>
            </framework:transition>

        </framework:workflow>

    </framework:config>
</container>
  • PHP
     1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
    // app/config/config.php

$container->loadFromExtension('framework', array(
    // ...
    'workflows' => array(
        'pull_request' => array(
          'type' => 'state_machine',
          'supports' => array('AppBundle\Entity\PullRequest'),
          'places' => array(
            'start',
            'coding',
            'travis',
            'review',
            'merged',
            'closed',
          ),
          'transitions' => array(
            'start'=> array(
              'from' => 'start',
              'to' => 'travis',
            ),
            'update'=> array(
              'from' => array('coding','travis','review'),
              'to' => 'travis',
            ),
            'wait_for_reivew'=> array(
              'from' => 'travis',
              'to' => 'review',
            ),
            'request_change'=> array(
              'from' => 'review',
              'to' => 'coding',
            ),
            'accept'=> array(
              'from' => 'review',
              'to' => 'merged',
            ),
            'reject'=> array(
              'from' => 'review',
              'to' => 'closed',
            ),
            'reopen'=> array(
              'from' => 'start',
              'to' => 'review',
            ),
          ),
        ),
    ),
));

You can now use this state machine by getting the state_machine.pull_request service:

$stateMachine = $this->container->get('state_machine.pull_request');

This work, including the code samples, is licensed under a Creative Commons BY-SA 3.0 license.