Ontology-based patterns for the integration of business processes and enterprise application architectures

Increasingly, enterprises are using Service-Oriented Architecture (SOA) as an approach to Enterprise Application Integration (EAI). SOA has the potential to bridge the gap between business and technology and to improve the reuse of existing applications and the interoperability with new ones. In addition to service architecture descriptions, architecture abstractions like patterns and styles capture design knowledge and allow the reuse of successfully applied designs, thus improving the quality of software. Knowledge gained from integration projects can be captured to build a repository of semantically enriched, experience-based solutions. Business patterns identify the interaction and structure between users, business processes, and data. Specific integration and composition patterns at a more technical level address enterprise application integration and capture reliable architecture solutions. We use an ontology-based approach to capture architecture and process patterns. Ontology techniques for pattern definition, extension and composition are developed and their applicability in business process-driven application integration is demonstrated

Service architecture design for E-Businesses: A pattern-based approach

E-business involves the implementation of business processes over the Web. At a technical level, this imposes an application integration problem. In a wider sense, the integration of software and business levels across organisations becomes a significant challenge. Service architectures are an increasingly adopted architectural approach for solving Enterprise Applications Integration (EAI). The adoption of this new architectural paradigm requires adaptation or creation of novel methodologies and techniques to solve the integration problem. In this paper we present the pattern-based techniques supporting a methodological framework to design service architectures for EAI. The techniques are used for services identification, for transformation from business models to service architectures and for architecture modifications

Towards Consistency Management for a Business-Driven Development of SOA

The usage of the Service Oriented Architecture (SOA) along with the Business Process Management has emerged as a valuable solution for the complex (business process driven) system engineering. With a Model Driven Engineering where the business process models drive the supporting service component architectures, less effort is gone into the Business/IT alignment during the initial development activities, and the IT developers can rapidly proceed with the SOA implementation. However, the difference between the design principles of the emerging domainspecific languages imposes serious challenges in the following re-design phases. Moreover, enabling evolutions on the business process models while keeping them synchronized with the underlying software architecture models is of high relevance to the key elements of any Business Driven Development (BDD). Given a business process update, this paper introduces an incremental model transformation approach that propagates this update to the related service component configurations. It, therefore, supports the change propagation among heterogenous domainspecific languages, e.g., the BPMN and the SCA. As a major contribution, our approach makes model transformation more tractable to reconfigure system architecture without disrupting its structural consistency. We propose a synchronizer that provides the BPMN-to-SCA model synchronization with the help of the conditional graph rewriting

Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking

Business analysts and domain experts are often sketching the behaviors of a software system using high-level models that are technology- and platform-independent. The developers will refine and enrich these high-level models with technical details. As a consequence, the refined models can deviate from the original models over time, especially when the two kinds of models evolve independently. In this context, we focus on behavior models; that is, we aim to ensure that the refined, low-level behavior models conform to the corresponding high-level behavior models. Based on existing formal verification techniques, we propose containment checking as a means to assess whether the system's behaviors described by the low-level models satisfy what has been specified in the high-level counterparts. One of the major obstacles is how to lessen the burden of creating formal specifications of the behavior models as well as consistency constraints, which is a tedious and error-prone task when done manually. Our approach presented in this paper aims at alleviating the aforementioned challenges by considering the behavior models as verification inputs and devising automated mappings of behavior models onto formal properties and descriptions that can be directly used by model checkers. We discuss various challenges in our approach and show the applicability of our approach in illustrative scenarios.Comment: In Proceedings FESCA 2014, arXiv:1404.043

Refinement of SDBC Business Process Models Using ISDL

