A visual analysis of the process of process modeling

The construction of business process models has become an important requisite in the analysis and optimization of processes. The success of the analysis and optimization efforts heavily depends on the quality of the models. Therefore, a research domain emerged that studies the process of process modeling. This paper contributes to this research by presenting a way of visualizing the different steps a modeler undertakes to construct a process model, in a so-called process of process modeling Chart. The graphical representation lowers the cognitive efforts to discover properties of the modeling process, which facilitates the research and the development of theory, training and tool support for improving model quality. The paper contains an extensive overview of applications of the tool that demonstrate its usefulness for research and practice and discusses the observations from the visualization in relation to other work. The visualization was evaluated through a qualitative study that confirmed its usefulness and added value compared to the Dotted Chart on which the visualization was inspired

The use of modelling techniques in the definition of the UK electricity market

The electricity market in Great Britain has been progressively de-regulated over the last fifteen years. Competition has increased at an exponential rate during this period as new companies have begun operating in the market, which is now arguably the most sophisticated and successful competitive utility market in the world. This success has been achieved only with a degree of complexity. There are now more than a hundred “organisations” that must inter operate, where prior to competition there were only about twenty, operating independently. An organisation in this sense is an identifiable business unit carrying out one of more than a dozen defined roles. Within this complex structure individual organisations need to know their responsibilities and the processes for carrying out market transactions must be defined. (e.g. a customer wishing to change supplier) This requirement has been met by the production of an “industry model” which comprises a series of diagrams, formal definitions and English prose. These are delivered using a combination of a proprietary business modelling tool, a database and textual documents. In this paper the model is explored and an attempt made to classify its components by relating them to the Zachman framework. From this the model’s strengths and weaknesses are postulated. These are then tested by means of a survey of the intended users of the model. Finally, conclusions are drawn about the use of modelling techniques for the definition of a utility industry infrastructure, and recommendations for further research are made

A Requirements Analysis of Business-To-Business Integration

Ever fiercer competition has forced enterprises not only to optimize their own operations but also to cooperate with their suppliers and customers along their supply chains. Thus, competition today usually takes place between supply chains and not between individual enterprises. Business-To-Business integration (B2Bi) is a major task of supply chain management (SCM), and although it already has been researched for years, B2Bi is still an area of active research with a plethora of research questions and according approaches. Hence, management of B2Bi projects necessitates the identification of relevant requirements which is a far from trivial task. This paper identifies a core set of B2Bi challenges and deduces a comprehensive set of B2Bi requirements that are particularly useful for tackling the challenges identified. The derivation of B2Bi requirements follows an inductive approach that is based on the analysis of integration standards, reference architectures and related literature. In order to operationalize the B2Bi requirements for further analysis and concrete B2Bi projects, the requirements are classified according to the abstraction layers of a B2Bi schema. Thus, this report not only offers a requirements check list for B2Bi projects but also helps in deciding when to address which requirements during the course of a B2Bi project

Enterprise collaborative portal for business process modelling

The business processes of manufacturing enterprises have to be dynamic, especially when highly customised products are manufactured or different projects run simultaneously. Another trend in contemporary manufacturing is the necessity for co-operation between geographically dispersed teams. This research presents a new method for modelling business processes enabling co-ordination of dynamic workflows. This thesis focuses first on Business Process Modelling (BPM) techniques and outlines the limitations of the existing methodologies. Similarly, an overview of Enterprise Collaborative Portals (ECP) is conducted and a method for collaborative authoring of dynamic workflows is discussed. Next, the thesis introduces the concept of business process models with feedback based on the Product/process (P/p) methodology. An extension to this methodology, validated through a case study, is developed to overcome some of its limitations. The performance of the proposed extension is analysed and compared with that of the Unified Modelling Language (UML) and its advantages are highlighted. The case study used to demonstrate the capabilities of the proposed approach involves the development of a golf training device prototype using Rapid Prototyping technology. The proposed process modelling methodology is validated in PTC Windchill EIMS, which also serves as a platform for the implementation of the enterprise collaborative portal. The thesis also proposes a benchmarking method for business processes based on the work of Spendolini and the extended P/p methodology. Benchmarking factors are identified and the proposed benchmarking methodology is validated with an example. The benefits of the proposed benchmarking methodology are outlined. Finally, a method for modelling business processes enabling co-ordination of dynamic workflows is presented. The same case study is used to illustrate the algorithm for collaborative authoring of the business process model. As a platform for the implementation of the proposed method, an object-oriented architecture is adopted.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Enterprise collaborative portal for business process modelling

