| % ------------------------------------------------------------------------------ |
| % Copyright (c) 2010, 2020 Contributors to the Eclipse Foundation |
| % |
| % See the NOTICE file(s) distributed with this work for additional |
| % information regarding copyright ownership. |
| % |
| % This program and the accompanying materials are made available under the terms |
| % of the MIT License which is available at https://opensource.org/licenses/MIT |
| % |
| % SPDX-License-Identifier: MIT |
| % ------------------------------------------------------------------------------ |
| \begin{rail} |
| ProcessInstance : [1] ( () | ( PROCESSNAMETK BECOMESTK ) ) |
| PROCESSNAMETK PAROPENTK ( () | ( Expression + COMMATK ) ) PARCLOSETK |
| | [2] UNWINDKW ( ( ( VARNAMETK + COMMATK ) INKW Expression ) + COMMATK ) |
| COLONTK ( ProcessInstance + COMMATK ) ENDKW |
| |
| ; |
| \end{rail} |