Aiming at aligning business process modeling and software specification, the SDBC approach considers a multi-viewpoint modeling where static, dynamic, and data business process aspect models have to be mapped adequately to corresponding static, dynamic, and data software specification aspect models. Next to that, the approach considers also a business process modeling viewpoint which concerns real-life communication and coordination issues, such as meanings, intentions, negotiations, commitments, and obligations. Hence, in order to adequately align communication and dynamic aspect models, SDBC should use at least two modeling techniques. However, the transformation between two techniques unnecessarily complicates the modeling process. Next to that, different techniques use different modeling formalisms whose reflection sometimes causes limitations. For this reason, we explore in the current paper the value which the (modeling) language ISDL could bring to SDBC in the alignment of communication and behavioral (dynamic) business process aspect models; ISDL can usefully refine dynamic process models. Thus, it is feasible to expect that ISDL can complement the SDBC approach, allowing refinement of dynamic business process aspect models, by adding communication and coordination actions. Furthermore, SDBC could benefit from ISDL-related methods assessing whether a realized refinement conforms to the original process model. Our studies in the paper are supported by an illustrative example

BIM Integrated and Reference Process-based Simulation Method for Construction Project Planning

Die Verwendung von Simulationen zur Unterstützung traditioneller Planungsverfahren für Bauprojekte hat viele Vorteile, die in verschiedenen akademischen Forschungen vorgestellt wurden. Viele Anwendungen haben erfolgreich das Potenzial der Simulationsmethode zur Verbesserung der Qualität der Projektplanung demonstriert. Doch eine breite Anwendung der Simulationsmethoden zur Unterstützung der Planung von Bauprojekten konnte sich in der Praxis bis zum jetzigen Zeitpunkt nicht durchsetzen. Aufgrund einiger großer Hindernisse und Herausforderungen ist der Einsatz im Vergleich zu anderen Branchen noch sehr begrenzt. Die Komplexität sowie die dynamischen Wechselprozesse der unterschiedlichen Bauvorhaben stellen die erste Herausforderung dar.Die Anforderungen machen es sehr schwierig die verschieden Situationen realistisch zu modellieren und das Verhalten von Bauprozessen und die Interaktion mit den zugehörigen Ressourcen für reale Bauvorhaben darzustellen. Das ist einer der Gründe für den Mangel an speziellen Simulationswerkzeugen in der Bauprojektplanung. Die zweite Herausforderung besteht in der großen Menge an Projektinformationen, die in das Simulationsmodell integriert und während des gesamten Lebenszyklus des Projekts angepasst werden müssen. Die Erstellung von Simulationsmodellen, Simulationsszenarien sowie die Analyse und Verifizierung der Simulationsergebnisse ist langwierig. Ad-hoc Simulation sind daher nicht möglich. Zur Erstellung zuverlässiger Simulationsmodelle sind daher umfangreiche Ressourcen und Mitarbeiter mit speziellen Fachwissen erforderlich. Die vorgestellten Herausforderungen verhindern die breite Anwendung der Simulationsmethode zur Unterstützung der Bauprojektplanung und das Einsetzen der Software als wesentlicher Bestandteil des Arbeitsablaufes für die Bauplanung in der Praxis. Die Forschungsarbeit in dieser Arbeit befasst sich mit diesen Herausforderungen durch die Entwicklung eines Ansatzes sowie einer Plattform für die schnelle Aufstellung von Simulationsmodellen für Bauprojekte. Das Hauptziel dieser Forschung ist die Entwicklung eines integrierten und referenzmodellbasierten BIM Simulationsansatz zur Unterstützung der Planung von Bauprojekten und die Möglichkeit der Zusammenarbeit aller am Planungs- und Simulationsprozess beteiligten Akteure. Die erste Herausforderung wird durch die Einführung eines RPM-Konzepts (Reference Process Model) durch die Modellierung von Konstruktionsprozessen unter Verwendung von Business Process Modeling and Notation (BPMN) angegangen. Der Vorteil der RPM Modelle ist das sie bearbeitet und modifiziert können und dass sie automatisch als einsatzbereite Module in Simulationsmodelle umgewandelt werden können. Die RPM-Modelle enthalten auch Informationen zu Ressourcenanforderungen und andere verwandte Informationen für verschiedene Baubereiche mit unterschiedlichen Detaillierungsgraden. Die Verwendung von BPMN hat den Vorteil, dass die Simulationsmodellierung für das Projektteam, einschließlich derjenigen, die sich nicht mit der Simulation auskennen, flexibler, interoperabler und verständlicher ist. Bei diesem Ansatz ist die Modellierung von Referenzprozessmodellen vollständig von den Simulationskernkomponenten getrennt, um das Simulations-Toolkit generisch und erweiterbar für verschiedenste Konstruktionsbereiche wie Gebäude und Brücken. Der vorgestellte Forschungsansatz unterstützt die kontinuierliche Anwendung von Simulationsmodellen während des gesamten Projektlebenszyklus. Die Simulationsmodelle, die zur Unterstützung der Planung in der frühen Entwurfsphase erstellt werden, können von Simulationsexperten während der gesamten Planungs- und Bauphase weiter ausgebaut und aktualisiert werden. Die zweite Herausforderung wird durch die direkte Integration der Building Information Modeling (BIM) -Methode in die Simulationsmodellierung auf der Grundlage des Industry Foundation Classes-IFC (ISO 16739) , dem am häufigsten verwendeten BIM-Austauschformat, angegangen. Da die BIM-Modelle einen wichtigen Teil der Eingabeinformationen von Simulationsmodellen enthalten, können sie als Grundlage für die Visualisierung von Ergebnissen in Form von 4D-BIM-Modellen verwendet werden. Diese Integration ermöglicht die schnelle und automatische Filterung und Extraktion sowie die Umwandlung notwendiger Informationen aus BIM Entwurf-Modellen. Um die Erstellung detaillierter Projektmodelle zu beschleunigen, wurde eine spezielle Methode für die halbautomatische Top-Down-Detaillierung von Projektstammmodelle entwickelt, die notwendige Eingangsdaten für die Simulationsmodelle sind. Diese Methode bietet den Vorteil, dass Konstruktionsalternativen mit minimalen Änderungen am Simulationsmodell untersucht werden können. Der entwickelte Ansatz wurde als Software- Prototyp in Form eines modularen Construction Simulation Toolkit (CST) basierend auf der Discrete Event Simulation (DES)- Methode und eines Collaboration- Webportals (ProSIM) zum Verwalten von Simulationsmodellen implementiert. Die so eingebettete Simulation ermöglicht mit minimalen Änderungen die Bewertung von Entwurfsalternativen und Konstruktionsmethoden auf den Bauablauf. Produktions- und Logistiksvorgänge können gleichzeitig in einer einheitlichen Umgebung simuliert werden und berücksichtigen die gemeinsam genutzten Ressourcen und die Interaktion zwischen Produktions- und Logistikaktivitäten. Es berücksichtigt auch die Änderungen im Baustellenlayout während der Konstruktionsphase. Die Verifizierung und Validierung des vorgeschlagenen Ansatzes wird durch verschiedene hypothetische und reale Bauprojekten durchgeführt.:1 Introduction: motivation, problem statement and objectives 1.1 Motivation 1.2 Problem statement 1.3 Objectives 1.4 Thesis Structure 2 Definitions, Related work and background information 2.1 Simulation definition 2.2 Simulation system definition 2.3 Discrete Event Simulation 2.5 How simulation works 2.6 Workflow of simulation study 2.7 Related work 2.8 Traditional construction planning methods 2.8.1 Gantt chart 2.8.2 Critical Path Method (CPM) 2.8.3 Linear scheduling method/Location-based scheduling 2.9 Business Process Model and Notation 2.10Workflow patterns 2.10.1 Supported Control Flow Patterns 3 Reference Process-based Simulation Approach 3.1 Reference Process-based simulation approach 3.2 Reference Process Models 3.3 Reference process model for single task 3.4 Reference process models for complex activities 3.5 Process Pool 3.6 Top-down automatic detailing of project schedules 3.7 Simulation model formalism 3.8 Fundamental design concepts and application scope 4 Data Integration between simulation and construction Project models 4.1 Data integration between BIM models and simulation models 4.1.1 Transformation of IFC models to Graph models 4.1.2 Checking BIM model quality 4.1.3 Filtering of BIM models 4.1.4 Semantic enrichment of BIM models 4.1.5 Reference process models and BIM models 4.2 Reference Process Models and resources models 4.3 Process models and productivity factors 5 Construction Simulation Toolkit 5.1 System architecture and implementation 5.2 Basic steps to create a CST simulation model 5.3 CST Simulation components 5.3.1 Input components 5.3.2 Process components 5.3.3 Output components 5.3.4 Logistic components 5.3.5 Collaboration platform ProSIM 6 Case Studies and Validation 6.1 Verification and Validation of Simulation Models 6.2 Verification and validation techniques for simulation models 6.3 Case study 1: generic planning model 6.4 Case study 2: high rise building 6.4.1 Scenario I: effect of changing number of workers on structural work duration 6.4.2 Scenario II: simulation of structural work on operation level 6.4.3 Scenario III: automatic generation of detailed project schedule 6.5 Case study 3: airport terminal building 6.5.1 Multimodel Container 6.5.2 Scenario I: automatic generation of detailed project schedule 6.5.3 Scenario II: Find the minimal project duration 6.5.4 Scenario III: construction work for a single floor 7 Conclusions and Future Research 7.1 Conclusions 7.2 Outlook of the possible future research topics 7.2.1 Integration with real data collecting 7.2.2 Multi-criteria optimisation 7.2.3 Extend the control-flow and resource patterns 7.2.4 Consideration of further structure domains 7.2.5 Considering of space allocation and space conflicts 8 Appendix - Scripts 9 Appendix B - Reference Process Models 9.1 Reference Process Models for structural work 9.1.1 Wall 9.1.2 Roof 9.1.3 Foundations 9.1.4 Concrete work 9.1.5 Top-Down RPMs for structural work in a work section 10 Appendix E 10.1 Basic elements of simulation models in Plant Simulation 10.2 Material Flow Objects 11 ReferencesUsing simulation to support construction project planning has many advantages, which have been presented in various academic researches. Many applications have successfully demonstrated the potential of using simulation to improve the quality of construction project planning. However, the wide adoption of simulation has not been achieved in practice yet. It still has very limited use compared with other industries due to some major obstacles and challenges. The first challenge is the complexity of construction processes and projects planning methods, which make it very difficult to develop realistic simulation models of construction processes and represent their dynamic behavior and the interaction with project resources. This led to lack of special simulation tools for construction project planning. The second challenge is the huge amount of project information that has to be integrated into the simulation model and to be maintained throughout the design, planning and construction phases. The preparation of ad-hoc simulation models and setting up different scenarios and verification of simulation results usually takes a long time. Therefore, creating reliable simulation models requires extensive resources with advanced skills. The presented challenges prevent the wide application of simulation techniques to support and improve construction project planning and adopt it as an essential part of the construction planning workflow in practice. The research work in this thesis addresses these challenges by developing an approach and platform for rapid development of simulation models for construction projects. The main objective of this research is to develop a BIM integrated and reference process-based simulation approach to support planning of construction projects and to enable collaboration among all actors involved in the planning and simulation process. The first challenge has been addressed through the development of a construction simulation toolkit and the Reference Process Model (RPM) method for modelling construction processes for production and logistics using Business Process Modelling and Notation (BPMN). The RPM models are easy to understood also by non-experts and they can be transformed automatically into simulation models as ready-to-use modules. They describe the workflow and logic of construction processes and include information about duration, resource requirements and other related information for different construction domains with different levels of details. The use of BPMN has many advantages. It enables the understanding of how simulation models work by project teams, including those who are not experts in simulation. In this approach, the modelling of Reference Process Models is totally separated from the simulation core components. In this way, the simulation toolkit is generic and extendable for various construction types such as buildings, bridges and different construction domains such as structural work and indoor operations. The presented approach supports continuous adoption of simulation models throughout the whole project life cycle. The simulation model which supports project planning in the early design phase can be continuously extended with more detailed RPMs and updated information through the planning and construction phases. The second challenge has been addressed by supporting direct integration of Building Information Modelling (BIM) method with the simulation modelling based on the Industry Foundation Classes IFC (ISO 16739) standard, which is the most common and only ISO standard used for exchanging BIM models. As the BIM models contain the biggest part of the input information of simulation models and they can be used for effective visualization of results in the form of animated 4D BIM models. The integration between BIM and simulation enables fast and semi-automatic filtering, extraction and transformation of the necessary information from BIM models for both design and construction site models. In addition, a special top-down semi-automatic detailing method was developed in order to accelerate the process of preparing detailed project schedules, which are essential input data for the simulation models and hence reduce the time and efforts needed to create simulation models. The developed approach has been implemented as a software prototype in the form of a modular Construction Simulation Toolkit (CST) based on the Discrete Event Simulation (DES) method and an online collaboration web portal 'ProSIM' for managing simulation models. The collaboration portal helps to overcome the problem of huge information and make simulation models accessible for non simulation experts. Simulation models created by CST toolkit facilitate the evaluation of design alternatives and construction methods with minimal changes in the simulation model. Both production and logistic operations can be simulated at the same time in a unified environment and take into account the shared resources and the interaction between production and logistic activities. It also takes into account the dynamic nature of construction projects and hence the changes in the construction site layout during the construction phase. The verification and validation of the proposed approach is carried out through various academic and real construction project case studies.:1 Introduction: motivation, problem statement and objectives 1.1 Motivation 1.2 Problem statement 1.3 Objectives 1.4 Thesis Structure 2 Definitions, Related work and background information 2.1 Simulation definition 2.2 Simulation system definition 2.3 Discrete Event Simulation 2.5 How simulation works 2.6 Workflow of simulation study 2.7 Related work 2.8 Traditional construction planning methods 2.8.1 Gantt chart 2.8.2 Critical Path Method (CPM) 2.8.3 Linear scheduling method/Location-based scheduling 2.9 Business Process Model and Notation 2.10Workflow patterns 2.10.1 Supported Control Flow Patterns 3 Reference Process-based Simulation Approach 3.1 Reference Process-based simulation approach 3.2 Reference Process Models 3.3 Reference process model for single task 3.4 Reference process models for complex activities 3.5 Process Pool 3.6 Top-down automatic detailing of project schedules 3.7 Simulation model formalism 3.8 Fundamental design concepts and application scope 4 Data Integration between simulation and construction Project models 4.1 Data integration between BIM models and simulation models 4.1.1 Transformation of IFC models to Graph models 4.1.2 Checking BIM model quality 4.1.3 Filtering of BIM models 4.1.4 Semantic enrichment of BIM models 4.1.5 Reference process models and BIM models 4.2 Reference Process Models and resources models 4.3 Process models and productivity factors 5 Construction Simulation Toolkit 5.1 System architecture and implementation 5.2 Basic steps to create a CST simulation model 5.3 CST Simulation components 5.3.1 Input components 5.3.2 Process components 5.3.3 Output components 5.3.4 Logistic components 5.3.5 Collaboration platform ProSIM 6 Case Studies and Validation 6.1 Verification and Validation of Simulation Models 6.2 Verification and validation techniques for simulation models 6.3 Case study 1: generic planning model 6.4 Case study 2: high rise building 6.4.1 Scenario I: effect of changing number of workers on structural work duration 6.4.2 Scenario II: simulation of structural work on operation level 6.4.3 Scenario III: automatic generation of detailed project schedule 6.5 Case study 3: airport terminal building 6.5.1 Multimodel Container 6.5.2 Scenario I: automatic generation of detailed project schedule 6.5.3 Scenario II: Find the minimal project duration 6.5.4 Scenario III: construction work for a single floor 7 Conclusions and Future Research 7.1 Conclusions 7.2 Outlook of the possible future research topics 7.2.1 Integration with real data collecting 7.2.2 Multi-criteria optimisation 7.2.3 Extend the control-flow and resource patterns 7.2.4 Consideration of further structure domains 7.2.5 Considering of space allocation and space conflicts 8 Appendix - Scripts 9 Appendix B - Reference Process Models 9.1 Reference Process Models for structural work 9.1.1 Wall 9.1.2 Roof 9.1.3 Foundations 9.1.4 Concrete work 9.1.5 Top-Down RPMs for structural work in a work section 10 Appendix E 10.1 Basic elements of simulation models in Plant Simulation 10.2 Material Flow Objects 11 Reference

