C1.2 Règles de démarrage

$service$Idle:
        event == EventStart,
        service == "$service$",
        @$groupe$State noneof [$liste des services du groupe$],
        @$autregroupe$State noneof [$services incompatibles de ce groupe$]
==>
        restrict $groupe$oState == "$service$",
        restrict status == StatusOK;

$service$NotIdleWait:
        event == EventStart,
        service == "$service$",
        @$groupe$State oneof [$services incompatibles du groupe$],
        @$autregroupe$State noneof [$services incompatibles de ce groupe$]
==>
        do {changeInterState(@$groupe$State)},
        restrict status == StatusWait;

$service$NotIdleOK:
        event == EventStart,
        service == "$service$",
        @$groupe$State == "$service$",
        @$autregroupe$State noneof [$services incompatibles de ce groupe$]
==>
        do {changeInterState(@$groupe$State)},
        restrict $groupe$State == "$service$",
        restrict status == StatusOK;

$service$WaitEndExt:
        event == EventStart,
        service == "$service$",
        @$autregroupe$State oneof [$services incompatibles de ce groupe$]
==>
        do {includeAbortRequest(@$autregroupe$State)},
        restrict status == StatusWait;

$service$Wait:
        event == EventStart,
        service == "$service$",
        (@$groupe$State oneof [$services du groupe à attendre$] |
         @$autregroupe$State oneof [$services de ce groupe à attendre$])
==>
        restrict status == StatusWait;