Experimental Study of using Petri nets and EPC from the End-user Perspective

Table of Contents

1 Motivation and Task

2 Theoretical framework

2.1 Levels of representation and formalism

2.2 Focus on the End-User perspective

2.3 Research questions and resulting hypotheses

3 Experimental Design and Methodology

3.1 Basics of the Laboratory Experiment

3.2 Subject information

3.3 Procedure of the experiment

3.4 Data analysis basics

4 Data analysis and result discussion

4.1 Sub question 1: Difficulty of EPC’s OR connector

4.2 Sub question 2: Difficulty of the EPC’s event element

4.3 Sub question 3: Difficulty of identifying concurrencies in Petri nets

4.4 Sub question 4: Usefulness of the tokens in Petri nets

4.5 Sub question 5: Acceptability of the modeling language

4.6 Sub question 6: Over-all superiority of the EPC

4.7 Non-hypothesis related and non-planned results

5 Concluding discussion

Research Objectives and Themes

This project aims to conduct an empirical laboratory experiment to compare the comprehensibility and end-user acceptance of two process modeling languages, the semiformal Event-driven Process Chain (EPC) and the formal B/E Petri nets, specifically focusing on the requirements of untrained end-users.

• Comparison of formal (Petri nets) vs. semiformal (EPC) modeling languages.
• Evaluation of end-user comprehension regarding complex process flows and concurrencies.
• Empirical validation of theoretical hypotheses concerning modeling language notation.
• Assessment of end-user subjective acceptance and preference for specific modeling methodologies.

Excerpt from the Book

Summary of Chapters

1 Motivation and Task: Outlines the research gap regarding experimental studies in process modeling and introduces the EXPEND project as an empirical approach to evaluate modeling languages.

2 Theoretical framework: Defines the levels of representation in requirements engineering and establishes the research hypotheses comparing formal Petri nets and semiformal EPCs.

3 Experimental Design and Methodology: Details the controlled laboratory experiment, subject selection, and statistical methods used to analyze participant data.

4 Data analysis and result discussion: Presents the statistical findings and interpretations for the six sub-questions, evaluating the performance and subjective acceptance of both modeling languages.

5 Concluding discussion: Summarizes that while Petri nets are more sophisticated for formal verification, the EPC demonstrates superior comprehensibility and acceptance in end-user environments.

Keywords

Process Modeling, Event-driven Process Chain, EPC, Petri nets, End-user Perspective, Laboratory Experiment, Empirical Research, MIS, Formal Methods, Requirements Engineering, Comprehensibility, Subjective Acceptance, Data Modeling, Workflow, Semiformal.

Frequently Asked Questions

What is the core focus of this research project?

The study investigates which process modeling notation, the semiformal EPC or the formal Petri net, is better suited for communication between end-users and information system designers.

What are the primary themes addressed?

The work explores formal versus semiformal methodologies, the end-user perspective in business process modeling, and the efficacy of empirical laboratory experiments in information systems research.

What is the central research question?

The primary question asks whether a semiformal or formal notation method is better qualified for specific communication tasks involving untrained end-users.

Which scientific method is utilized?

The author employs a controlled laboratory experiment, using multiple-choice questionnaires and statistical analysis (SPSS, Mann-Whitney U-test, Spearman-Rho) to test established hypotheses.

What is discussed in the main part?

The main part covers the theoretical background of modeling, the experimental setup, and a detailed analysis of results regarding specific EPC components (OR connectors, event elements) and Petri net characteristics (concurrencies, tokens).

How is the study characterized by keywords?

The study is characterized by its empirical nature, focus on process modeling, comparison of EPC and Petri nets, and the end-user usability of these distinct modeling languages.

Did the experiment prove the superiority of the EPC?

The results indicated that the EPC achieved significant better results in terms of comprehension and subjective acceptance among untrained participants compared to the Petri net group.

Why were Petri nets found to be less suitable for end-users?

Petri nets were often considered too complex and incomprehensible by untrained users, whereas the simple and intuitive graphical notation of the EPC was favored for end-user communication.

What role did statistical analysis play?

Statistical tests confirmed the significant differences in performance and perception between the two test groups, helping to validate the theoretical hypotheses proposed by the author.