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

• Record Type: Book
• Other Titles: CAiSE Forum 2020
• Further Information: Note: Nicolas Herbaut, Marcello La Rosa (eds.).
• Other Names: Herbaut, Nicolas; (Professor of information systems), La Rosa, Marcello; CAiSE (Conference), 32nd
• 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
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Extent: 1 online resource
• Subjects: 005.1; Computer-aided software engineering -- Congresses; Systems engineering -- Congresses; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783030581350; 3030581357
• Related ISBNs: 3030581349; 9783030581343
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.