On the relevance of design knowledge for design-oriented business and information systems engineering : supplemental considerations and further application examples

This contribution represents a supplement to the article "On the Relevance of Design Knowledge for Design-Oriented Business and Information Systems Engineering — Conceptual Foundations, Application Example, and Implications" in the special issue on Science of Business and Information Systems Engineering of the journal Business and Information Systems Engineering (BISE) in 2010. It contains further application examples concerning the introduced reference framework for systemizing design knowledge. Besides the comprehensive documentation of design knowledge concerning eventdriven process chains (EPC) with the dedicated literary sources and an evaluation of the evidence of the provided statements, in this report the framework is furthermore applied for the documentation of design knowledge about the Process Grammar Approach, another technique for process design presented by Lee et al. in MIS Quarterly in 2008. Subsequently the results are discussed.Der vorliegende Beitrag dient als Anhang zum Artikel "On the Relevance of Design Knowledge for Design-Oriented Business and Information Systems Engineering — Conceptual Foundations, Application Example, and Implications", der in der Zeitschrift Business and Information Systems Engineering (BISE) zum Schwerpunktheft "Science of Business and Information Systems Engineering" im Jahr 2010 erschienen ist. Er ergänzt das dort aufgeführte Beispiel zur Anwendung des Bezugsrahmens zur Dokumentation von Gestaltungswissen. Der Bezugsrahmen wurde verwendet, um Gestaltungswissen zur Modellierungstechnik "Ereignisgesteuerte Prozesskette" (EPK) zu systematisieren, zu explizieren und hinsichtlich seiner Evidenz zu bewerten. Die dort gegebene Übersicht wird im vorliegenden Beitrag ergänzt. Darüber hinaus findet sich in diesem IWi-Heft ein weiteres Anwendungsbeispiel, das aufgrund von Platzrestriktionen im Journalartikel nicht präsentiert werden konnte. Der Bezugsrahmen dient hier der Systematisierung und Dokumentation von Gestaltungswissen zur Technik des Process Grammar Approach, der von Lee et al. 2008 im Journal MIS Quarterly präsentiert wurde. Weiterhin werden die erhobenen Ergebnisse im vorliegenden Beitrag diskutiert

Stylized Facts as an Instrument for Literature Review and Cumulative Information Systems Research

The accumulation of scientific knowledge is an important objective of information systems (IS) research. Although different review approaches exist in the continuum between narrative reviews and meta-analyses, most reviews in IS are narrative or descriptive—with all related drawbacks concerning objectivity and reliability—because available under¬lying sources in IS do typically not fulfil the requirements of formal approaches such as meta-analyses. To discuss how cumulative IS research can be effectively advanced using a more formalized approach fitting the current situation in IS research, in this paper, we point out the potential of stylized facts (SFs). SFs are interesting, sometimes counterintuitive patterns in empirical data that focus on the most relevant aspects of observable phenomena by abstracting from details (stylization). SFs originate from the field of economics and have been successfully used in different fields of research for years. In this paper, we discuss their potential and challenges for literature reviews in IS. We supplement our argumentation with an application example reporting our experience with SFs. Because SFs show considerable potential for cumulative research, they seem to be a promising instrument for literature reviews and especially for theory development in IS

On the relevance of design knowledge for design-oriented business and information systems engineering : supplemental considerations and further application examples

