EPK-Validierung zur Modellierungszeit in der bflow* Toolbox

Dieser Beitrag stellt den Prototyp eines EPK-Modellierungswerkzeugs vor, der Verfahren zur Suche in Graphen nutzt, um Fehler in EPK-Modellen zu identifizieren. Dieses Werkzeug hat gegenüber bekannten Ansätzen zwei Vorzüge: Zum einen ist es nicht notwendig, den (oft sehr großen) Zustandsraum aller möglichen Abläufe in einem Modell zu berechnen. Zum Zweiten kann unser Ansatz auch auf noch nicht vollständig fertiggestellte Modelle angewendet werden. Der Modellierer wird sofort zur Modellierungszeit über mögliche Probleme sowie deren Ursachen informiert und erhält unmittelbare Vorschläge zur Beseitigung der Probleme

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

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

Ähnlichkeitsbasierte Modellierungsunterstützung für Geschäftsprozesse

In der Arbeit wird erstmalig ein Unterstützungssystem für die Geschäftsprozessmodellierung vorgestellt, das dem Benutzer zu seinem gerade editierten Prozess Prozessfragmente aus einer Bibliothek vorschlägt. Der Vorschlag von Prozessfragmenten erfolgt auf Basis von Geschäftsregeln und Korrektheits- und Semantikkriterien. Zusätzlich werden Ähnlichkeitsmaße definiert, durch die Prozessteile mit unterschiedlichem Vokabular zur Beschreibung gleicher Prozessobjekte wieder verwendet werden können

SKIL 2012 - Dritte Studentenkonferenz Informatik Leipzig: Dritte Studentenkonferenz Informatik Leipzig 2012Leipzig, Deutschland, 25. September 2012Tagungsband

Die Studentenkonferenz des Instituts für Informatik der Universität Leipzig richtet sich an alle Studierende der Informatik sowie angrenzender Disziplinen mit Schwerpunkt Informatik. Die Konferenz setzt sich zum Ziel, Studierenden eine Plattform zu bieten, ihre Projekte und Forschungsvorhaben vorzustellen. Im Mittelpunkt der Tagung stehen studentische Projekte aus Seminaren, Praktika, Abschlussarbeiten oder extracurricularen Aktivitäten. Die SKIL bietet den Studierenden die Möglichkeit, vor einem akademischen Publikum Ideen, Pläne und Ergebnisse zu präsentieren und zu diskutieren. Die Organisation der Konferenz unterscheidet sich nur wenig von wissenschaftlichen Fachkonferenzen. Die Einreichung der Beiträge erfolgte mit Hilfe eines Conference Systems; anschließend wurden alle Einreichungen durch das Programmkomitee bewertet. Angenommene Beiträge wurden am Konferenztag vorgestellt und in dem hier vorliegendem Tagungsband publiziert. Die dritte Studentenkonferenz Informatik Leipzig 2012 fand im Rahmen der SABRE am 25.09.2012 statt. Die SABRE ist eine internationale integrative Multikonferenz auf dem Gebiet zukunftsweisender Technologien der Softwareentwicklung, Agententechnologien und Servicecomputing für Wirtschaft, Entwicklung und Wissenschaft. Die SKIL 2012 wurde am Institut für Angewandte Informatik (InfAI) e.V. organisiert. Initiiert und maßgeblich realisiert wurde die SKIL 2012 von den Forschungsgruppen Agile Knowledge Engineering and Semantic Web (AKSW) und Service Science and Technology (SeSaT) der Universität Leipzig

Model-based Specification of RESTful SOA on the Basis of Flexible SOM Business Process Models