Economic growth, innovation systems, and institutional change: a trilogy in five parts

Development and growth are products of the interplay and interaction among heterogeneous actors operating in specific institutional settings. There is a much alluded-to, but under-investigated, link between economic growth, innovation systems, and institutions. There is widespread agreement among most economists on the positive reinforcing link between innovation and growth. However, the importance of institutions as catalysts in this link has not been adequately examined. The concept of innovation systems has the potential to fill this gap. But these studies have not conducted in-depth institutional analyses or focussed on institutional transformation processes, thereby failing to link growth theory to the substantive institutional tradition in economics. In this paper we draw attention to the main shortcomings of orthodox and heterodox growth theories, some of which have been addressed by the more descriptive literature on innovation systems. Critical overviews of the literatures on growth and innovation systems are used as a foundation to propose a new perspective on the role of institutions and a framework for conducting institutional analysis using a multi-dimensional typology of institutions. The framework is then applied to cases of Taiwan and South Korea to highlight the instrumental role played by institutions in facilitating and curtailing economic development and growth

Exploring continuous organisational transformation as a form of network interdependence

In this paper we examine the problematic area of continuous transformation. We conduct our analysis from three theoretical perspectives: the resource based view, social network theory, and stakeholder theory. We found that the continuous transformation can be explained through the concept of Network Interdependence. This paper describes Network Interdependence and develops theoretical propositions from a synthesis of the three theories. Our contribution of Network Interdependence offers fresh insights into managing complex change and offers new ways of looking at organisational transformation

