Data-Flow Analysis of BPMN-based Process-Driven Applications PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Data-Flow Analysis of BPMN-based Process-Driven Applications PDF full book. Access full book title Data-Flow Analysis of BPMN-based Process-Driven Applications by Konrad Schneid. Download full books in PDF and EPUB format.
Author: Konrad Schneid Publisher: ISBN: Category : Languages : en Pages :
Book Description
Process-Driven Applications (PDA) combine Business Process Management and less-code approaches. They are typically based on executable process models, human tasks, and adapter code to external software services. Process data is shared across these artifacts, managed by a process engine. Therefore process engineers and programmers must ensure the correct data flow within these components, but also in between. However, previous approaches have only considered the data-flow analysis of those components separately. This paper provides a concept for detecting data-flow anomalies in BPMN-based Process-Driven Applications across all artifacts. The main idea is to create a single Data-Flow Analysis (DFA) graph based on the process model's abstract syntax. Call graphs representing the internal flows of the referenced source code are transformed and merged into the DFA graph. Then, the resulting graph is extended by labels indicating data-object operations occurring at its nodes. Eventually, a combined forward and backward analysis is performed to uncover data-flow anomalies as indicators of potential errors. The analysis concept was implemented as a prototype designed for the Camunda BPM Framework, proving its practicality in several case studies.
Author: Konrad Schneid Publisher: ISBN: Category : Languages : en Pages :
Book Description
Process-Driven Applications (PDA) combine Business Process Management and less-code approaches. They are typically based on executable process models, human tasks, and adapter code to external software services. Process data is shared across these artifacts, managed by a process engine. Therefore process engineers and programmers must ensure the correct data flow within these components, but also in between. However, previous approaches have only considered the data-flow analysis of those components separately. This paper provides a concept for detecting data-flow anomalies in BPMN-based Process-Driven Applications across all artifacts. The main idea is to create a single Data-Flow Analysis (DFA) graph based on the process model's abstract syntax. Call graphs representing the internal flows of the referenced source code are transformed and merged into the DFA graph. Then, the resulting graph is extended by labels indicating data-object operations occurring at its nodes. Eventually, a combined forward and backward analysis is performed to uncover data-flow anomalies as indicators of potential errors. The analysis concept was implemented as a prototype designed for the Camunda BPM Framework, proving its practicality in several case studies.
Author: Boris Shishkov Publisher: Springer Nature ISBN: 3031115104 Category : Computers Languages : en Pages : 323
Book Description
This book constitutes the refereed proceedings of the 12h International Symposium on Business Modeling and Software Design, BMSD 2022, which took place in Fribourg, Switzerland, in June 2022. The 12 full and 9 short papers included in this book were carefully reviewed and selected from a total of 56 submissions. BMSD is a leading international forum that brings together researchers and practitioners interested in business modeling and its relation to software design. Particular areas of interest are: Business Processes and Enterprise Engineering; Business Models and Requirements; Business Models and Services; Business Models and Software; Information Systems Architectures and Paradigms; Data Aspects in Business Modeling and Software Development; Blockchain-Based Business Models and Information Systems; IoT and Implications for Enterprise Information Systems. Each year, a special theme is chosen, for making presentations and discussions more focused. The BMSD 2022 theme is: Information Systems Engineering and Trust.
Author: Volker Stiehl Publisher: Springer ISBN: 3319072188 Category : Computers Languages : en Pages : 345
Book Description
How can we optimize differentiating business processes and exploit their full potential? Here Volker Stiehl provides answers, utilizing the various options that the BPMN (Business Process Model and Notation) standard offers for planning, implementing and monitoring processes. The book presents an approach for implementing an architecture for applications that strives to find a balance between development and maintenance costs, sustainability, scalability and fault tolerance; that meets flexibility requirements without becoming inordinately complex itself; and that keeps the end application as abstract as possible from the system landscape in which it operates. Based on the semantic enhancements found in version 2.0 of the BPMN standard, which have made it possible to execute process models, his approach exploits BPMN to create and run complete application architectures. In this context, BPMN is not just used to model the business processes of the application, as the “B” in BPMN might suggest; but also to model and execute the integration processes between the systems. Throughout the book, the software package SAP Process Orchestration is used to illustrate the implementation of the proposed architecture, yet all recommendations are intentionally kept generic so that they can be implemented on any other comparable platform as well. Software architects, IT managers, software developers and project managers, as well as students of information and business technology will find the book a valuable resource. The proposed application architecture offers them a detailed blueprint, the principles of which they can use to plan and implement process-driven distributed applications.
Author: João Paulo A. Almeida Publisher: Springer Nature ISBN: 3031176049 Category : Business & Economics Languages : en Pages : 283
Book Description
This book constitutes the proceedings of the 26th International Conference on Enterprise Design, Operations, and Computing, EDOC 2022, which took place in Bozen-Bolzano, Italy, in October 2022. The 15 full papers included in this book were carefully reviewed and selected from 48 submissions. They were organized in topical sections as follows: enterprise security; enterprise architecture; business process modeling and monitoring; business process mining and discovery; and process-driven applications.
Author: H. Fujita Publisher: IOS Press ISBN: 1643680137 Category : Computers Languages : en Pages : 770
Book Description
Software has become ever more crucial as an enabler, from daily routines to important national decisions. But from time to time, as society adapts to frequent and rapid changes in technology, software development fails to come up to expectations due to issues with efficiency, reliability and security, and with the robustness of methodologies, tools and techniques not keeping pace with the rapidly evolving market. This book presents the proceedings of SoMeT_19, the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, held in Kuching, Malaysia, from 23–25 September 2019. The book explores new trends and theories that highlight the direction and development of software methodologies, tools and techniques, and aims to capture the essence of a new state of the art in software science and its supporting technology, and to identify the challenges that such a technology will have to master. The book also investigates other comparable theories and practices in software science, including emerging technologies, from their computational foundations in terms of models, methodologies, and tools. The 56 papers included here are divided into 5 chapters: Intelligent software systems design and techniques in software engineering; Machine learning techniques for software systems; Requirements engineering, software design and development techniques; Software methodologies, tools and techniques for industry; and Knowledge science and intelligent computing. This comprehensive overview of information systems and research projects will be invaluable to all those whose work involves the assessment and solution of real-world software problems.
Author: Daniel Lübke Publisher: Springer ISBN: 3030176665 Category : Computers Languages : en Pages : 223
Book Description
This book collects essential research on the practical application of executable business process modeling in real-world projects, i.e., model-driven solutions for the support and automation of digital business processes that are created using languages such as BPEL or BPMN. It mainly focuses on empirical research, but also includes an up-to-date cross-section of case studies in order to assess examples of BPM’s practical impact in the industry. On the one hand, executable models are formally and precisely defined so that computers can interpret and execute them; on the other, they are visualized so that humans can describe, document and optimize business processes at a higher level of abstraction than with traditional textual programming languages. While these important research areas have long been separated from one another, this book is an attempt at cross-fertilization, driven by the insight that business processes are the software behind today’s digital organizations, and that achieving a precise representation of such processes is key to their reliable execution. Consequently, the book presents various case studies and experiments that investigate questions of interest to both academia (e.g., identifying challenges for which no solution exists; sharing new insights into how existing approaches are actually used) and industry (e.g., guidelines on using certain technologies and on modeling comprehensible and executable processes). Both researchers and practitioners will benefit from the presentation of how concepts are transformed into working solutions. The studies are presented in a structured manner and with sufficient rigor to be considered empirical research, further enhancing the book’s value for the research community, while practitioners will find concrete guidance on making the right decisions for their projects.
Author: Dirk Fahland Publisher: Springer Nature ISBN: 3030586669 Category : Computers Languages : en Pages : 557
Book Description
This book constitutes the proceedings of the 18th International Conference on Business Process Management, BPM 2020, held in Seville, Spain, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 27 full papers included in this volume were carefully reviewed and selected from 125 submissions. Two full keynote papers are also included. The papers are organized in topical sections named: foundations; engineering; and management.
Author: Stephen A. White Publisher: Future Strategies Inc. ISBN: 0977752720 Category : Business & Economics Languages : en Pages : 225
Book Description
Business Process Modeling Notation (BPMN) is a standard, graphical modeling representation for business processes. It provides an easy to use, flow-charting notation that is independent of the implementation environment. An underlying rigor supports the notation-facilitating the translation of business level models into executable models that BPM Suites and workflow engines can understand. Over recent years, BPMN has been widely adopted by Business Process Management (BPM) related products-both the Business Process Analysis and Modeling tool vendors and the BPM Suites. This book is for business users and process modeling practitioners alike. Part I provides an easily understood introduction to the key components of BPMN (put forward in a user-friendly fashion). Starting off with simple models, it progresses into more sophisticated patterns. Exercises help cement comprehension and understanding (with answers available online). Part II provides a detailed and authoritative reference on the precise semantics and capabilities of the standard.
Author: Andreas Meyer Publisher: ISBN: Category : Languages : en Pages : 0
Book Description
Business process management (BPM) is a systematic and structured approach to model, analyze, control, and execute business operations also referred to as business processes that get carried out to achieve business goals. Central to BPM are conceptual models. Most prominently, process models describe which tasks are to be executed by whom utilizing which information to reach a business goal. Process models generally cover the perspectives of control flow, resource, data flow, and information systems. Execution of business processes leads to the work actually being carried out. Automating them increases the efficiency and is usually supported by process engines. This, though, requires the coverage of control flow, resource assignments, and process data. While the first two perspectives are well supported in current process engines, data handling needs to be implemented and maintained manually. However, model-driven data handling promises to ease implementation, reduces the error-proneness through graphical visualization, and reduces development efforts through code generation. This thesis addresses the modeling, analysis, and execution of data in business processes and presents a novel approach to execute data-annotated process models entirely model-driven. As a first step and formal grounding for the process execution, a conceptual framework for the integration of processes and data is introduced. This framework is complemented by operational semantics through a Petri net mapping extended with data considerations. Model-driven data execution comprises the handling of complex data dependencies, process data, and data exchange in case of communication between multiple process participants. This thesis introduces concepts from the database domain into BPM to enable the distinction of data operations, to specify relations between data objects of the same as well as of different types, to correlate modeled data nodes as well as received messages to the correct run-time process instances, and to generate messages for inter-process communication. The underlying approach, which is not limited to a particular process description language, has been implemented as proof-of-concept. Automation of data handling in business processes requires data-annotated and correct process models. Targeting the former, algorithms are introduced to extract information about data nodes, their states, and data dependencies from control information and to annotate the process model accordingly. Usually, not all required information can be extracted from control flow information, since some data manipulations are not specified. This requires further refinement of the process model. Given a set of object life cycles specifying allowed data manipulations, automated refinement of the process model towards containment of all data manipulations is enabled. Process models are an abstraction focusing on specific aspects in detail, e.g., the control flow and the data flow views are often represented through activity-centric and object-centric process models. This thesis introduces algorithms for roundtrip transformations enabling the stakeholder to add information to the process model in the view being most appropriate. Targeting process model correctness, this thesis introduces the notion of weak conformance that checks for consistency between given object life cycles and the process model such that the process model may only utilize data manipulations specified directly or indirectly in an object life cycle. The notion is computed via soundness checking of a hybrid representation integrating control flow and data flow correctness checking. Making a process model executable, identified violations must be corrected. Therefore, an approach is proposed that identifies for each violation multiple, alternative changes to the process model or the object life cycles. Utilizing the results of this thesis, business processes can be executed entirely model-driven from the data perspective in addition to the control flow and resource perspectives already supported before. Thereby, the model creation is supported by algorithms partly automating the creation process while model consistency is ensured by data correctness checks
Author: Konrad Schneid
Author: Konrad Schneid
Author: Boris Shishkov
Author: Volker Stiehl
Author: João Paulo A. Almeida
Author: H. Fujita
Author: Kapil Pant
Author: Daniel Lübke
Author: Dirk Fahland
Author: Stephen A. White
Author: Andreas Meyer