bpmn-leaks-when-analysis
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
bpmn-leaks-when-analysis [2018/11/22 10:01] pullonen |
bpmn-leaks-when-analysis [2020/01/23 15:47] pullonen [Lists] |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== BPMN leaks-when analysis ====== | ====== BPMN leaks-when analysis ====== | ||
| - | In BPMN leaks-when analysis the input is a BPMN model with annotations in pseudocode to write out how different components are | + | In BPMN leaks-when analysis the input is a BPMN model with annotations in pseudocode to write out how different components are related. |
| ===== Annotating the model ===== | ===== Annotating the model ===== | ||
| Line 10: | Line 10: | ||
| The analysis output is a table that summarizes which components of the inputs flow to the outputs. The cells in the table summarize the conditions and filters that the data passes. For data that //always// flows to the output there were no restrictive filters in the flow. The cell value //never// means that this output is not affected by that input. Finally, the //if// condition indicates that the flow is conditional and the passed filters can be seen when hovering over the cell. | The analysis output is a table that summarizes which components of the inputs flow to the outputs. The cells in the table summarize the conditions and filters that the data passes. For data that //always// flows to the output there were no restrictive filters in the flow. The cell value //never// means that this output is not affected by that input. Finally, the //if// condition indicates that the flow is conditional and the passed filters can be seen when hovering over the cell. | ||
| + | |||
| + | ===== Source code ===== | ||
| + | |||
| + | The source code of the analysis tool is available at [[https://github.com/pleak-tools/pleak-leaks-when-analysis|pleak-leaks-when-analysis]] repository. The user interface of the analysis tool is accessible through [[https://github.com/pleak-tools/pleak-sql-editor|pleak-sql-editor]]. | ||
| + | |||
| + | ===== Syntax ===== | ||
| + | Computation scripts are only added to tasks. Most tasks are expected to have the respective output data object defined by the scripts. The only difference are the sending tasks that have no script and the task before an exclusive gateway (that task defines the predicate for the gateway). In addition, if PE-BPMN stereotypes are used then some of them result in default scripts - e.g. encryption tasks. | ||
| + | |||
| + | The main functions of interest are names filter_filterName where the prefix filter distingusihes these as the filtering functions collected to the analysis output with the predicate data. | ||
| + | |||
| + | In addition to the filters the lists have special syntax where new objects can be appended and taken out later. | ||
| + | |||
| + | ==== Lists ==== | ||
| + | |||
| + | Association lists are a GADT "(keytype * valuetype) assoclist" with the following six operations: | ||
| + | |||
| + | nil : (keytype * valuetype) assoclist | ||
| + | |||
| + | add: keytype -> valuetype -> (keytype * valuetype) assoclist -> (keytype * valuetype) assoclist | ||
| + | |||
| + | update : keytype -> valuetype -> (keytype * valuetype) assoclist -> (keytype * valuetype) assoclist | ||
| + | |||
| + | find : keytype -> (keytype * valuetype) assoclist -> valuetype | ||
| + | |||
| + | endsWith : keytype -> (keytype * valuetype) assoclist -> bool /* note that this probably used in the opposite direction in the model */ | ||
| + | |||
| + | contains : keytype -> (keytype * valuetype) assoclist -> bool | ||
| + | |||
| + | They satisfy the following equalities: | ||
| + | |||
| + | endsWith(, nil) = false | ||
| + | |||
| + | contains(, nil) = false | ||
| + | |||
| + | endsWith(K, add(K', , L)) = (K == K') | ||
| + | |||
| + | endsWith(K, update(, _, L)) = endsWith(K, L) | ||
| + | |||
| + | contains(K, add(K', , L)) = (K == K') || contains(K, L) | ||
| + | |||
| + | contains(K, update(, , L)) = contains(K, L) | ||
| + | |||
| + | find(, nil) = bottom | ||
| + | |||
| + | find(K, add(K', V, L)) = if K == K' then V else find(K, L) | ||
| + | |||
| + | find(K, update(K', V, L)) = if contains(K, L) then (if K = K' then V else find(K, L)) else bottom | ||
bpmn-leaks-when-analysis.txt ยท Last modified: 2021/02/04 14:39 by pullonen
Page Tools