Die Umwelt von Unternehmen zeichnet sich in der heutigen Zeit durch eine hohe Dynamik und stetig wachsende Komplexität aus. In diesem Umfeld ist die rasche Anpassung der betrieblichen Leistungserstellung eine notwendige Konsequenz, um die Wettbewerbsfähigkeit eines Unternehmens und dadurch sein Überleben sicherzustellen. Bei der evolutionären Anpassung betrieblicher Systeme ist die Flexibilität betrieblicher Geschäftsprozesse ein zentraler Erfolgsfaktor. In der Vergangenheit führten flexible Geschäftsprozesse jedoch meist zu verringerten Automatisierungsgraden der unterstützenden Anwendungssysteme (AwS), und damit zu Inkonsistenzen im betrieblichen Informationssystem. Die Bereitstellung von Lösungsansätzen für eine zügige Entwicklung von AwS und ihre Ausrichtung auf veränderte fachliche Anforderungen ist Aufgabe der Systementwicklung. Bisherige Konzepte, Hilfsmittel und IT-Architekturen beantworten die Frage nach einer ganzheitlichen und systematischen Gestaltung und Pflege von AwS und deren konsistenten Abstimmung mit flexiblen Geschäftsprozessen jedoch methodisch nicht adäquat. Als Antwort auf diese Frage wird in der vorliegenden Arbeit die SOM-R-Methodik konstruiert, einer modellbasierten Entwicklungsmethodik auf Basis des Semantischen Objektmodells (SOM) für die ganzheitliche Entwicklung und Weiterentwicklung von RESTful SOA auf Basis flexibler SOM-Geschäftsprozessmodelle. Mit der RESTful SOA wird durch die Gestaltung service-orientierter Architekturen (SOA) nach dem Architekturstil REST eine Zielarchitektur für flexibel anpassbare AwS entworfen. Ein wesentlicher Beitrag dieser Arbeit besteht in der methodisch durchgängigen Zusammenführung der fachlichen Geschäftsprozessebene mit den softwaretechnischen Ebenen der RESTful SOA. Durch die Definition eines gemeinsamen Begriffssystems und einheitlichen Architekturrahmens wird eine modellbasierte Abbildung von Konzepten des SOM-Geschäftsprozessmodells in die Spezifikationen von Ressourcen sowie weiteren Bausteinen des AwS realisiert. Die Modellierung von Struktur und Verhalten der Geschäftsprozesse mit SOM ist dafür eine wichtige Voraussetzung. Der zweite zentrale Beitrag dieser Arbeit ist ein modellbasierter Lösungsansatz zur Unterstützung der Pflege von betrieblichen Informationssystemen. Die SOM-R-Methodik wird hierzu um ein Vorgehensmodell sowie Ansätze zur Analyse der Auswirkungen von Strukturänderungen und der Ermittlung von Assistenzinformationen für die Weiterentwicklung von AwS erweitert. Die werkzeuggestützte Bereitstellung dieser Informationen leitet den Systementwickler bei der zielgerichteten Anpassung von RESTful SOA, bzw. der dazu korrespondierenden Modellsysteme, an die Änderungen flexibler SOM-Geschäftsprozessmodelle an. Die praktische Anwendung der SOM-R-Methodik wird im Rahmen einer Fallstudie demonstriert und erläutert.Strong dynamics and a continuous increase of complexity characterize a company’s environment at present times. In such an environment, the rapid adaptation of the production and delivery of goods and services is a necessary consequence to ensure the survival of a company. A key success factor for the evolutionary adaptation of a business system is the flexibility of its business processes. In the past, flexible business processes generally lead to a reduced level of automation in the supported application system, and consequently to inconsistencies in the business information system. The provision of appropriate solutions for the quick development of application systems and their alignment to changing business requirements is a central task of the system development discipline. Current concepts, tools and IT architectures do not give a methodically adequate answer to the question of a holistic and systematic design and maintenance of application systems, and their consistent alignment with flexible business processes. As an answer to this question, the SOM-R methodology, a model-based development method based on the Semantic Object Model (SOM) for the holistic development and maintenance of RESTful SOA on the basis of flexible SOM business process models, is designed in this work. Through applying the architectural style REST to service oriented architectures (SOA), the RESTful SOA is designed as the target software architecture of flexible adaptable application systems. The first main contribution of this research is a methodically consistent way for bridging the gap between the business process layer and the software technical layers of the RESTful SOA. Defining a common conceptual and architectural framework realizes the mapping of the concepts of SOM business process models to the model-based specification of resources and other modules of the application system. Modeling the structure and behavior of business processes with SOM is an important prerequisite for that. The second main contribution of this work is a model-based approach to supporting the maintenance of business information systems. Therefore, various approaches for analyzing the effect of structural changes and deriving assistance information to support the application system maintenance extend the SOM-R methodology. The tool-supported provision of this information guides the system developer in adapting a RESTful SOA, or rather the corresponding modeling system, to the structural changes of flexible SOM business process models. A case study demonstrates and explains the practical application of the SOM-R methodology

Linguistic Refactoring of Business Process Models

In the past decades, organizations had to face numerous challenges due to intensifying globalization and internationalization, shorter innovation cycles and growing IT support for business. Business process management is seen as a comprehensive approach to align business strategy, organization, controlling, and business activities to react flexibly to market changes. For this purpose, business process models are increasingly utilized to document and redesign relevant parts of the organization's business operations. Since companies tend to have a growing number of business process models stored in a process model repository, analysis techniques are required that assess the quality of these process models in an automatic fashion. While available techniques can easily check the formal content of a process model, there are only a few techniques available that analyze the natural language content of a process model. Therefore, techniques are required that address linguistic issues caused by the actual use of natural language. In order to close this gap, this doctoral thesis explicitly targets inconsistencies caused by natural language and investigates the potential of automatically detecting and resolving them under a linguistic perspective. In particular, this doctoral thesis provides the following contributions. First, it defines a classification framework that structures existing work on process model analysis and refactoring. Second, it introduces the notion of atomicity, which implements a strict consistency condition between the formal content and the textual content of a process model. Based on an explorative investigation, we reveal several reoccurring violation patterns are not compliant with the notion of atomicity. Third, this thesis proposes an automatic refactoring technique that formalizes the identified patterns to transform a non-atomic process models into an atomic one. Fourth, this thesis defines an automatic technique for detecting and refactoring synonyms and homonyms in process models, which is eventually useful to unify the terminology used in an organization. Fifth and finally, this thesis proposes a recommendation-based refactoring approach that addresses process models suffering from incompleteness and leading to several possible interpretations. The efficiency and usefulness of the proposed techniques is further evaluated by real-world process model repositories from various industries. (author's abstract