Advanced information systems engineering : CAiSE Forum 2020, Grenoble, France, June 8-12, 2020, Proceedings

Advanced information systems engineering : CAiSE Forum 2020, Grenoble, France, June 8-12, 2020, Proceedings / Nicolas Herbaut, Marcello La Rosa (eds.).

This book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2020 which was held as part of the 32nd International Conference on Advanced Information Systems Engineering, CAiSE 2020, in June 2020. The conference was held virtually due to the COVID-19 pandemic. The CAiSE Forum is a pl...

Full description

Saved in:
Bibliographic Details
Corporate Author: CAiSE (Conference) Online)
Other Authors: Herbaut, Nicolas, La Rosa, Marcello (Professor of information systems)
Format: eBook
Language:English
Published: Cham : Springer, 2020.
Series:Lecture notes in business information processing ; 386.
Subjects:
Computer-aided software engineering > Congresses.
Systems engineering > Congresses.
Software Engineering.
Business mathematics & systems.
Information technology: general issues.
Information retrieval.
Computers > Software Development & Engineering > General.
Business & Economics > Information Management.
Computers > Data Processing.
Computers > Information Technology.
Computer-aided software engineering
Systems engineering
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Online Access:Click for online access
Table of Contents:
  • Intro
  • Preface
  • Organization
  • Contents
  • Flexible Integration of Blockchain with Business Process Automation: A Federated Architecture
  • 1 Introduction
  • 2 Background and Related Work
  • 3 Towards a Federated Blockchain-Integrated BPMS
  • 4 Conceptual Architecture
  • 5 Implementation
  • 5.1 Event Handling
  • 5.2 Illustrative Example
  • 6 Discussion and Conclusion
  • References
  • PROCLAIM: An Unsupervised Approach to Discover Domain-Specific Attribute Matchings from Heterogeneous Sources
  • 1 Introduction
  • 2 Related Work
  • 3 PROCLAIM Overview
  • 4 Preliminary Phase
  • 4.1 Column-Based Data Formats
  • 4.2 Data Type Identification
  • 5 Attribute Profile Representation
  • 6 Attribute Labeling
  • 6.1 Clustering
  • 6.2 Labeling Function
  • 7 Experiment Results
  • 8 Conclusion and Future Works
  • References
  • Building Data Curation Processes with Crowd Intelligence
  • 1 Introduction
  • 2 Related Work
  • 3 Study Design
  • 4 Building a Crowd Intelligence-Based Data Curation Process
  • 4.1 Understanding Individual Data Curator Behaviour
  • 4.2 Learning from the Crowd
  • 5 Discussion and Conclusion
  • References
  • R-CMMN: A Tool to Design Resilient Aware Multi-party Business Processes
  • 1 Introduction
  • 2 Background
  • 3 R-CMMN
  • 4 User Evaluation and Conclusion
  • References
  • Designing Decentralized Business Processes with Temporal Constraints
  • 1 Introduction
  • 2 Motivating Example
  • 3 Inter-organizational Process Model
  • 3.1 Architecture, Context, and Assumptions
  • 3.2 Local Process Model with Temporal Parameters
  • 3.3 Local Process in an Inter-organizational Process
  • 3.4 Application Patterns
  • 4 Temporal Correctness
  • 4.1 Dynamic Controllability of Local Processes
  • 4.2 Temporal Properties of Inter-organizational Processes
  • 5 Related Work
  • 6 Conclusions
  • References
  • Seed Model Synthesis for Testing Model-Based Mutation Operators
  • 1 Introduction
  • 2 Running Example: Mutation for Process Models
  • 3 Wodel: A Domain Specific Language for Model Mutation
  • 4 Seed Model Synthesis Using Model Finding
  • 5 Tool Support
  • 6 Related Work
  • 7 Conclusions and Future Work
  • A BPMN Mutation Operators
  • References
  • QBMetrics: A Tool for Evaluating and Comparing Document Schemas
  • 1 Introduction
  • 2 QBMetrics Tool
  • 2.1 Converter Component
  • 2.2 Metric Component
  • 3 QBMetrics Demonstration
  • 3.1 Scenario
  • 3.2 Demonstration
  • 4 Conclusion
  • References
  • Probabilistic Conformance Checking Based on Declarative Process Models
  • 1 Introduction
  • 2 LTL over Finite Traces and the Declare Framework
  • 2.1 Linear Temporal Logic over Finite Traces
  • 2.2 Declare
  • 3 Probabilistic Business Constraints
  • 3.1 Probabilistic Constraints: Definition and Semantics
  • 3.2 ProbDeclare and the Issue of Multiple Interacting Constraints
  • 4 Reasoning on Time and Probabilities
  • 4.1 Constraint Scenarios and Consistency of ProbDeclare Models

Similar Items