USER EVALUATION OF SYMBOLS FOR CORE BUSINESS PROCESS MODELING CONCEPTS

Process modeling notations are visual languages that use symbols to represent their main concepts. This study investigates the quality of such symbols from users’ perspective. The design of a symbol influences whether it is easy to spot in a model and is correctly associated with the concept it represents. In an empirical study with 188 participants, the normative ratings of process model symbols (for the basic concepts of start, end, task, AND, XOR) were gathered on the dimensions of perceptual pop-out, semantic transparency, perceptual discriminability, and aesthetics. Overall, the results are consistent with our predictions based on the theoretical analyses of the designs of the symbols. Prior familiarity with process modeling notations led to more clear-cut evaluations of routing symbols (AND, XOR) and a reduced tendency to prefer middle rating options, but it did not affect the evaluations of the other symbols. Standardization organizations and academic developers of notations can use insights from the study to enhance the usability of process modeling notations

Cognitive Effectiveness of Visual Instructional Design Languages

The introduction of learning technologies into education is making the design of courses and instructional materials an increasingly complex task. Instructional design languages are identified as conceptual tools for achieving more standardized and, at the same time, more creative design solutions, as well as enhancing communication and transparency in the design process. In this article we discuss differences in cognitive aspects of three visual instructional design languages (E²ML, PoEML, coUML), based on user evaluation. Cognitive aspects are of relevance for learning a design language, creating models with it, and understanding models created using it. The findings should enable language constructors to improve the usability of visual instructional design languages in the future. The paper concludes with directions with regard to how future research on visual instructional design languages could strengthen their value and enhance their actual use by educators and designers by synthesizing existing efforts into a unified modeling approach for VIDLs

Applying Formal Methods to Networking: Theory, Techniques and Applications

Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today. The lack of formalization of the Internet architecture meant limited abstractions and modularity, especially for the control and management planes, thus requiring for every new need a new protocol built from scratch. This led to an unwieldy ossified Internet architecture resistant to any attempts at formal verification, and an Internet culture where expediency and pragmatism are favored over formal correctness. Fortunately, recent work in the space of clean slate Internet design---especially, the software defined networking (SDN) paradigm---offers the Internet community another chance to develop the right kind of architecture and abstractions. This has also led to a great resurgence in interest of applying formal methods to specification, verification, and synthesis of networking protocols and applications. In this paper, we present a self-contained tutorial of the formidable amount of work that has been done in formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial

Comprehension of Procedural Visual Business Process Models - A Literature Review

Visual process models are meant to facilitate comprehension of business processes. However, in prac- tice, process models can be difficult to understand. The main goal of this article is to clarify the sources of cog- nitive effort in comprehending process models. The article undertakes a comprehensive descriptive review of empiri- cal and theoretical work in order to categorize and sum- marize systematically existing findings on the factors that influence comprehension of visual process models. Methodologically, the article builds on a review of forty empirical studies that measure objective comprehension of process models, seven studies that measure subjective comprehension and user preferences, and thirty-two arti- cles that discuss the factors that influence the comprehen- sion of process models. The article provides information systems researchers with an overview of the empirical state of the art of process model comprehension and provides recommendations for new research questions to be addressed and methods to be used in future experiments

A Survey-based Analysis of Principles to Evaluate Visual Notations of Process Modeling Languages

Process modeling languages such as BPMN or EPC provide a set of graphical constructs defining their visual notations. The visual notation is one comparison criteria in favor of a process modeling language. Usually, the first choice for the evaluation of visual notations are the principles of the Physics of Notation (PoN) theory. Their vague operationalization, however, gives room for contradictory recommendations how to improve visual notations. Therefore, the intention of this paper is to identify recent empirical studies to visual notations of process modeling languages, which might contribute to a better understanding of PoN principles. A comprehensive literature survey has been conducted showing a confirmation of the PoN principles and identifying refinements for their operationalization. We applied our findings to an evaluation of the visual notation of BPMN from 2012 and showed advancements. Our findings define the current guidelines for evaluating and improving visual notations of process modeling languages

ON THE THEORETICAL FOUNDATIONS OF RESEARCH INTO THE UNDERSTANDABILITY OF BUSINESS PROCESS MODELS

Against the background of the growing significance of Business Process Management (BPM) for Information Systems (IS) research and practice, especially the field of Business Process Modeling gains more and more importance. Business process models support communication about as well as the coordination of processes and have become a widely adopted tool in practice. As the understandability of business process models plays a crucial role in communication processes, more and more studies on process model understandability have been conducted in IS research. This article aims at investigating underlying theories of research into business process model understandability by means of an in-depth analysis of 126 systematically retrieved research articles on the topic. It shows in how far process model understandability research is multi-theoretically founded. Identified theories differ regarding addressed subject matters, their coverage, their focus as well as the underlying notion of model understanding, which is exemplarily demonstrated and discussed in this article. Moreover, implications of the findings are discussed and an outlook on future business process model understandability research and on the integration potential of theories in this field is given