A Method for Bridging the Gap between Business Process Models and Services

Many proposals in the literature are consensual in making business processes as the starting point of a Service-Oriented system development lifecycle. However, there is no systematic approach that can be easily applied in practice. We argue that an effective SOA approach requires an integrated view of organizational business processes, where services are explicitly related to business models components. Accomplishing these requirements is vital for bridging the gap between business needs and their supporting services. This work proposes a top-down method for service identification and analysis from business process models. Each step of the method implements a set of heuristics that are also specified. The method is presented in detail, and constitutes a systematic guide for service identification and analysis. A case study is conducted to demonstrate the use of the method in practice

A System for Deduction-based Formal Verification of Workflow-oriented Software Models

The work concerns formal verification of workflow-oriented software models using deductive approach. The formal correctness of a model's behaviour is considered. Manually building logical specifications, which are considered as a set of temporal logic formulas, seems to be the significant obstacle for an inexperienced user when applying the deductive approach. A system, and its architecture, for the deduction-based verification of workflow-oriented models is proposed. The process of inference is based on the semantic tableaux method which has some advantages when compared to traditional deduction strategies. The algorithm for an automatic generation of logical specifications is proposed. The generation procedure is based on the predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea for the approach is to consider patterns, defined in terms of temporal logic,as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between intuitiveness of the deductive reasoning and the difficulty of its practical application in the case when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing our understanding of, the deduction-based formal verification of workflow-oriented models.Comment: International Journal of Applied Mathematics and Computer Scienc

A methodology for CIM modelling and its transformation to PIM

Developing with Model Driven Architecture is nowadays widely used starting with a CIM that can be transformed to models of low abstraction (PIM, PSM) that can be used to generate the code. The CIM represents the highest level of abstraction of the approach which allowing modeling system’s requirement. However, there is no standard method to build this type of model or how to transform it to lower level of abstraction (PIM) which is considered the final objective of building such model. This paper provides an approach to build the CIM that can be transformed (semi-) automatically later to lower levels of abstraction in PIMs.  Thereby, the proposed architecture represents both the static and dynamic view of the system based on the business process model. Meanwhile, the PIM level is represented by the Domain Diagram class and Sequence Diagram of Systems External behavior. Thus, the proposal helps bridging the gap between those that are experts about the domain and its requirements, and those that are experts of the system design and development. Keywords: CIM to PIM transformation; MDA; software process

Cost allocation and risk management in renewable electricity networks

As part of the efforts to mitigate climate change, there has been rapidly increasing share of renewable power generation in the European electricity system. In the interest of bridging the gap between corporate and academic research interests, this PhD project presents a research collaboration on renewable electricity systems between Aarhus University and the energy trading company Danske Commodities.The first part of this dissertation has the perspective of a central planner exploring the optimal system design based on simplified fundamental models of the European electricity system. The aim is to determine the optimal locations and capacities of renewable generation sources while keeping the system reliable and cost-efficient. A subsequent step is to allocate the costs associated with the investments needed for the optimal electricity system of the future. I apply power flow tracing techniques for allocation of transmission system usage, cost allocation of generation capacities as well as consumption-based carbon accounting.In the second part, the perspective is changed to that of individual investors in renewable generation technologies, specifically wind turbines. I apply econometric models in the form of copulas to jointly model wind power production and power spot price. The goal is for an energy trading company to minimize the risk associated with long-term wind power purchase agreements, which, in turn, minimizes the risk of investors in these wind turbines. This provides additional incentives for similar investments and thereby increasing the share of renewable power generation in the European electricity system.Applying physical and financial models to different aspects of the European electricity system has led to insights on the differences between the two modeling perspectives. The central planning perspective is useful when exploring pragmatic solutions to the overall design of the European electricity system of the future, but provides no guidance for the individual actors in the system. In contrast, an investor in renewable generating assets focuses on a set of business goals with little regard to their impact on the overall electricity system.The link between the two perspectives is the policy makers, who regulate the electricity system. The results from system models using the central planning perspective can be used by the policy makers as guidelines to provide the right incentives for investors, and other actors in the system, such that the current European electricity system develops towards the optimal and sustainable system of the future

Business Process Quality Management

