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
- Title:
- 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)
- Main Title:
- Advanced information systems engineering : CAiSE Forum 2020, Grenoble, France, June 8-12, 2020, Proceedings
- 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 AssumptionsIntro -- 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 … (more)
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.550218
- Ingest File:
- 03_167.xml