ProM File Format: Log Skeleton (.lsk)

We explain the log skeleton .lsk format with an example. The log skeleton is shown in the figure below.

logskeletonbrowser

For this example log skeleton, the file looks as follows:

log10
activity counts,16
f,22,0,1
g,817,0,1
[],1000,1,1
d,800,0,1
e,1000,1,1
b,958,0,1
a,888,0,1
|>,1000,1,1
o,1881,1,3
m,24,0,1
j,1016,0,2
i,1868,1,2
u,112,0,1
r,89,0,1
q,2683,1,3
p,1000,1,1
transition counts,86
g,q,65
g,o,270
p,i,409
a,e,462
r,q,11
r,[],2
g,r,5
b,[],28
g,i,65
g,m,8
g,j,2
a,q,426
g,[],37
o,o,12
o,q,110
o,r,21
o,i,68
o,g,256
b,d,83
b,f,9
o,j,982
b,g,111
q,[],47
b,j,2
b,i,180
m,[],2
b,m,6
o,d,317
o,b,70
b,o,123
b,q,403
b,r,13
j,j,10
j,i,216
j,o,15
g,b,68
j,m,10
g,d,297
j,r,22
j,q,423
d,[],800
|>,u,112
e,i,389
r,o,27
i,r,20
r,i,15
i,p,418
i,q,483
i,o,565
e,q,260
r,g,10
e,p,351
r,b,22
r,d,2
j,g,11
u,e,55
i,[],32
j,f,13
j,d,3
|>,a,888
j,b,288
f,d,8
f,b,12
q,p,231
u,q,57
q,q,333
q,r,8
m,b,9
q,o,390
q,j,14
o,[],45
q,i,526
m,j,6
q,g,313
q,e,483
q,d,45
m,g,4
q,b,293
m,d,3
j,[],5
i,d,42
i,g,112
i,b,196
p,q,112
f,[],2
p,o,479
always together,13
j
i
[],e,p,|>
m
o
q
b
a
r
d
f
u
g
always before,16
f,q,j
g,j,q
[],o,q
d,b
e,|>
b,q,j
a,|>
|>
o,i,p
m,q,j
j,o
i,e
u,|>
r,j,q
q,|>
p,e
always after,16
f,[]
g,[]
[]
d,[]
e,i,p
b,[]
a,e,q
|>,e,q
o,[]
m,[]
j,[]
i,[]
u,e,j,q
r,[]
q,[]
p,o
sometimes before,16
f,u,e,b,q,p,a,|>,o,j,i
g,e,b,a,|>,o,m,j,i,u,r,q,p
[],f,g,d,e,b,a,|>,o,m,j,i,u,r,q,p
d,f,g,e,b,a,|>,o,m,j,i,u,r,q,p
e,u,q,a,|>
b,f,g,u,e,r,q,p,a,|>,o,m,j,i
a,|>
|>
o,g,e,b,a,|>,o,j,i,u,r,q,p
m,g,u,e,b,q,p,a,|>,o,j,i
j,g,u,e,b,q,p,a,|>,o,m,j,i
i,g,u,e,b,r,q,p,a,|>,o,j,i
u,|>
r,g,e,b,a,|>,o,j,i,u,q,p
q,g,u,e,b,r,q,p,a,|>,o,j,i
p,u,e,q,a,|>,i
sometimes after,16
f,[],d,b
g,[],d,b,r,q,o,m,j,i
[]
d,[]
e,f,g,[],d,b,o,m,j,i,r,q,p
b,f,g,[],d,r,q,o,m,j,i
a,f,g,[],d,e,b,o,m,j,i,r,q,p
|>,f,g,[],d,e,b,a,o,m,j,i,u,r,q,p
o,f,g,[],d,b,r,q,o,m,j,i
m,g,[],d,b,j
j,f,g,[],d,b,r,q,o,m,j,i
i,f,g,[],d,b,r,q,p,o,m,j,i
u,f,g,[],d,e,b,o,m,j,i,r,q,p
r,g,[],d,b,q,o,i
q,f,g,[],d,e,b,r,q,p,o,m,j,i
p,f,g,[],d,b,o,m,j,i,r,q
required,0
forbidden,0
splitters,0

The file format is a CSV file, with the name of the skeleton on the first line, followed by a number of blocks in the order as shown. Each block starts with the name of the block and the number of lines that will follow for this block. The block names (with the contents of a following line) are:

  1. activity counts (activity, activity count per log, minimal activity count per trace, maximal activity count per trace),
  2. transition counts (from activity, to activity, transition count),
  3. always together (list of equivalent activities),
  4. always before (activity, list of activities that have this activity always before),
  5. always after (activity, list of activities that have this activity always after),
  6. sometimes before (activity, list of activities that have this activity sometimes before),
  7. sometimes after (activity, list of activities that have this activity sometimes after),
  8. required (list of required activities),
  9. forbidden (list of forbidden activities), and
  10. splitters (activity, list of activities to split this activity over).

2 Comments

Leave a Reply