Assessing Event Correlation in Non-Process-Aware Information Systems

Cases under study

Id

Name

Description

Link

S1

AELG-Members

is an author management system that supports the administration of an organization of Spanish writers

go

S2

CHES

CHES (Computer-based Health Evaluation System) is a healthcare information system used in several Austrian hospitals in different areas of medicine (e.g., oncology, geriatrics, psychiatry, psychosomatic medicine) for the collection, storage, and graphical processing of medical and psychosocial data

go

Event Traces Injector Tool

download

PLSQL Scripts
ALGORITHM1-Generation of Atomic Conditions.sql
Alpha.sql
Beta.sql.txt
DistinctAi.sql.txt
DistinctAiAj.sql.txt
DistinctMAXAi.sql.txt
DistinctRatio.sql.txt
InitialAtomicConditions.sql.txt
InitialConjuntiveConditions.sql.txt
InitialL2ConjuntiveConditions.sql.txt
LogLength.sql.txt
NonNullAi.sql.txt
NonNullAiAj.sql.txt
NonNullAiAjAkAh.sql.txt
NumberOfConjuntivePI.sql.txt
NumberOfL2ConjuntivePI.sql.txt
NumberOfPI.sql.txt
PIConjuntiveRatio.sql.txt
PIL2ConjuntiveRatio.sql.txt
PIRatio.sql.txt
RemoveDuplicatesFromAtomicConditions.sql.txt
RemoveDuplicatesFromComplexConditions.sql.txt
RemoveDuplicatesFromComplexL2Conditions.sql.txt
Rij.sql.txt
SharedRatio.sql.txt
TableDistinctAi.sql.txt
Candidate correlation attributes selected in the study

Study ID

Attribute ID

Java Class

Output Method

AELG-Members

1

FeeVO

getIdAuthor

2

AuthorVO

getId

3

AuthorVO

isHistoric

4

AuthorVO

getMemberNumber

5

PublicAuthorVO

getId

6

AuthorVO

getFees

CHES

1

Patient

getPatientId                    

2

Patient

getSocialSecurityNumber         

3

Patient

isActive                        

4

Questionnaire

isCompletelyAnswered            

5

Questionnaire

toString                        

6

HibernateObject

getId                           

7

Intervention

getComment                      

Source code instrumentation results

Feature

AELG-Members

CHES

LOC

23339

91266

# Java Files

165

822

# Processed Java Files

16

181

# Instrumented Callable Units

33

186

Static Analysis Time

4’’
(4091 ms)

2’47’’
(166686 ms)

Datasets of events and correlation attributes considered in the study

Study ID

Dataset ID

# Events

# Correlation Attributes

download

AELG-Members

Small

2,432

10,412

go

Medium

7,608

33,278

go

Large

15,305

74,136

go

CHES

Small

9,361

5,236

go

Medium

26,464

13,825

go

Large

50,618

25,277

go

Correlation sets and time spent on discovering them for each data set and system
 

Dataset

Correlation Set

Time (seconds)

β=0.25

β=0.5

β=0.75

β=1

β=0.25

β=0.5

β=0.75

β=1

AELG-Members

Small

A

C

C

C

12

15

16

15

Medium

A

C

C

C

41

56

55

55

Large

B

C

D

D

113

150

151

147

CHES

Small

E

F

F

F

44

38

38

38

Medium

F

F

F

F

93

90

93

91

Large

F

F

F

F

399

409

400

398

Four correlation sets obtained for the AELG-Members system

Atomic
Conditions

A

o : 1=1

p : 2=2

q : 4=4

r : 6=6

 

B

o : 1=1

p : 2=2

q : 4=4

r : 6=6

 

C

o : 1=1

p : 2=2

q : 4=4

r : 6=6

s : 5=5

 

D

o : 1=1

p : 2=2

q : 4=4

r : 6=6

s : 5=5

 

Complex
Conditions

A

o ˄ q

p ˄ q

 

B

o ˄ q

p ˄ q

r ˄ q

r ˄ p

 

C

o ˄ q

p ˄ q

r ˄ q

r ˄ p

 

D

o ˄ q

p ˄ q

r ˄ q

r ˄ p

o ˄ s

 

Two correlation sets obtained for the CHES system

Atom. Cond.

E

ο : 1=1

π : 2=2

ρ : 3=3

ς : 4=4

σ : 5=5

τ : 6=6

F

ο : 1=1

π : 2=2

ρ : 3=3

ς : 4=4

σ : 5=5

τ : 6=6

Cplx. Condi.

E

o ˄ ρ

π ˄ ρ

π ˄ τ

 

F

o ˄ ρ

π ˄ ρ

π ˄ τ

ς ˄ σ

 

Analysis Charts
Reference Model AELG Reference Model CHES