This contribution represents a supplement to the article "On the Relevance of Design Knowledge for Design-Oriented Business and Information Systems Engineering — Conceptual Foundations, Application Example, and Implications" in the special issue on Science of Business and Information Systems Engineering of the journal Business and Information Systems Engineering (BISE) in 2010. It contains further application examples concerning the introduced reference framework for systemizing design knowledge. Besides the comprehensive documentation of design knowledge concerning eventdriven process chains (EPC) with the dedicated literary sources and an evaluation of the evidence of the provided statements, in this report the framework is furthermore applied for the documentation of design knowledge about the Process Grammar Approach, another technique for process design presented by Lee et al. in MIS Quarterly in 2008. Subsequently the results are discussed.Der vorliegende Beitrag dient als Anhang zum Artikel "On the Relevance of Design Knowledge for Design-Oriented Business and Information Systems Engineering — Conceptual Foundations, Application Example, and Implications", der in der Zeitschrift Business and Information Systems Engineering (BISE) zum Schwerpunktheft "Science of Business and Information Systems Engineering" im Jahr 2010 erschienen ist. Er ergänzt das dort aufgeführte Beispiel zur Anwendung des Bezugsrahmens zur Dokumentation von Gestaltungswissen. Der Bezugsrahmen wurde verwendet, um Gestaltungswissen zur Modellierungstechnik "Ereignisgesteuerte Prozesskette" (EPK) zu systematisieren, zu explizieren und hinsichtlich seiner Evidenz zu bewerten. Die dort gegebene Übersicht wird im vorliegenden Beitrag ergänzt. Darüber hinaus findet sich in diesem IWi-Heft ein weiteres Anwendungsbeispiel, das aufgrund von Platzrestriktionen im Journalartikel nicht präsentiert werden konnte. Der Bezugsrahmen dient hier der Systematisierung und Dokumentation von Gestaltungswissen zur Technik des Process Grammar Approach, der von Lee et al. 2008 im Journal MIS Quarterly präsentiert wurde. Weiterhin werden die erhobenen Ergebnisse im vorliegenden Beitrag diskutiert

A methodology for workflow modeling : From business process modeling towards sound workflow specification

Der Einsatz von Workflow Management Systemen (WFMS) in Unternehmen oder Verwaltungen mit einfach strukturierten und automatisierbaren Prozessen bietet ein hohes Potenzial für die Optimierung der Geschäftsprozesse. Für die Koordinierung von Geschäftsprozessen zur Laufzeit benötigen WFMS Workflow-Spezifikationen, die den automatisierbaren Anteil der Geschäftsprozesse in einer maschinenlesbaren Form beschreiben. In der Praxis werden Workflow-Spezifikationen bislang oft unabhängig von bereits existierenden Geschäftsprozessmodellen erstellt. Es existiert kein methodisch fundiertes Vorgehensmodell, dass die Modellierung von Gechäftsprozessen und die Weiterverwendung der erstellten Modelle für die Workflow-Spezifikation unterstützt [GHS95,AaHe02]. Diese Arbeit schlägt ein durchgehendes Vorgehensmodell für die Spezifikation von Workflows in Form von Petrinetzen vor. In dem fünfstufigen Vorgehensmodell wird der Schwerpunkt auf die Modellierung der Kontrollflussaspekte gelegt. Im Rahmen der Modellierung werden die folgenden Schritte unterstützt: 1. Modellierung der Geschäftsprozesse 2. Formalisierung durch Petrinetze 3. Korrektheitstest und Fehlerkorrektur 4. Festlegung und Integration einer Ausführungsstrategie 5. Kontrollverfeinerung. Das Ergebnis ist ein Prozessmodell mit formal fundierter und operationaler Semantik, das zudem sound [Aal98] ist. Ein solches Modell entspricht den Anforderungen an eine Workflow-Spezifikation, deren Verwendung für ein WFMS eine zuverlässige Ausführung der Geschäftsprozesse zur Laufzeit garantiert. In dem ersten Schritt "Modellierung der Geschäftsprozesse" wird die Verwendung semiformaler Modellierungstechniken unterstützt. Diese räumen dem Modellierer Spielraum in der Beschreibung der Prozesse ein. Im nächsten Schritt wird das erstellte Modell intern formalisiert. Die Formalisierung basiert auf einer Abbildung in Petrinetze. Dabei werden Mehrdeutigkeiten nicht eliminiert sondern explizit gemacht. Im dritten Schritt wird das Modell auf Korrektheit überprüft. Dafür werden neue, pragmatische Kriterien eingeführt. Es werden präzise Fehlermeldungen zurückgegeben, die ein iteratives Verbessern der Geschäftsprozessmodelle ermöglichen. In Schritt vier und fünf wird das erstellte Modell auf eine Workflow-Spezifikation abgebildet. Dazu wird auf die bereits erstellte Petrinetz-Formalisierung zurückgegriffen. Die Petrinetze werden zunächst so erweitert, dass eine Ausführungsstrategie festgelegt wird. Durch die Integration der Strategie werden alle vorher noch enthaltenen Mehrdeutigkeiten beseitigt. Abschließend werden Aktivitäten verfeinert. Das vorgeschlagene Vorgehensmodell bindet in der Praxis bewährte Techniken ein und stellt angemessene Kriterien für die Fehlerkorrektur zur Verfügung. Das gesamte Vorgehensmodells ist methodisch unterlegt und greift auf Ergebnisse der Petrinetztheorie, der Spieltheorie und der Controller Synthesis zurück.Supporting business processes with the help of workflow management systems is a necessary prerequisite for many companies to stay competitive. An important task is the specification of workflow, i.e. these parts of a business process that can be supported by a computer system. A workflow specification mainly refines a business process description, incorporating details of the implementation. Despite the close relation between the two process descriptions there is still no satisfactory link between their modeling. This fact mainly relies on the assignment to different peolpe (IT- vs. domain experts) having a different modeling culture. The thesis provides a methodically well-founded approach for the specification of functional workflow requirements. It supports domain experts in their modeling of business processes in a semiformal manner and guides them stepwise towards a formal workflow specification, i.e. helping to bridge the gap between business process modeling and workflow specification. The proposed approach acknowledges the need to describe business processes at different levels of abstraction and combines the advantages of different modeling languages that proved to fit the respective requirements. A semiformal modeling language is proposed to be used by the domain expert. As a prominent example, widely accepted in practice, are Event-driven Process Chains (EPCs). For the definition of the workflow specification we use a particular type of Petri nets. The strength of Petri-nets is their formally founded, operational semantics which enables their use as input format for workflow management systems. The key concept for the proposed process model is the use of pragmatic correctness criteria, namely relaxed soundness and robustness. They fit the correctness requirements within this first abstraction level and make it possible to provide a feedback to the modeler. To support the execution of the business process at run time, the resulting process description must be refined to fit the requirements of a workflow specification. The proposed process model supports this refinement step, applying methods from controller synthesis. A sound WF-system is automatically generated on the basis of a relaxed sound and robust process description. Only within this step do performance issues become relevant. Information that is incorporated relates to a certain scheduling strategy. The late determination of performance issues is especially desirable as corresponding information (the occurrence probability of a certain failure, costs of failure compensation, or priorities) will often only become available at run-time. Their incorporation towards the end of the proposed process model extends the possibility to reuse modeling results under changing priorities. The resulting process description is sound. Using it as a basis for the execution support during run-time reliable processing can be guaranteed