During the past 25 years, research in the field of business process management as well as the practical adoption of corresponding methods and tools have made substantial progress. In particular, this development was driven by the insight that well-managed business processes enable organizations to better serve their stakeholders, save costs and, ultimately, realize competitive advantage. It is therefore not surprising that improving business processes ranks high on the list of priorities of organizations. In practice, this challenge is currently being addressed through approaches such as benchmarking, industry-specific best practice reference models or process reengineering heuristics. However, no systematic and generic proposition towards managing business process quality has achieved broad acceptance yet. To address this gap, this thesis contributes to the field of business process quality management with the results lined out in the following. First, it defines a concise notion of business process quality based on organizational targets, and applies it to a sample real-world case. This definition is not specific to any particular application field, and thus constitutes a vital first step towards systematic and generic business process quality management. On that basis, an approach is developed to model business objectives in the sense of the requirements that shall be fulfilled by the results of a business process. In turn, this approach enables appraising if a business process achieves its business objective as one of the core criteria relevant to business process quality. Further, this thesis proposes extensions to common business process meta-models which enable quality-aware business process modeling, and demonstrates how fundamental quality characteristics can be derived from corresponding models. At this stage, the results achieved have enabled an advanced understanding of business process quality. By means of these insights, a model of business process quality attributes with corresponding quality criteria is developed. This model complements and exceeds preceding approaches since, for the first time, it systematically derives relevant quality attributes from a business process management perspective instead of adopting these from related fields. It enables appraising business process quality independently of a particular field of application, and deriving recommendations to improve the processes assessed. To enable practical adoption of the concepts developed, the integration of procedures and functionality relevant to quality in business process management lifecycles and system landscapes is discussed next. To establish the contribution of this thesis beyond the previous state of the art, the proposed quality model is then compared to existing business process reengineering practices as well as propositions in the area of business process quality. Further, quality attributes are employed to improve a substantial real-world business process. This experience report demonstrates how quality management practices can be applied even if quality-aware system landscapes are not in place yet. It thus contributes to bridging the gap between the research results proposed in this thesis and the conditions present in practice today. Finally, remaining limitations with regard to the research objectives pursued are discussed, and challenges for future research are lined out. Addressing the latter will enable further leveraging the potentials of business process quality management

The uses of qualitative data in multimethodology:Developing causal loop diagrams during the coding process

In this research note we describe a method for exploring the creation of causal loop diagrams (CLDs) from the coding trees developed through a grounded theory approach and using computer aided qualitative data analysis software (CAQDAS). The theoretical background to the approach is multimethodology, in line with Minger’s description of paradigm crossing and is appropriately situated within the Appreciate and Analyse phases of PSM intervention. The practical use of this method has been explored and three case studies are presented from the domains of organisational change and entrepreneurial studies. The value of this method is twofold; (i) it has the potential to improve dynamic sensibility in the process of qualitative data analysis, and (ii) it can provide a more rigorous approach to developing CLDs in the formation stage of system dynamics modelling. We propose that the further development of this method requires its implementation within CAQDAS packages so that CLD creation, as a precursor to full system dynamics modelling, is contemporaneous with coding and consistent with a bridging strategy of paradigm crossing

Bridging the Gap: Credit Scores and Economic Opportunity in Illinois Communities of Color

This report analyzed credit score data from a major national credit bureau in large Illinois zip codes and found significant disparities in credit characteristics between communities of color and predominantly white communities, as well as between major metropolitan areas and non-metropolitan areas. The report explains the importance of credit scores and how they are used, and recommends several policies to improve economic opportunity for people and communities impacted by low credit scores. Included is an appendix with demographics and credit score averages and distributions for large Illinois zip codes

SOA-Driven Business-Software Alignment

The alignment of business processes and their supporting application software is a major concern during the initial software design phases. This paper proposes a design approach addressing this problem of business-software alignment. The approach takes an initial business model as a basis in deriving refined models that target a service-oriented software implementation. The approach explicitly identifies a software modeling level at which software modules are represented as services in a technology-platformindependent way. This model-driven service-oriented approach has the following properties: (i) there is a forced alignment (consistency) between business processes and supporting applications; (ii) changes in the business environment can be traced to the application and vice versa, via model relationships; (iii) the software modules modeled as services have a high degree of autonomy; (iv) migration to new technology platforms can be supported through the platform independent software model