2021 3rd International Conference on Process Mining (ICPM) : ICPM 2021 : proceedings : Eindhoven, The Netherlands, 31 October - 4 November 2021 / / editors, Claudio Di Ciccio, Chiara Di Francescomarino, Pnina Soffer |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , [2021] |
Descrizione fisica | 1 online resource (xiv, 168 pages) : illustrations |
Disciplina | 670.42 |
Soggetto topico | Process control |
ISBN | 1-66543-514-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2021 3rd International Conference on Process Mining |
Record Nr. | UNINA-9910554035803321 |
Piscataway, New Jersey : , : IEEE, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
2021 3rd International Conference on Process Mining (ICPM) : ICPM 2021 : proceedings : Eindhoven, The Netherlands, 31 October - 4 November 2021 / / editors, Claudio Di Ciccio, Chiara Di Francescomarino, Pnina Soffer |
Pubbl/distr/stampa | Piscataway, New Jersey : , : IEEE, , [2021] |
Descrizione fisica | 1 online resource (xiv, 168 pages) : illustrations |
Disciplina | 670.42 |
Soggetto topico | Process control |
ISBN | 1-66543-514-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | 2021 3rd International Conference on Process Mining |
Record Nr. | UNISA-996574927303316 |
Piscataway, New Jersey : , : IEEE, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering : 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings |
Autore | Guizzardi Giancarlo |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing AG, , 2024 |
Descrizione fisica | 1 online resource (644 pages) |
Altri autori (Persone) |
SantoroFlavia
MouratidisHaralambos SofferPnina |
Collana | Lecture Notes in Computer Science Series |
ISBN |
9783031610578
9783031610561 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of the Invited Talks -- The Colour of Cognition: From Abstract Computation to the Lived Mind -- Two Projects on Human Interaction with AI -- Contents -- Process Alignment, Comparison and Discovery -- Object-Centric Conformance Alignments with Synchronization -- 1 Introduction -- 2 Object-Centric Event Logs -- 3 Related Work and Modelling Features -- 4 Object-Centric Petri Nets with Identifiers -- 5 Encoding -- 6 Evaluation -- 7 Conclusion -- References -- Process Comparison Based on Selection-Projection Structures -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Selection-Projection-Based Difference Discovery -- 5 Evaluation -- 5.1 Case Study -- 5.2 Quantitative Evaluation on Scoring Concept Drift -- 6 Conclusion -- References -- Stochastic Process Discovery: Can It Be Done Optimally? -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 The Stochastic Discovery Problem -- 4.1 Implications -- 4.2 `3́9`42`"̇613A``45`47`"603AuEMSC and Precision -- 5 Stochastic Discovery as a Decision Problem -- 6 Stochastic Discovery Given the Control-Flow Structure -- 7 Evaluation -- 8 Conclusion -- References -- Process Discovery, Monitoring and Correction -- Reinforcement Learning-Based Streaming Process Discovery Under Concept Drift -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 Event and Trace Stream -- 3.2 Process Discovery and Conformance Checking -- 3.3 Streaming Process Discovery -- 4 Methodology -- 4.1 Process Discovery -- 4.2 Conformance Checking -- 4.3 RL-Based Parameter Selector -- 4.4 Concept Drift Detection -- 5 Experiment -- 5.1 Experimental Setting -- 5.2 Results and Discussions -- 6 Conclusion -- References -- Enhancing Predictive Process Monitoring with Time-Related Feature Engineering -- 1 Introduction -- 2 Background -- 3 Problem Definition.
4 Engineering Time-Related Features -- 5 Experimental Analysis -- 5.1 Experimental Setup -- 5.2 The Impact of Time-Related Features -- 5.3 Analysis of Elapsed Times -- 5.4 Interpretability -- 6 Related Works -- 7 Conclusion -- References -- Stochastic Directly-Follows Process Discovery Using Grammatical Inference -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 Stochastic Directed Action Graphs -- 5 Stochastic Process Discovery -- 6 Evaluation -- 7 Discussion and Conclusion -- References -- Graphs and Graph Networks -- A Graph Language Modeling Framework for the Ontological Enrichment of Conceptual Models -- 1 Introduction -- 2 Background -- 3 Related Work -- 4 The GLaM4CM Framework -- 4.1 CKG Transformation and Context Generation -- 4.2 Problem Description -- 4.3 GLaM4CM Architecture -- 5 Framework Evaluation -- 5.1 Experimental Set Up -- 5.2 Results -- 6 Discussion -- 7 Conclusion -- References -- PGTNet: A Process Graph Transformer Network for Remaining Time Prediction of Business Process Instances -- 1 Introduction -- 2 Background and Related Work -- 3 Preliminaries -- 4 PGTNet for Remaining Time Prediction -- 4.1 Graph Representation of Event Prefixes -- 4.2 Training PGTNet to Predict Remaining Time -- 5 Evaluation -- 5.1 Experimental Setup -- 5.2 Results -- 6 Conclusion and Future Work -- References -- Multi-perspective Concept Drift Detection: Including the Actor Perspective -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 Event Knowledge Graphs -- 3.2 Adding a Task Instance Layer -- 3.3 Aggregating Behavior -- 4 Method -- 4.1 Existing Change Point Detection -- 4.2 Generalizing Change Point Detection to EKGs -- 4.3 Extracting Actor and Control-Flow Features -- 4.4 Properties of Actor and Control-Flow Features -- 5 Experimental Results -- 5.1 Experimental Setup and Procedure -- 5.2 Results -- 6 Conclusion -- References. Process Modelling and Management -- On the Flexibility of Declarative Process Specifications -- 1 Introduction -- 2 Intuitions on Flexibility -- 2.1 Postulates for Flexibility -- 2.2 Related Work on Flexibility -- 3 Preliminaries -- 3.1 Deterministic Finite-State Automata -- 3.2 LTLf -- 3.3 Declarative Process Specifications -- 4 Flexibility of Declarative Process Specifications -- 4.1 A Language-Theoretic Measure of Flexibility -- 4.2 Applicability of the Flexibility Measure to Declare -- 5 Discussion on the Proposed Measure -- 5.1 Languages with Positive Flexibility Values -- 5.2 A Finer-Grained Analysis -- 6 Computing the Flexibility Measure -- 7 Conclusion -- References -- Towards a Multi-model Paradigm for Business Process Management -- 1 Introduction -- 2 Multi-model Scenarios -- 2.1 Hybrid Processes: Management of Funding Applications -- 2.2 Orchestration Processes: Assessment of Loan Applications -- 2.3 Collaborative Processes: Manufacturing of Car Parts -- 2.4 Instance-Spanning Processes: Operation of a Printing Agency -- 3 Modeling Requirements -- 4 Exploring a Potential Baseline Language -- 4.1 Current Capabilities -- 4.2 Language Extensions -- 5 Limitations -- 6 Related Work -- 7 Conclusion -- References -- Model-Based Recommendations for Next-Best Actions in Knowledge-Intensive Processes -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Fragment-Based Case Management -- 3.2 Filtering Actions According to Goal Models -- 4 Action Scores -- 4.1 Scores and Suitable Actions -- 4.2 Calculating Action Scores -- 5 Evaluation -- 6 Discussion and Conclusion -- References -- Prediction, Monitoring and Planning -- Towards Learning the Optimal Sampling Strategy for Suffix Prediction in Predictive Monitoring -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 3.1 Reinforcement Learning -- 4 Approach -- 5 Evaluation. 5.1 Experimental Setup -- 5.2 Results -- 6 Conclusions -- References -- HOEG: A New Approach for Object-Centric Predictive Process Monitoring -- 1 Introduction -- 2 Related Work -- 3 Preliminaries -- 4 HOEG Approach -- 5 Evaluation -- 5.1 Feature Encodings -- 5.2 Models and Hyperparameters -- 5.3 Baselines and Evaluation Metrics -- 5.4 Object-Centric Datasets -- 6 Results -- 6.1 Hyperparameter Tuning Experiment -- 6.2 Encoding Type Experiment -- 6.3 Baseline Experiment -- 7 Discussion -- 8 Conclusion -- References -- A Context-Aware Framework to Support Decision-Making in Production Planning -- 1 Introduction -- 2 State of the Art -- 3 Framework Design -- 4 Business Case Description -- 5 Applying the Framework on the Business Case -- 6 Lessons Learned -- 7 Conclusions and Future Works -- References -- Data Preparation, Sharing, and Architecture -- Implementation Patterns for Zone Architectures in Enterprise-Grade Data Lakes -- 1 Introduction -- 2 Related Work: Implementation of Zone-Based Architectures and Other Data Lake Aspects -- 3 Implementation Patterns for Zone Architectures -- 3.1 Zone Structure Patterns -- 3.2 Zone Storage Patterns -- 3.3 Zone Data Flow Patterns -- 4 Pattern Evaluation -- 4.1 Case Studies -- 4.2 Pattern Application -- 4.3 Evaluation Results -- 5 Conclusion -- References -- Improving Understandability and Control in Data Preparation: A Human-Centered Approach -- 1 Introduction -- 2 A Framework for Supporting Data Preparation -- 3 Human-Centered Analysis -- 3.1 Interviews -- 3.2 Scenarios -- 3.3 Think-Aloud Sessions -- 3.4 Results and Conceptual Framework -- 4 The Human-Centered Solution -- 4.1 Modeling Explanations -- 4.2 Generating the Explanations -- 4.3 New Interactive Data Preparation Process -- 5 Related Work -- 6 Conclusions -- References. Data Friction: Physics-Inspired Metaphor to Evaluate the Technical Difficulties in Trustworthy Data Sharing -- 1 Introduction -- 2 Related Work -- 3 Federated Data Sharing Model -- 4 Evaluating Data Friction -- 5 Validation -- 6 Conclusions -- References -- Requirements -- Assuring Runtime Quality Requirements for AI-Based Components -- 1 Introduction -- 2 Related Work -- 2.1 Uncertainties in AI -- 2.2 Quality Assurance of AI-Based Components -- 2.3 Requirements Specification of AI-Based Components -- 2.4 Obstacle Analysis -- 3 Making Uncertainty Certain by NFR -- 3.1 The Context -- 3.2 The Rationale -- 3.3 An NFRs-Based Approach -- 4 A Running Example for the Approach -- 5 Conclusion and Discussion -- References -- Designing Military Command and Control Systems as System of Systems - An Analysis of Stakeholder Needs and Challenges -- 1 Introduction -- 2 Background and Related Work -- 2.1 The Role of New Technology -- 2.2 Shifting Paradigms in Military Capability Management -- 2.3 Military Command and Control (C2) -- 3 Method -- 4 Findings -- 5 Discussion and Analysis -- 6 Conclusions and Future Work -- References -- Improving Requirement Traceability by Leveraging Video Game Simulations in Search-Based Software Engineering -- 1 Introduction -- 2 Background -- 3 Our Approach -- 3.1 NPC-Based Simulations -- 3.2 Natural Language Processing -- 3.3 Evolutionary TLR -- 4 Evaluation -- 4.1 Research Questions -- 4.2 Experimental Setup -- 4.3 Implementation Details -- 5 Results -- 5.1 Research Question 1 -- 5.2 Research Question 2 -- 5.3 Research Question 3 -- 5.4 Research Question 4 -- 6 Discussion -- 7 Threats to Validity -- 8 Related Work -- 9 Conclusion -- References -- Process and Decision Mining -- From Loss of Interest to Denial: A Study on the Terminators of Process Mining Initiatives -- 1 Introduction -- 2 Background and Related Work. 3 Methodology and Research Methods. |
Record Nr. | UNINA-9910865246403321 |
Guizzardi Giancarlo
![]() |
||
Cham : , : Springer International Publishing AG, , 2024 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering [[electronic resource] ] : 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings / / edited by Selmin Nurcan, Pnina Soffer, Marko Bajec, Johann Eder |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXXIV, 592 p. 172 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Software engineering Database management Information technology Business—Data processing Information Systems Applications (incl. Internet) Software Engineering Database Management IT in Business Computer Appl. in Administrative Data Processing |
ISBN | 3-319-39696-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Collaboration -- Business Process Modeling -- Innovation, Gamication -- Mining and Business Process Performance -- Requirements Engineering -- Process Mining -- Conceptual Modeling -- Mining and Decision Support -- Cloud and Services -- Variability and Configuration -- Open Source Software -- Business Process Management. |
Record Nr. | UNISA-996465715803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering : 28th International Conference, CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings / / edited by Selmin Nurcan, Pnina Soffer, Marko Bajec, Johann Eder |
Edizione | [1st ed. 2016.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
Descrizione fisica | 1 online resource (XXXIV, 592 p. 172 illus.) |
Disciplina | 005.1 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Software engineering Database management Information technology Business—Data processing Information Systems Applications (incl. Internet) Software Engineering Database Management IT in Business Computer Appl. in Administrative Data Processing |
ISBN | 3-319-39696-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Collaboration -- Business Process Modeling -- Innovation, Gamication -- Mining and Business Process Performance -- Requirements Engineering -- Process Mining -- Conceptual Modeling -- Mining and Decision Support -- Cloud and Services -- Variability and Configuration -- Open Source Software -- Business Process Management. |
Record Nr. | UNINA-9910483163003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops [[electronic resource] ] : CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marcela Ruiz, Pnina Soffer |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (206 pages) |
Disciplina | 005.1 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Information technology - Management Business information services Software engineering Data protection Computer and Information Systems Applications Computer Application in Administrative Data Processing IT in Business Software Engineering Data and Information Security |
ISBN | 3-031-34985-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- HybridAIMS -- 1st International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS'23) -- Organization -- HybridAIMS23 Workshop Co-chairs -- HybridAIMS23 Workshop Program Committee -- A Morphological Box for AI Solutions: Evaluation, Refinement and Application Potentials -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Morphological Box for AI Solutions -- 2.2 AI Solution Development -- 3 Research Approach -- 4 Interview Planning and Conduction -- 5 Interview Findings -- 6 Analysis and Discussion -- 7 Application Potentials and Future Work -- References -- Enriching Enterprise Architecture Models with Healthcare Domain Knowledge -- 1 Introduction -- 2 Literature Review -- 2.1 Enterprise Modeling -- 2.2 Enterprise Modeling in Healthcare -- 2.3 Semantic Lifting of Enterprise Models -- 2.4 Medical Ontologies and Their Usage in Information Systems -- 2.5 Research Problem: Semantic Lifting of Enterprise Architecture Models in Healthcare -- 3 Research Method -- 4 Ontology-Based Enterprise Architecture Model Development -- 4.1 Domain Knowledge in Enterprise Architecture Model -- 4.2 Representation of Domain Knowledge as an Ontology -- 5 Ontology-Based Enterprise Architecture Model Implementation -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Supporting Reuse of Business Process Models by Semantic Annotation -- 1 Introduction -- 2 Literature Review -- 3 Research Method and Objective -- 4 Ontology Development for Model Reuse -- 5 Semantic Annotation Approach -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Position Paper - Hybrid Artificial Intelligence for Realizing a Leadership Assistant for Platform-Based Leadership Consulting -- 1 Introduction.
2 The Use Case - Development of a Platform-Based Digital Leadership Consulting -- 2.1 State-of-the-Art in Consulting 4.0 -- 2.2 Usage of Digital Platforms in Consulting -- 2.3 Challenges for Consultancies to Digitalize the Consulting Industry -- 2.4 Our Vision for Digital Leadership Consulting: The Leadership Assistant -- 3 The Need for Hybrid Artificial Intelligence -- 4 Conclusion and Outlook -- References -- Developing a Maturity Assessment Tool to Enable the Management of Artificial Intelligence for Organizations -- 1 Introduction -- 2 Research Approach -- 3 Development of the Maturity Assessment Tool -- 3.1 Objectives of the Maturity Assessment Tool -- 3.2 Design of the Horizontal User Interface Prototype -- 3.3 Demonstration and Evaluation of the Horizontal User Interface Prototype -- 3.4 Development of the Vertical Prototype -- 3.5 Demonstration and Evaluation of the Vertical Prototype -- 4 Conclusion -- References -- Mapping Time-Series Data on Process Patterns to Generate Synthetic Data -- 1 Introduction -- 2 Formalization of Control-Flow Patterns for Time-Series Data -- 2.1 Semantics of Activities -- 2.2 Sequence Pattern -- 2.3 Exclusive Choice -- 2.4 Simple Merge -- 2.5 Parallel Split -- 2.6 Synchronization -- 3 Application: Marine Time-Series Data -- 4 Implementation -- 5 Related Work -- 6 Conclusion -- References -- KG4SDSE -- 1st Workshop on Knowledge Graphs for Semantics-Driven Systems Engineering (KG4SDSE'23) -- Organization -- KG4SDSE Workshop Co-chairs -- KG4SDSE Workshop Program Committee -- Towards Crisis Response and Intervention Using Knowledge Graphs - CRISP Case Study -- 1 Introduction -- 2 CRISP Knowledge Graph -- 3 Crisis Management Model -- 4 Use Cases -- 4.1 Accessibility of Service Centers -- 4.2 Infrastructure Network Impact -- 5 Conclusions and Future Work -- References. The RAI Way: A Technical Analysis and Design Method for Building Enterprise Semantic Layers -- 1 Introduction -- 2 The RAI Way Method -- 2.1 Example of Use -- 2.2 Concept Reification -- 2.3 Data Weaving -- 3 Related Work -- 4 Summary and Future Work -- References -- Towards Recommendations for Knowledge-Graph-Based Requirements Management in Construction: A Report on the EU DigiChecks Project -- 1 Introduction -- 2 Background and Related Work -- 2.1 Current PRM Methods in the Construction Industry -- 2.2 Usage of Knowledge Graphs in Construction -- 3 The DigiChecks Framework Overview -- 3.1 The DigiChecks Architecture -- 3.2 Requirements for Automation in PRM -- 4 Requirements Management in DigiChecks -- 4.1 Requirements Explicitness and Automation Potential -- 4.2 First Explorations of Solutions -- 5 Conclusion and Future Work -- References -- Semantic Matching Through Knowledge Graphs: A Smart City Case -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Conceptual Modeling and Domain-Specific Modeling Languages -- 2.2 Knowledge Graphs, RDF and Linked Open Data -- 2.3 Related Work -- 3 Semantic Matching Between Domain-Specific Modeling Methods and Linked Open Data -- 3.1 Semantic Matching Model -- 3.2 A Smart City Implementation Scenario -- 4 Conclusion and Evaluation -- 4.1 Summary -- 4.2 SWOT Evaluation -- References -- A Linked Data Based Advanced Credit Rationale -- 1 Introduction -- 2 Approach to Create a Linked Data Based Credit Rationale -- 3 Evaluation Methodology -- 4 Results of the Evaluation -- 5 Conclusion and Future Work -- References -- Interactive Machine Learning of Knowledge Graph-Based Explainable Process Analysis -- 1 Introduction -- 2 Terms, Definitions and Previous Work -- 2.1 Terms and Definitions -- 2.2 Knowledge Graph-Based Explainable Process Analysis -- 3 Interactive Machine Learning for a Knowledge Graph. 3.1 Design -- 3.2 Assigning Weights by Verifying Results -- 3.3 Demonstration and Evaluation by a Case Study -- 4 Résumé and Perspectives -- References -- A Weighted Knowledge Graph for Representing the Results of a Systematic Literature Review -- 1 Introduction -- 2 Literature Review as the Basis of a Knowledge Graph -- 3 The Results of the Literature Review as a Knowledge Graph -- 4 Related Work and Discussion -- 5 Conclusion -- References -- Knowledge Engineering Formalizing DECENT Meta Model -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Research Approach -- 4 DECENT Knowledge Engineering -- 5 Formalization of DECENT -- 6 Evaluation -- 7 Conclusion -- Acknowledgement -- References -- Using Knowledge Graphs for Record Linkage: Challenges and Opportunities -- 1 Introduction -- 2 Background and Related Work -- 3 Using KGs for Solving RL Tasks -- 4 Concluding Remarks -- References -- Employing Knowledge Graphs for Capturing Semantic Aspects of Robotic Process Automation -- 1 Introduction -- 2 Related Work -- 3 Problem Context, Statement and Treatment -- 4 Treatment Design and Implementation -- 5 Demonstration Scenario -- 6 Query-Based Competence Evaluation -- 7 Conclusion -- References -- BC4IS and DGD -- International Workshop on Blockchain and Decentralized Governance Design for Information Systems (BC4IS'23 and DGD'23) -- Organization -- BC4IS Workshop Co-chairs -- BC4IS Workshop Steering Committee -- BC4IS Workshop Program Committee -- DGD Workshop Co-chairs -- DGD Workshop Program Committee -- Regulation-Friendly Privacy-Preserving Blockchain Based on zk-SNARK -- 1 Introduction -- 2 Related Work -- 3 Overview -- 3.1 System Model -- 3.2 Basic Workflow -- 4 Design Details of Transaction Flow -- 4.1 Initialization -- 4.2 Transaction Construction -- 4.3 Transaction Execution -- 4.4 Transaction Audit -- 5 Performance Analysis. 5.1 Results and Discussion -- 5.2 Substrate Framework -- 6 Conclusion -- References -- Blockchain Governance Design a Computer Science Perspective -- 1 Introduction -- 2 Research Approach -- 3 Conceptual Modeling for Blockchain Governance Design -- 3.1 Blockchain Networks in DAO Design Philosophy -- 3.2 Conceptual Modeling Method -- 4 Conclusion -- References -- The MEV Saga: Can Regulation Illuminate the Dark Forest? -- 1 Introduction -- 2 MEV Basics: The Dark Forest and Flash Boys 2.0 -- 3 PBS: How Does It Work and Why is it Important -- 4 Can Regulation Illuminate the Dark Forest? -- 4.1 Front-Running in Traditional Finance vs. DeFi -- 4.2 Regulating Central Points in a Decentralized World -- 5 Conclusion -- References -- Author Index. |
Record Nr. | UNISA-996546841103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2023 International Workshops, Zaragoza, Spain, June 12–16, 2023, Proceedings / / edited by Marcela Ruiz, Pnina Soffer |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 |
Descrizione fisica | 1 online resource (206 pages) |
Disciplina | 005.1 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Information technology - Management Business information services Software engineering Data protection Computer and Information Systems Applications Computer Application in Administrative Data Processing IT in Business Software Engineering Data and Information Security |
ISBN | 3-031-34985-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Organization -- Contents -- HybridAIMS -- 1st International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS'23) -- Organization -- HybridAIMS23 Workshop Co-chairs -- HybridAIMS23 Workshop Program Committee -- A Morphological Box for AI Solutions: Evaluation, Refinement and Application Potentials -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Morphological Box for AI Solutions -- 2.2 AI Solution Development -- 3 Research Approach -- 4 Interview Planning and Conduction -- 5 Interview Findings -- 6 Analysis and Discussion -- 7 Application Potentials and Future Work -- References -- Enriching Enterprise Architecture Models with Healthcare Domain Knowledge -- 1 Introduction -- 2 Literature Review -- 2.1 Enterprise Modeling -- 2.2 Enterprise Modeling in Healthcare -- 2.3 Semantic Lifting of Enterprise Models -- 2.4 Medical Ontologies and Their Usage in Information Systems -- 2.5 Research Problem: Semantic Lifting of Enterprise Architecture Models in Healthcare -- 3 Research Method -- 4 Ontology-Based Enterprise Architecture Model Development -- 4.1 Domain Knowledge in Enterprise Architecture Model -- 4.2 Representation of Domain Knowledge as an Ontology -- 5 Ontology-Based Enterprise Architecture Model Implementation -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Supporting Reuse of Business Process Models by Semantic Annotation -- 1 Introduction -- 2 Literature Review -- 3 Research Method and Objective -- 4 Ontology Development for Model Reuse -- 5 Semantic Annotation Approach -- 6 Evaluation -- 7 Conclusion and Future Work -- References -- Position Paper - Hybrid Artificial Intelligence for Realizing a Leadership Assistant for Platform-Based Leadership Consulting -- 1 Introduction.
2 The Use Case - Development of a Platform-Based Digital Leadership Consulting -- 2.1 State-of-the-Art in Consulting 4.0 -- 2.2 Usage of Digital Platforms in Consulting -- 2.3 Challenges for Consultancies to Digitalize the Consulting Industry -- 2.4 Our Vision for Digital Leadership Consulting: The Leadership Assistant -- 3 The Need for Hybrid Artificial Intelligence -- 4 Conclusion and Outlook -- References -- Developing a Maturity Assessment Tool to Enable the Management of Artificial Intelligence for Organizations -- 1 Introduction -- 2 Research Approach -- 3 Development of the Maturity Assessment Tool -- 3.1 Objectives of the Maturity Assessment Tool -- 3.2 Design of the Horizontal User Interface Prototype -- 3.3 Demonstration and Evaluation of the Horizontal User Interface Prototype -- 3.4 Development of the Vertical Prototype -- 3.5 Demonstration and Evaluation of the Vertical Prototype -- 4 Conclusion -- References -- Mapping Time-Series Data on Process Patterns to Generate Synthetic Data -- 1 Introduction -- 2 Formalization of Control-Flow Patterns for Time-Series Data -- 2.1 Semantics of Activities -- 2.2 Sequence Pattern -- 2.3 Exclusive Choice -- 2.4 Simple Merge -- 2.5 Parallel Split -- 2.6 Synchronization -- 3 Application: Marine Time-Series Data -- 4 Implementation -- 5 Related Work -- 6 Conclusion -- References -- KG4SDSE -- 1st Workshop on Knowledge Graphs for Semantics-Driven Systems Engineering (KG4SDSE'23) -- Organization -- KG4SDSE Workshop Co-chairs -- KG4SDSE Workshop Program Committee -- Towards Crisis Response and Intervention Using Knowledge Graphs - CRISP Case Study -- 1 Introduction -- 2 CRISP Knowledge Graph -- 3 Crisis Management Model -- 4 Use Cases -- 4.1 Accessibility of Service Centers -- 4.2 Infrastructure Network Impact -- 5 Conclusions and Future Work -- References. The RAI Way: A Technical Analysis and Design Method for Building Enterprise Semantic Layers -- 1 Introduction -- 2 The RAI Way Method -- 2.1 Example of Use -- 2.2 Concept Reification -- 2.3 Data Weaving -- 3 Related Work -- 4 Summary and Future Work -- References -- Towards Recommendations for Knowledge-Graph-Based Requirements Management in Construction: A Report on the EU DigiChecks Project -- 1 Introduction -- 2 Background and Related Work -- 2.1 Current PRM Methods in the Construction Industry -- 2.2 Usage of Knowledge Graphs in Construction -- 3 The DigiChecks Framework Overview -- 3.1 The DigiChecks Architecture -- 3.2 Requirements for Automation in PRM -- 4 Requirements Management in DigiChecks -- 4.1 Requirements Explicitness and Automation Potential -- 4.2 First Explorations of Solutions -- 5 Conclusion and Future Work -- References -- Semantic Matching Through Knowledge Graphs: A Smart City Case -- 1 Introduction -- 2 Theoretical Background and Related Work -- 2.1 Conceptual Modeling and Domain-Specific Modeling Languages -- 2.2 Knowledge Graphs, RDF and Linked Open Data -- 2.3 Related Work -- 3 Semantic Matching Between Domain-Specific Modeling Methods and Linked Open Data -- 3.1 Semantic Matching Model -- 3.2 A Smart City Implementation Scenario -- 4 Conclusion and Evaluation -- 4.1 Summary -- 4.2 SWOT Evaluation -- References -- A Linked Data Based Advanced Credit Rationale -- 1 Introduction -- 2 Approach to Create a Linked Data Based Credit Rationale -- 3 Evaluation Methodology -- 4 Results of the Evaluation -- 5 Conclusion and Future Work -- References -- Interactive Machine Learning of Knowledge Graph-Based Explainable Process Analysis -- 1 Introduction -- 2 Terms, Definitions and Previous Work -- 2.1 Terms and Definitions -- 2.2 Knowledge Graph-Based Explainable Process Analysis -- 3 Interactive Machine Learning for a Knowledge Graph. 3.1 Design -- 3.2 Assigning Weights by Verifying Results -- 3.3 Demonstration and Evaluation by a Case Study -- 4 Résumé and Perspectives -- References -- A Weighted Knowledge Graph for Representing the Results of a Systematic Literature Review -- 1 Introduction -- 2 Literature Review as the Basis of a Knowledge Graph -- 3 The Results of the Literature Review as a Knowledge Graph -- 4 Related Work and Discussion -- 5 Conclusion -- References -- Knowledge Engineering Formalizing DECENT Meta Model -- Abstract -- 1 Introduction -- 2 Related Work -- 3 Research Approach -- 4 DECENT Knowledge Engineering -- 5 Formalization of DECENT -- 6 Evaluation -- 7 Conclusion -- Acknowledgement -- References -- Using Knowledge Graphs for Record Linkage: Challenges and Opportunities -- 1 Introduction -- 2 Background and Related Work -- 3 Using KGs for Solving RL Tasks -- 4 Concluding Remarks -- References -- Employing Knowledge Graphs for Capturing Semantic Aspects of Robotic Process Automation -- 1 Introduction -- 2 Related Work -- 3 Problem Context, Statement and Treatment -- 4 Treatment Design and Implementation -- 5 Demonstration Scenario -- 6 Query-Based Competence Evaluation -- 7 Conclusion -- References -- BC4IS and DGD -- International Workshop on Blockchain and Decentralized Governance Design for Information Systems (BC4IS'23 and DGD'23) -- Organization -- BC4IS Workshop Co-chairs -- BC4IS Workshop Steering Committee -- BC4IS Workshop Program Committee -- DGD Workshop Co-chairs -- DGD Workshop Program Committee -- Regulation-Friendly Privacy-Preserving Blockchain Based on zk-SNARK -- 1 Introduction -- 2 Related Work -- 3 Overview -- 3.1 System Model -- 3.2 Basic Workflow -- 4 Design Details of Transaction Flow -- 4.1 Initialization -- 4.2 Transaction Construction -- 4.3 Transaction Execution -- 4.4 Transaction Audit -- 5 Performance Analysis. 5.1 Results and Discussion -- 5.2 Substrate Framework -- 6 Conclusion -- References -- Blockchain Governance Design a Computer Science Perspective -- 1 Introduction -- 2 Research Approach -- 3 Conceptual Modeling for Blockchain Governance Design -- 3.1 Blockchain Networks in DAO Design Philosophy -- 3.2 Conceptual Modeling Method -- 4 Conclusion -- References -- The MEV Saga: Can Regulation Illuminate the Dark Forest? -- 1 Introduction -- 2 MEV Basics: The Dark Forest and Flash Boys 2.0 -- 3 PBS: How Does It Work and Why is it Important -- 4 Can Regulation Illuminate the Dark Forest? -- 4.1 Front-Running in Traditional Finance vs. DeFi -- 4.2 Regulating Central Points in a Decentralized World -- 5 Conclusion -- References -- Author Index. |
Record Nr. | UNINA-9910731476103321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Information Systems Engineering Workshops : CAiSE 2013 International Workshops, Valencia, Spain, June 17-21, 2013, Proceedings / / edited by Xavier Franch, Pnina Soffer |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XLIV, 532 p. 167 illus.) |
Disciplina | 005.7 |
Collana | Lecture Notes in Business Information Processing |
Soggetto topico |
Application software
Software engineering Business information services Information technology - Management Artificial intelligence Computer and Information Systems Applications Software Engineering IT in Business Computer Application in Administrative Data Processing Artificial Intelligence |
ISBN | 3-642-38490-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Approaches for Enterprise Engineering Research (AppEER 2013) -- International Workshop on BUSiness/IT Alignment and Interoperability (BUSITAL 2013) -- International Workshop on Cognitive Aspects of Information Systems Engineering (COGNISE 2013) -- Workshop on Human-Centric Information Systems (HC-IS 2013) -- Next Generation Enterprise and Business Innovation Systems (NGEBIS 2013) -- International Workshop on Ontologies and Conceptual Modeling (OntoCom 2013) -- International Workshop on Variability Support in Information Systems (VarIS 2013) -- International Workshop on Information Systems Security Engineering (WISSE 2013). |
Record Nr. | UNINA-9910437594403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Business Process Management [[electronic resource] ] : 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014, Proceedings / / edited by Shazia Sadiq, Pnina Soffer, Hagen Völzer |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 434 p. 141 illus.) |
Disciplina | 658.054 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Information technology Business—Data processing Software engineering Information Systems Applications (incl. Internet) IT in Business Computer Appl. in Administrative Data Processing Software Engineering |
ISBN | 3-319-10172-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part: Declarative Processes -- Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces -- Hierarchical Declarative Modelling with Refinement and Sub-processes -- Discovering Target-Branched Declare Constraints -- Part: User-Centered Process Approaches -- Crowd-Based Mining of Reusable Process Model Patterns -- A Recommender System for Process Discovery -- Listen to Me: Improving Process Model Matching through User Feedback -- Part: Process Discovery -- Beyond Tasks and Gateways: Discovering BPMN Models with Subprocesses, Boundary Events and Activity Markers -- A Genetic Algorithm for Process Discovery Guided by Completeness, Precision and Simplicity -- Constructs Competition Miner: Process Control-Flow Discovery of BP-Domain Constructs -- Part: Integrative BPM -- Chopping Down Trees vs. Sharpening the Axe – Balancing the Development of BPM Capabilities with Process Improvement -- Implicit BPM: A Business Process Platform for Transparent Workflow Weaving -- Modeling Concepts for Internal Controls in Business Processes – An Empirically Grounded Extension of BPMN -- Part: Resource and Time Management in BPM -- Mining Resource Scheduling Protocols -- Dealing with Changes of Time-Aware Processes -- Temporal Anomaly Detection in Business Processes -- Part: Process Analytics -- A General Framework for Correlating Business Process Characteristics -- Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures -- Where Did I Go Wrong? Explaining Errors in Business Process Models -- Part: Industry Papers -- User-Friendly Property Specification and Process Verification – A Case Study with Vehicle-Commissioning Processes -- Analysis of Operational Data for Expertise Aware Staffing -- From a Family of State-Centric PAIS to a Configurable and Parameterized Business Process Architecture -- Part: Short Papers: Process Enabled Environments -- DRain: An Engine for Quality-of-Result Driven Process-Based Data Analytics -- Use Your Best Device! Enabling Device Changes at Runtime -- Specifying Flexible Human Behavior in Interaction-Intensive Process Environments -- Separating Execution and Data Management: A Key to Business Process-as-a-Service (BPaaS) -- Assessing the Need for Visibility of Business Processes – A Process Visibility Fit Framework -- Part: Short Papers: Discovery and Monitoring -- The Automated Discovery of Hybrid Processes -- Declarative Process Mining: Reducing Discovered Models Complexity by Pre-Processing Event Logs -- SECPI: Searching for Explanations for Clustered Process Instances -- Business Monitoring Framework for Process Discovery with Real-Life Logs -- Predictive Task Monitoring for Business Processes. |
Record Nr. | UNISA-996198263603316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Business Process Management : 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014, Proceedings / / edited by Shazia Sadiq, Pnina Soffer, Hagen Völzer |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 434 p. 141 illus.) |
Disciplina | 658.054 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Information technology Business—Data processing Software engineering Information Systems Applications (incl. Internet) IT in Business Computer Appl. in Administrative Data Processing Software Engineering |
ISBN | 3-319-10172-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part: Declarative Processes -- Monitoring Business Metaconstraints Based on LTL and LDL for Finite Traces -- Hierarchical Declarative Modelling with Refinement and Sub-processes -- Discovering Target-Branched Declare Constraints -- Part: User-Centered Process Approaches -- Crowd-Based Mining of Reusable Process Model Patterns -- A Recommender System for Process Discovery -- Listen to Me: Improving Process Model Matching through User Feedback -- Part: Process Discovery -- Beyond Tasks and Gateways: Discovering BPMN Models with Subprocesses, Boundary Events and Activity Markers -- A Genetic Algorithm for Process Discovery Guided by Completeness, Precision and Simplicity -- Constructs Competition Miner: Process Control-Flow Discovery of BP-Domain Constructs -- Part: Integrative BPM -- Chopping Down Trees vs. Sharpening the Axe – Balancing the Development of BPM Capabilities with Process Improvement -- Implicit BPM: A Business Process Platform for Transparent Workflow Weaving -- Modeling Concepts for Internal Controls in Business Processes – An Empirically Grounded Extension of BPMN -- Part: Resource and Time Management in BPM -- Mining Resource Scheduling Protocols -- Dealing with Changes of Time-Aware Processes -- Temporal Anomaly Detection in Business Processes -- Part: Process Analytics -- A General Framework for Correlating Business Process Characteristics -- Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures -- Where Did I Go Wrong? Explaining Errors in Business Process Models -- Part: Industry Papers -- User-Friendly Property Specification and Process Verification – A Case Study with Vehicle-Commissioning Processes -- Analysis of Operational Data for Expertise Aware Staffing -- From a Family of State-Centric PAIS to a Configurable and Parameterized Business Process Architecture -- Part: Short Papers: Process Enabled Environments -- DRain: An Engine for Quality-of-Result Driven Process-Based Data Analytics -- Use Your Best Device! Enabling Device Changes at Runtime -- Specifying Flexible Human Behavior in Interaction-Intensive Process Environments -- Separating Execution and Data Management: A Key to Business Process-as-a-Service (BPaaS) -- Assessing the Need for Visibility of Business Processes – A Process Visibility Fit Framework -- Part: Short Papers: Discovery and Monitoring -- The Automated Discovery of Hybrid Processes -- Declarative Process Mining: Reducing Discovered Models Complexity by Pre-Processing Event Logs -- SECPI: Searching for Explanations for Clustered Process Instances -- Business Monitoring Framework for Process Discovery with Real-Life Logs -- Predictive Task Monitoring for Business Processes. |
Record Nr. | UNINA-9910483523903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|