Paving the Road to Business Process Automation

Event-driven Process Chains (EPCs) have been helped to achieve an important role in business process modeling by the commercial success of SAP and ARIS. Both users and IT experts may describe the process to be modelled from their individual perspectives. Event-driven Process Chains, therefore, create a common platform for communication and the analysis of ideas beyond the boundaries of both application and information-system domains. This is accomplished by a semiformal semantics, which gives the participants greater freedom of expression but leads to unintended ambiguities clearly undesirable in later stages of development such as design and implementation. In the literature, several approaches to this problem have been suggested including definitions of a formal semantics for EPCs. We investigate difficulties with such approaches and suggest two solutions: the introduction of a new logical connector (XORAND) and a slight modification of the OR join. This facilitates the design of cor..

Paving the Road to Business Process Automation Abstract- Event-driven Process Chains (EPCs) have been

helped to achieve an important role in business process modeling by the commercial success of SAP and ARIS. Both users and IT experts may describe the process to be modelled from their individual perspectives. Event-driven Process Chains, therefore, create a common platform for communication and the analysis of ideas beyond the boundaries of both application and information-system domains. This is accomplished by a semiformal semantics, which gives the participants greater freedom of expression but leads to unintended ambiguities clearly undesirable in later stages of development such as design and implementation. In the literature, several approaches to this problem have been suggested including definitions of a formal semantics for EPCs. We investigate difficulties with such approaches and suggest two solutions: the introduction of a new logical connector (XORAND) and a slight modification of the OR join. This facilitates the design of correct EPCs while continuing to allow freedom of expression, thus enabling a smoother transition into the more formal phases of software development such as design and implementation. A comparative experiment validates these results. I