The business processes of manufacturing enterprises have to be dynamic, especially when highly customised products are manufactured or different projects run simultaneously. Another trend in contemporary manufacturing is the necessity for co-operation between geographically dispersed teams. This research presents a new method for modelling business processes enabling co-ordination of dynamic workflows. This thesis focuses first on Business Process Modelling (BPM) techniques and outlines the limitations of the existing methodologies. Similarly, an overview of Enterprise Collaborative Portals (ECP) is conducted and a method for collaborative authoring of dynamic workflows is discussed. Next, the thesis introduces the concept of business process models with feedback based on the Product/process (P/p) methodology. An extension to this methodology, validated through a case study, is developed to overcome some of its limitations. The performance of the proposed extension is analysed and compared with that of the Unified Modelling Language (UML) and its advantages are highlighted. The case study used to demonstrate the capabilities of the proposed approach involves the development of a golf training device prototype using Rapid Prototyping technology. The proposed process modelling methodology is validated in PTC Windchill EIMS, which also serves as a platform for the implementation of the enterprise collaborative portal. The thesis also proposes a benchmarking method for business processes based on the work of Spendolini and the extended P/p methodology. Benchmarking factors are identified and the proposed benchmarking methodology is validated with an example. The benefits of the proposed benchmarking methodology are outlined. Finally, a method for modelling business processes enabling co-ordination of dynamic workflows is presented. The same case study is used to illustrate the algorithm for collaborative authoring of the business process model. As a platform for the implementation of the proposed method, an object-oriented architecture is adopted

Towards the construction of workflow-suitable conceptual modelling techniques

Despite their high-level and graphical nature, workflow specifications require a significant amount of implementation detail - for example application programming interface, database access and programming mechanisms for information flow - for a more comprehensive validation than is currently possible. This is currently recognized as a deficiency in workflow conceptualization. Although conceptual modelling techniques are available which are expressive, comprehensive and precise enough, we believe, their concepts and features are not specialized enough for workflow domains. In this paper, we offer a comparative insight into techniques which characterize different aspects and approaches of workflow specifications. These are: structured process modelling, object-oriented modelling, behavioural process modelling and business-oriented modelling. In particular, we determine gaps for workflows capturing operational business transaction processing, for example those of insurance claims, bank loans and government-related registration. For technique construction, we describe five workflow suitability principles

Investigating the process of process modeling and its relation to modeling quality : the role of structured serialization

Lately, the focus of organizations is changing fundamentally. Where they used to spend almost exclusively attention to results, in terms of goods, services, revenue and costs, they are now concerned about the efficiency of their business processes. Each step of the business processes needs to be known, controlled and optimized. This explains the huge effort that many organizations currently put into the mapping of their processes in so-called (business) process models. Unfortunately, sometimes these models do not (completely) reflect the business reality or the reader of the model does not interpret the represented information as intended. Hence, whereas on the one hand we observe how organizations are attaching increasing importance to these models, on the other hand we notice how the quality of process models in companies often proves to be insufficient. The doctoral research makes a significant contribution in this context. This work investigates in detail how people create process models and why and when this goes wrong. A better understanding of current process modeling practice will form the basis for the development of concrete guidelines that result in the construction of better process models in the future. The first study investigated how we can represent the approach of different modelers in a cognitive effective way, in order to facilitate knowledge building. For this purpose the PPMChart was developed. It represents the different operations of a modeler in a modeling tool in such a way that patterns in their way of working can be detected easily. Through the collection of 704 unique modeling executions (a joint contribution of several authors in the research domain), and through the development of a concrete implementation of the visualization, it became possible to gather a great amount of insights about how different people work in different situations while modeling a concrete process. The second study explored, based on the discovered modeling patterns of the first study, the potential relations between how process models were being constructed and which quality was delivered. To be precise, three modeling patterns from the previous study were investigated further in their relation with the understandability of the produced process model. By comparing the PPMCharts that show these patterns with corresponding process models, a connection was found in each case. It was noticed that when a process model was constructed in consecutive blocks (i.e., in a structured way), a better understandable process model was produced. A second relation stated that modelers who (frequently) moved (many) model elements during modeling usually created a less understandable model. The third connection was found between the amount of time spent at constructing the model and a declining understandability of the resulting model. These relations were established graphically on paper, but were also confirmed by a simple statistical analysis. The third study selected one of the relations from the previous study, i.e., the relation between structured modeling and model quality, and investigated this relation in more detail. Again, the PPMChart was used, which has lead to the identification of different ways of structured process modeling. When a task is difficult, people will spontaneously split up this task in sub-tasks that are executed consecutively (instead of simultaneously). Structuring is the way in which the splitting of tasks is handled. It was found that when this happens consistently and according to certain logic, modeling became more effective and more efficient. Effective because a process model was created with less syntactic and semantic errors and efficient because it took less time and modeling operations. Still, we noticed that splitting up the modeling in sub-tasks in a structured way, did not always lead to a positive result. This can be explained by some people structuring the modeling in the wrong way. Our brain has cognitive preferences that cause certain ways of working not to fit. The study identified three important cognitive preferences: does one have a sequential or a global learning style, how context-dependent one is and how big one’s desire and need for structure is. The Structured Process Modeling Theory was developed, which captures these relations and which can form the basis for the development of an optimal individual approach to process modeling. In our opinion the theory has the potential to also be applicable in a broader context and to help solving various types of problems effectively and efficiently