Distribution pattern-driven development of service architectures

Distributed systems are being constructed by composing a number of discrete components. This practice is particularly prevalent within the Web service domain in the form of service process orchestration and choreography. Often, enterprise systems are built from many existing discrete applications such as legacy applications exposed using Web service interfaces. There are a number of architectural configurations or distribution patterns, which express how a composed system is to be deployed in a distributed environment. However, the amount of code required to realise these distribution patterns is considerable. In this paper, we propose a distribution pattern-driven approach to service composition and architecting. We develop, based on a catalog of patterns, a UML-compliant framework, which takes existing Web service interfaces as its input and generates executable Web service compositions based on a distribution pattern chosen by the software architect

Incorporating Security Behaviour into Business Models Using a Model Driven Approach

There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these models to generate refinements leading to usable implementations over specific platforms. There is also interest in factoring out a number of non-functional aspects, such as security, to provide reusable solutions applicable to a number of different applications. This paper brings these two approaches together, investigating, in particular, the way behaviour from the different sources can be combined and integrated into a single design model. Doing so involves transformations that weave together the constraints from the various aspects and are, as a result, more complex to specify than the linear pipelines of transformations used in most MDE work to date. The approach taken here involves using an aspect model as a template for refining particular patterns in the business model, and the transformations are expressed as graph rewriting rules for both static and behaviour elements of the models