Towards the Construction of Workflow Suitable Conceptual Modelling Techniques

Despite their high-level and graphical nature, workflow specifications require a significant amount of implementation detail - e.g. application programming interface, database access and programming mechanisms for information flow - for a more comprehensive validation than is currently possible. This is currently recognised as a defficiency in workflow conceptualisation. Although conceptual modelling techniques are available which are expressive, comprehensive and precise enough, we believe, their concepts and features are not specialised enough for workflow domains. In this paper, we offer a comparative insight into techniques which characterise different aspects and approaches of workflow specifications. These are: structured process modelling, object-oriented modelling, behavioural process modelling and business-oriented modelling. In particular, we determine gaps for workflows capturing operational business transaction processing, e.g. those of insurance claims, bank loans and gov..

The CHORCH Approach: How to Model B2Bi Choreographies for Orchestration Execution

The establishment and implementation of cross-organizational business processes is an implication of today's market pressure for efficiency gains. In this context, Business-To-Business integration (B2Bi) focuses on the information integration aspects of business processes. A core task of B2Bi is providing adequate models that capture the message exchanges between integration partners. Following the terminology used in the SOA domain, such models will be called choreographies in the context of this work. Despite the enormous economic importance of B2Bi, existing choreography languages fall short of fulfilling all relevant requirements of B2Bi scenarios. Dedicated B2Bi choreography standards allow for inconsistent outcomes of basic interactions and do not provide unambiguous semantics for advanced interaction models. In contrast to this, more formal or technical choreography languages may provide unambiguous modeling semantics, but do not offer B2Bi domain concepts or an adequate level of abstraction. Defining valid and complete B2Bi choreography models becomes a challenging task in the face of these shortcomings. At the same time, invalid or underspecified choreography definitions are particularly costly considering the organizational setting of B2Bi scenarios. Models are not only needed to bridge the typical gap between business and IT, but also as negotiation means among the business users of the integration partners on the one hand and among the IT experts of the integration partners on the other. Misunderstandings between any two negotiation partners potentially affect the agreements between all other negotiation partners. The CHORCH approach offers tailored support for B2Bi by combining the strengths of both dedicated B2Bi standards and formal rigor. As choreography specification format, the ebXML Business Process Specification Schema (ebBP) standard is used. ebBP provides dedicated B2Bi domain concepts such as so-called BusinessTransactions (BTs) that abstractly specify the exchange of a request business document and an optional response business document. In addition, ebBP provides a format for specifying the sequence of BT executions for capturing complex interaction scenarios. CHORCH improves the offering of ebBP in several ways. Firstly, the execution model of BTs which allows for inconsistent outcomes among the integration partners is redefined such that only consistent outcomes are possible. Secondly, two binary choreography styles are defined as B2Bi implementation contract format in order to streamline implementation projects. Both choreography styles are formalized and provided with a formal execution semantics for ensuring unambiguity. In addition, validity criteria are defined that ensure implementability using BPEL-based orchestrations. Thirdly, the analysis of the synchronization dependencies of complex B2Bi scenarios is supported by means of a multi-party choreography style combined with an analysis framework. This choreography style also is formalized and standard state machine semantics are reused in order to ensure unambiguity. Moreover, validity criteria are defined that allow for analyzing corresponding models for typical multi-party choreography issues. Altogether, CHORCH provides choreography styles that are B2Bi adequate, simple, unambiguous, and implementable. The choreography styles are B2Bi adequate in providing B2Bi domain concepts, in abstracting from low-level implementation details and in covering the majority of real-world B2Bi scenarios. Simplicity is fostered by using state machines as underlying specification paradigm. This allows for thinking in the states of a B2Bi scenario and for simple control flow structures. Unambiguity is provided by formal execution semantics whereas implementability (for the binary choreography styles) is ensured by providing mapping rules to BPEL-based implementations. The validation of CHORCH's choreography styles is performed in a twofold way. Firstly, the implementation of the binary choreography styles based on Web Services and BPEL technology is demonstrated which proves implementability using relatively low-cost technologies. Moreover, the analysis algorithms for the multi-party choreography styles are validated using a Java-based prototype. Secondly, an abstract visualization of the choreography styles based on BPMN is provided that abstracts from the technicalities of the ebBP standard. This proves the amenability of CHORCH to development methods that start out with visual models. CHORCH defines how to use BPMN choreographies for the purpose of B2Bi choreography modeling and translates the formal rules for choreography validity into simple composition rules that demonstrate valid ways of connecting the respective modeling constructs. In summary, CHORCH allows integration partners to start out with a high-level visual model of their interactions in BPMN that identifies the types and sequences of the BusinessTransactions to be used. For multi-party choreographies, a framework for analyzing synchronization dependencies then is available. For binary choreographies, an ebBP refinement can be derived that fills in the technical parameters that are needed for deriving the implementation. Finally, Web Services and BPEL based implementations can be generated. Thus, CHORCH allows for stepwise closing the semantic gap between the information perspective of business process models and the corresponding implementations. It is noteworthy that CHORCH uses international standards throughout all relevant layers, i.e., BPMN, ebBP, Web Services and BPEL, which helps in bridging the heterogeneous IT landscapes of B2Bi partners. In addition, the adoption of core CHORCH deliverables as international standards of the RosettaNet community give testament to the practical relevance and promise dissemination throughout the B2Bi community.Betriebsübergreifende Geschäftsprozessintegration ist eine logische Konsequenz allgegenwärtigen Wettbewerbsdrucks. In diesem Kontext fokussiert Business-To-Business integration (B2Bi) auf die Informationsaustausche zwischen Unternehmen. Eine B2Bi-Kernanforderung ist die Bereitstellung adäquater Modelle zur Spezifikation der Nachrichtenaustausche zwischen Integrationspartnern. Diese werden im Rahmen dieser Arbeit in Anlehnung an Service-orientierte Architekturen (SOA)-Terminologie Choreographien genannt. Bestehende Choreographiesprachen decken die Anforderungen an B2Bi-Choreographien nicht vollständig ab. Dedizierte B2Bi-Choreographiestandards definieren inkonsistente Austauschprozeduren für grundlegende Interaktionen und nur unvollständige Semantiken für fortgeschrittene Interaktionen. Formale oder Technik-getriebene Choreographiesprachen bieten die benötigte Präzision, lassen aber Domänenkonzepte vermissen oder operieren auf einer niedrigen Abstraktionsebene. Angesichts solcher Mängel wird die Spezifikation valider und vollständiger B2Bi-Choreographien zu einer echten Herausforderung. Gleichzeitig sind mangelhafte Choreographiemodelle gerade im B2Bi-Bereich besonders problematisch, da diese nicht nur zwischen Fach- und IT-Abteilung, sondern auch über Unternehmensgrenzen hinweg eingesetzt werden. Der CHORCH-Ansatz schafft an dieser Stelle mittels maßgeschneiderter Choreographien Abhilfe, welche die Vorteile von B2Bi-Choreographien und von formalen Ansätzen kombinieren. Als Ausgangspunkt wird das ebXML Business Process Specification Schema (ebBP) verwendet, das als B2Bi-Choreographiestandard Domänenkonzepte wie zum Beispiel sogenannte BusinessTransactions (BTs) bietet. Eine BT ist der Basisbaustein von B2Bi-Choreographien und spezifiziert den Austausch eines Geschäftsdokuments sowie eines optionalen Antwortdokuments. Darüber hinaus bietet ebBP ein Format zur Spezifikation von BT-Kompositionen zur Unterstützung komplexer Interaktionen. CHORCH erweitert ebBP wie folgt. Erstens, das Ausführungsmodell für BTs wird neu definiert, um inkonsistente Ergebniszustände zu eliminieren. Zweitens, für Entwicklungsprojekte werden zwei binäre Choreographieklassen definiert, die als B2Bi-Implementierungskontrakt dienen sollen. Die Formalisierung beider Klassen sowie formale operationale Semantiken gewährleisten Eindeutigkeit, während Validitätskriterien die Ausführbarkeit entsprechender Modelle mittels BPEL-basierter Orchestrationen garantieren. Drittens, zur Analyse der Synchronisationsbeziehungen komplexer B2Bi-Szenarien wird eine Multi-Party-Choreographieklasse nebst Analyseframework definiert. Wiederum wird für diese Klasse eine Formalisierung definiert, die mittels Standard-Zustandsautomatensemantik Eindeutigkeit gewährleistet. Ferner garantieren Validitätskriterien die Anwendbarkeit der definierten Analysealgorithmen. Insgesamt bieten die Choreographieklassen des CHORCH-Ansatzes ein B2Bi-adäquates, einfaches, eindeutiges und implementierbares Modell der Nachrichtenaustausche zwischen B2Bi-Partnern. B2Bi-Adäquatheit wird durch Verwendung von B2Bi-Domänenkonzepten, Abstraktion von rein technischen Kommunikationsdetails und Abdeckung der meisten praktisch relevanten B2Bi-Szenarien gewährleistet. Einfachheit ist ein Ausfluss der Verwendung eines Zustandsmaschinen-basierten Modellierungsparadigmas, das die Definition des Interaktionsfortschritts in Form von Zuständen sowie einfache Kontrollflussstrukturen ermöglicht. Eindeutigkeit wird durch die Verwendung formaler Semantiken garantiert, während Implementierbarkeit (für die beiden binären Choreographieklassen) durch Angabe von Mapping-Regeln auf BPEL-Orchestrationen sichergestellt wird. Die Validierung der CHORCH-Choreographieklassen erfolgt in zweierlei Hinsicht. Erstens, die Implementierbarkeit der binären Choreographieklassen mit Hilfe von Web Services und BPEL wird durch die Definition entsprechender Mappingregeln belegt. Weiterhin wird das Analyseframework der Multi-Party-Choreographieklasse als Java-Prototyp implementiert. Zweitens, für alle Choreographieklassen wird eine abstrakte Visualisierung auf BPMN-Basis definiert, die von diversen technischen Parametern des ebBP-Formats abstrahiert. Damit wird die Integrierbarkeit der CHORCH-Choreographieklassen in Entwicklungsansätze, die ein visuelles Modell als Ausgangspunkt vorsehen, belegt. CHORCH definiert, wie sogenannte BPMN-Choreographien zum Zweck der B2Bi-Choreographiemodellierung zu verwenden sind und übersetzt die Validitätskriterien der CHORCH-Choreographieklassen in einfache Modell-Kompositionsregeln. In seiner Gesamtheit bietet CHORCH somit einen Ansatz, mit Hilfe dessen B2Bi-Partner zunächst die Typen und zulässigen Reihenfolgen ihrer Geschäftsdokumentaustausche auf Basis eines abstrakten visuellen BPMN-Modells identifizieren können. Im Fall von Multi-Party-Choreographien steht dann ein Framework zur Analyse der Synchronisationsbeziehungen zwischen den Integrationspartnern zur Verfügung. Im Fall von binären Choreographien können ebBP-Verfeinerungen abgeleitet werden, welche die Modelle um technische Parameter anreichern, die zur Ableitung einer Implementierung benötigt werden. Diese ebBP-Modelle sind in Web Services- und BPEL-basierte Implementierungen übersetzbar. Damit erlaubt CHORCH die schrittweise Überbrückung der semantischen Lücke zwischen der Informationsaustauschperspektive von Geschäftsprozessmodellen und den zugehörigen Implementierungen. Ein beachtenswerter Aspekt des CHORCH-Ansatzes ist die Verwendung einschlägiger internationaler Standards auf allen Abstraktionsebenen, im Einzelnen BPMN, ebBP, Web Services und BPEL. Die Verwendung von Standards trägt dem heterogenen Umfeld von B2Bi-Szenarien Rechnung. Zusätzlich wurden Kernergebnisse des CHORCH-Ansatzes als internationale Standards der RosettaNet-B2Bi-Community veröffentlicht. Dies belegt die praktische Relevanz des Ansatzes und fördert die Verbreitung innerhalb der B2Bi-Community