top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Outcome-Based Performance Management in the Public Sector [[electronic resource] /] / edited by Elio Borgonovi, Eugenio Anessi-Pessina, Carmine Bianchi
Outcome-Based Performance Management in the Public Sector [[electronic resource] /] / edited by Elio Borgonovi, Eugenio Anessi-Pessina, Carmine Bianchi
Edizione [1st ed. 2018.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Descrizione fisica 1 online resource (XVI, 448 p. 92 illus., 32 illus. in color.)
Disciplina 658.4034
Collana System Dynamics for Performance Management & Governance
Soggetto topico Operations research
Decision making
Public policy
Public administration
Operations Research/Decision Theory
Public Policy
Public Administration
ISBN 3-319-57018-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Introduction - by Elio Borgonovi, Eugenio Anessi Pessina, and Carmine Bianchi -- Part 1: The design of Outcome-Based Performance Management Systems in the Public Sector -- Rajala, Laihonen & Vakkuri - Shifting from Output to Outcome Measurement in Public Administration – Arguments Revisited -- Spano & Aroni - Organizational Performance in the Italian Healthcare Sector -- Garlatti, Fedele & Ianniello - The iron law of unintended effects, again? -- Outcome measures and blame-avoidance -- Bivona & Cosenz - Designing outcome-based performance management systems to assess policies impacting on caesarean section rate: an analysis of the Sicilian maternity pathway -- Part 2: Towards Outcome-Based Performance Management: experiences and trends from different countries -- Mackie - The Scottish Government’s System of Outcome-Based Performance Management: A Case Study of the National Performance Framework and Scotland Performs -- Minassians & Roy - Governance Structures and the “(De)Politicization” of -- Performance Measures -- Ricci & Civitillo - Italian Public Administration Reform: what are the limits of financial performance measures? -- Part 3: Enhancing Governance and Inter-institutional coordination through Outcome-Based Performance Management -- Bianchi & Peters - Measuring Coordination and Coherence: Assessing Performance Across the Public Sector -- Brusati, Fedele, Ianniello & Iacuzzi - Outcome-based performance management in the public sector: what role for inter-organizational ICT networks? -- Wheat & Bardach - Disappointing Outcomes: Can Implementation Modeling Help? -- Part 4: Applying Outcome-Based Performance Management: experiences from different public sector domains -- Cuccinello, Nasi & Degara - Evaluation of innovation performance in the public sector: a systematic review of studies -- Martone, Sciaroni & Righetti - Measuring the impact of training on Public Manager performance: the case of Canton Ticino (An ex-post analysis) -- Fadda, Paglietti, Reginato & Pavan - Analysing corruption: effects on the transparency of public administrations -- Aversano, Manes Rossi & Tartaglia Polcini - Performance measurement systems in universities: A critical review of the Italian system -- Francesconi & Guarini - Performance-based funding and internal resource allocation: The case of Italian universities -- Bonollo & Zuccardi Merli - Performance Reporting in Italian Public Universities: Activities in Support of Research, Teaching, and the “Third Mission” -- Vecchi - Performance Management Uses, Outcome Measures and Mechanisms-Based Explanations. The Case of the Judicial Sector. -- Meneguzzo, Fiorani & Frondizi - Performance management and evaluation of large-scale events in a multistakeholder engagement perspective: the case of the Extraordinary Jubilee of Mercy -- Part 5: Dealing with the challenges of outcome-based performance management: Innovative methods and tools -- Sexton, Comunale, Higueira & Stickle - Performance Benchmarking of School Districts in New York State -- Schwaninger & Klocker - Efficiency versus Effectiveness in Hospitals: -- A Dynamic Simulation Approach -- Herrera - Public policy design for climate change adaptation: a dynamic performance management approach to enhance resilience .
Record Nr. UNINA-9910298214003321
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
The Palgrave Handbook of Operations Research [[electronic resource] /] / edited by Saïd Salhi, John Boylan
The Palgrave Handbook of Operations Research [[electronic resource] /] / edited by Saïd Salhi, John Boylan
Edizione [1st ed. 2022.]
Pubbl/distr/stampa Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2022
Descrizione fisica 1 online resource (923 pages) : illustrations
Disciplina 658.4034
Soggetto topico Operations research
Technological innovations
Production management
Operations Research and Decision Theory
Innovation and Technology Management
Operations Management
ISBN 3-030-96935-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Part I:- Discrete (Combinatorial) Optimisation -- Chapter 1:-Bilevel Discrete Optimisation: Computational Complexity and Applications -- Chapter 2:-Discrete Location Problems with Uncertainty -- Chapter 3:-Integrated vehicle routing problems: A survey -- Chapter 4:- The knapsack problem and its variants: Formulations and solution methods -- Chapter 5:- Rank aggregation: models and algorithms -- Part II:-Continuous (Global) Optimisation -- Chapter 7:- Competitive Facilities Location -- Chapter 8:- Interval tools in branch-and-bound methods for global optimization -- Chapter 9:-Continuous Facility Location Problems -- Chapter 10:-Data Envelopment Analysis: Recent developments and challenges -- Part III:- Heuristic Search Optimisation -- Chapter 11:- An Overview of Heuristics and Metaheuristics -- Chapter 12:- Formulation space search metaheuristic -- Chapter 13:- Sine Cosine Algorithm: Introduction and Advances -- Chapter 14:-Less is more approach in heuristic optimization -- Chapter 15:- The New Era of Hybridisation and Learning in Heuristic Search Design -- Part IV:- Forecasting, Simulation and Prediction -- Chapter 16:-Forecasting with Judgment -- Chapter 1:- Input Uncertainty in Stochastic Simulation -- Chapter 18:-Fuzzy multi-attribute decision-making: Theory, methods and Applications -- Chapter 19:- Importance measures in reliability engineering: an introductory overview -- Chapter 20:- Queues with variable service speeds: Exact results and scaling limits -- Chapter 21:-Forecasting and its Beneficiaries -- Part V:-Problem Structuring and Behavioural -- Chapter 22:- Behavioural OR: Recent developments and future perspectives -- Chapter 23:- Problem structuring methods: Taking stock and looking ahead -- Chapter 24:- Are PSMs relevant in a digital age? Towards an ethical dimensionPart VI Recent OR Applications -- Chapter 25:- Recent Advances in Big Data Analytics -- Chapter 26:- OR/MS Models for the Humanitarian-Business Partnership -- Chapter 27:- Drones and delivery robots: Models and applications to last mile delivery -- Chapter 28:- Evaluating the Quality of Radiation Therapy Treatment Plans Using Data Envelopment Analysis.
Record Nr. UNINA-9910584597503321
Cham : , : Springer International Publishing : , : Imprint : Palgrave Macmillan, , 2022
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Process querying methods / / edited by Artem Polyvyanyy
Process querying methods / / edited by Artem Polyvyanyy
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2022]
Descrizione fisica 1 online resource (541 pages) : illustrations
Disciplina 658.4034
Soggetto topico Business - Data processing
Process mining
ISBN 9783030928759
9783030928742
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Foreword -- References -- Preface -- References -- Contents -- Contributors -- Acronyms -- Introduction to Process Querying -- 1 Introduction -- 2 Process Querying -- 2.1 Objective -- 2.2 Definition -- 2.3 Methods -- 3 Process Querying Framework -- 3.1 Framework -- 3.2 Design Decisions -- 3.3 Challenges and Compromise -- 3.3.1 Challenges -- 3.3.2 Compromise -- 4 Conclusion -- References -- Part I Event Log Querying -- BP-SPARQL: A Query Language for Summarizing and Analyzing Big Process Data -- 1 Introduction -- 2 Background and Contributions Overview -- 3 Process Abstractions -- 4 Summarizing Big Process Data -- 5 Querying Big Process Data -- 5.1 Entity-Level Queries -- 5.2 Summarization Queries -- 5.3 Regular Expression Queries -- 5.3.1 Path Condition Queries -- 5.3.2 Path Node Queries -- 5.4 Metadata Queries -- 5.5 User-Defined Queries -- 6 Scalable Analysis Using MapReduce -- 7 Implementation -- 8 Process Querying Framework -- 9 Conclusion -- References -- Data-Aware Process Oriented Query Language -- 1 Introduction -- 2 Preliminaries -- 3 DAPOQ-Lang -- 3.1 Syntax -- 3.1.1 Terminal Meta Model Elements -- 3.1.2 Elements Related to Elements -- 3.1.3 Computation of Temporal Values -- 3.1.4 Temporal Interval Algebra -- 3.1.5 Operators on Attributes of Elements -- 3.1.6 Abstract Syntax -- 3.2 Semantics -- 4 Implementation and Evaluation -- 5 Application and Use Cases -- 5.1 Business Questions in Process Mining -- 5.2 Exporting Logs -- 5.3 Specialized Sublogs -- 5.4 Metrics, Artifacts, and Provenance -- 5.5 DAPOQ-Lang vs. SQL -- 6 DAPOQ-Lang and the Process Querying Framework -- 7 Conclusion -- References -- Process Instance Query Language and the Process Querying Framework -- 1 Introduction -- 2 Background -- 3 Motivating Scenario -- 4 Process Instance Query Language -- 4.1 Syntax -- 4.2 Semantics -- 4.3 Patterns and Predicates.
5 Implementation -- 6 Application -- 6.1 Dashboard Enriched with PIQL -- 6.2 DMN Enriched with PIQL -- 6.3 Dataflow Enriched with PIQL -- 7 Framework -- 8 Conclusions and Future Work -- References -- Part II Process Model Querying -- The Diagramed Model Query Language 2.0: Design, Implementation, and Evaluation -- 1 Introduction -- 2 Preliminaries -- 3 The Generic Model Query Language (GMQL) -- 3.1 Syntax -- 3.2 Semantics, Notation, and Query Example -- 3.3 The Transition from GMQL to DMQL -- 4 The Diagramed Model Query Language (DMQL) -- 4.1 Syntax -- 4.2 Notation -- 4.3 Semantics -- 4.4 Query Example -- 4.5 DMQL 2.0 -- 5 Evaluation -- 5.1 Runtime Complexity -- 5.2 Performance -- 5.3 Utility -- 6 GMQL, DMQL, and the Process Querying Framework -- 7 Conclusion -- References -- VM*: A Family of Visual Model Manipulation Languages -- 1 Introduction -- 2 Examples -- 2.1 High-Level Process Models Expressed as Use Case Diagrams -- 2.2 Low-Level Process Models Expressed as Activity Diagrams -- 2.3 Low-Level Process Models Expressed as BPMN Diagrams -- 3 Query Language -- 3.1 Abstract Syntax -- 3.2 Concrete Syntax -- 3.3 Semantics -- 4 Implementation -- 5 Usability Evaluation -- 6 Applications and Use Cases -- 7 VM* and PQF -- 8 Conclusion -- References -- The BPMN Visual Query Language and Process Querying Framework -- 1 Introduction -- 2 Background -- 3 BPMN VQL -- 3.1 Syntax -- 3.2 Semantics and Notation -- 4 Implementation and Evaluation -- 4.1 Implementation -- 4.2 Performance Evaluation -- 4.3 Empirical Evaluation -- 4.3.1 Experiment Definition, Planning, and Design -- 4.3.2 Experimental Results -- 4.3.3 Discussion -- 5 Framework -- 6 Conclusion and Future Work -- References -- Retrieving, Abstracting, and Changing Business Process Models with PQL -- 1 Introduction -- 2 Use Cases -- 3 Fundamentals of Process Model Abstractions -- 3.1 Process Model.
3.2 Changing Process Models -- 3.3 Process Model Abstractions -- 3.4 Updating Process Models Based on Model Abstractions -- 4 The PQL Language -- 4.1 Overview -- 4.2 Selecting Process Models and Process Elements -- 4.3 Changing Process Models -- 4.4 Abstracting Process Models -- 4.5 Handling Process Views with PQL -- 4.5.1 Creating, Updating, and Deleting Process Views -- 4.5.2 Changing Abstracted Process Models -- 5 Implementation -- 5.1 Software Architecture -- 5.2 Processing Pipeline -- 5.3 PQL Lexer and Parser -- 6 PQL and the Process Querying Framework -- 6.1 Part 1: Model, Simulate, Record, and Correlate -- 6.2 Part 2: Prepare -- 6.3 Part 3: Execute -- 6.4 Part 4: Interpret -- 7 Conclusion -- References -- QuBPAL: Querying Business Process Knowledge -- 1 Introduction -- 2 Business Process Knowledge Base -- 2.1 Business Process Schemas -- 2.2 Behavioral Semantics -- 2.3 Semantic Annotations -- 2.3.1 Rule-Based Ontologies -- 2.3.2 Terminological Annotations -- 2.3.3 Functional Annotations -- 3 Querying the Business Process Knowledge Base -- 3.1 Syntax -- Predicates of the WHERE Statement -- 3.2 Semantics -- 3.3 Query Examples -- 4 Use Cases -- 5 Implementation -- 5.1 Graphical User Interface -- 5.2 Application Logic -- 5.3 Knowledge Layer -- 6 Framework -- 7 Conclusions and Future Work -- References -- CRL and the Design-Time Compliance Management Framework -- 1 Introduction -- 2 CRL Framework -- 2.1 ``Model'' Part -- 2.2 ``Knowledge'' Part -- 2.3 ``Execute'' Part -- 2.4 ``Interpret'' Part -- 3 Case Study -- 4 Linear Temporal Logic -- 5 Compliance Request Language -- 5.1 Syntax, Notation, and Semantics -- 5.2 Atomic Patterns -- 5.3 Resource Patterns -- 5.4 Composite Patterns -- 5.5 Timed Patterns -- 6 Implementation -- 7 Validation and Evaluation -- 8 Discussion and Conclusion -- References -- Process Query Language -- 1 Introduction.
2 Motivating Examples -- 3 Process Query Language -- 3.1 Process Querying -- 3.1.1 Behavioral Predicates -- 3.1.2 Scenarios -- 3.2 Process Manipulation -- 4 Process Querying Framework -- 5 Implementation -- 6 Discussion -- 6.1 Querying and Manipulation -- 6.2 Quality -- 6.3 Suitability -- 6.4 Decidability and Efficiency -- 7 Conclusion -- References -- Part III Event Log and Process Model Querying -- Business Process Query Language -- 1 Introduction -- 2 Business Process Metamodel -- 3 Query Language -- 3.1 Syntax -- 3.2 Semantics -- 3.2.1 Architecture of the Query Evaluation Mechanism -- 3.2.2 Environment Stack -- 3.2.3 Query Result Stack -- 3.2.4 Query Evaluation Procedure -- 3.2.5 Collections and Structs -- 3.2.6 Literals and Names -- 3.2.7 Algebraic Operators -- 3.2.8 Non-algebraic Operators -- 3.2.9 Imperative Constructs -- 3.2.10 Procedures and Functions -- 3.2.11 Predefined Context-Dependent Functions -- 4 Monitoring Functions -- 4.1 Settlement of Travel Expenses Example -- 5 Architecture and Standardization -- 5.1 BPQL Embedded in BPMN -- 5.2 Architecture -- 6 Case Study -- 7 Conclusion -- References -- Celonis PQL: A Query Language for Process Mining -- 1 Introduction -- 2 Background -- 2.1 Process Mining -- 2.2 Architecture Overview -- 2.3 History of Celonis PQL -- 2.4 Design Goals -- 3 Applications -- 4 The Celonis Process Query Language -- 4.1 Language Overview -- 4.2 Source and Target Operators -- 4.3 Variant Computation -- 4.4 Conformance Checking -- 5 Use Cases -- 5.1 Working Capital Optimization by On-Time Payment of Invoices -- 5.2 Identifying Ping-Pong-Cases for Ticket Resolution Time Reduction -- 5.3 Fraud Prevention by Identifying Segregation of Duties Violations -- 6 Implementation -- 7 Celonis PQL and the Process Querying Framework -- 8 Conclusion and Future Work -- References -- Part IV Other Process Querying Methods.
Process Querying Using Process Model Similarity -- 1 Introduction -- 2 Measures of Business Process Similarity -- 2.1 Preliminaries -- 2.2 Activity-Based Similarity Measures -- 2.3 Structure-Based Similarity Measures -- 2.4 Behavior-Based Similarity Measures -- 3 Indexing Structures for Business Process Similarity -- 3.1 Tree-Based Index and Proper Metrics -- 3.2 F-Net -- 4 Use Case: Finding Optimal Outsourcing Partners -- 4.1 Scenarios and Requirements for Business Process Outsourcing -- 4.2 Matching and Similarity Measures -- 4.3 Post-Matching -- 4.4 Similarity Measures in Business Process Outsourcing -- 5 Process Similarity Querying and the Process Querying Framework -- 6 Conclusion -- References -- Logic-Based Approaches for Process Querying -- 1 Introduction -- 2 Background -- 2.1 Business Process Model and Notation -- 2.2 The Soundness Property -- 3 Process Querying Using Prolog -- 3.1 Expressing the Model as Logic Facts -- 3.2 Checking Syntactical Correctness -- 3.3 Checking for Proper Layout -- 3.4 Locating Patterns Indicating a Soundness Violation -- 3.5 Locating Incorrect and Ambiguous Labels -- 3.6 Suggesting Process Model Refactoring -- 3.7 Suggesting Process Improvements -- 4 Process Querying Using Semantic Technologies -- 4.1 Querying Process Models Stored as Ontologies -- 4.2 Querying Process Models Stored in Graph-Oriented DB -- 5 Process Querying Framework -- 6 Conclusion -- References -- Process Model Similarity Techniques for Process Querying -- 1 Introduction -- 2 Foundations -- 2.1 Business Process Model -- 2.2 Business Process Instances -- 2.3 Business Process Model Matching -- 2.4 Business Process Model Similarity -- 2.5 Evaluation Measures -- 3 Process Model Querying and Similarity-Based Search -- 4 Selection of Similarity Techniques -- 4.1 Latent Semantic Analysis-Based Similarity Search.
4.2 Similarity Score Based on Common Activity Names.
Record Nr. UNINA-9910568283403321
Cham, Switzerland : , : Springer, , [2022]
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Process querying methods / / edited by Artem Polyvyanyy
Process querying methods / / edited by Artem Polyvyanyy
Pubbl/distr/stampa Cham, Switzerland : , : Springer, , [2022]
Descrizione fisica 1 online resource (541 pages) : illustrations
Disciplina 658.4034
Soggetto topico Business - Data processing
Process mining
ISBN 9783030928759
9783030928742
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Intro -- Foreword -- References -- Preface -- References -- Contents -- Contributors -- Acronyms -- Introduction to Process Querying -- 1 Introduction -- 2 Process Querying -- 2.1 Objective -- 2.2 Definition -- 2.3 Methods -- 3 Process Querying Framework -- 3.1 Framework -- 3.2 Design Decisions -- 3.3 Challenges and Compromise -- 3.3.1 Challenges -- 3.3.2 Compromise -- 4 Conclusion -- References -- Part I Event Log Querying -- BP-SPARQL: A Query Language for Summarizing and Analyzing Big Process Data -- 1 Introduction -- 2 Background and Contributions Overview -- 3 Process Abstractions -- 4 Summarizing Big Process Data -- 5 Querying Big Process Data -- 5.1 Entity-Level Queries -- 5.2 Summarization Queries -- 5.3 Regular Expression Queries -- 5.3.1 Path Condition Queries -- 5.3.2 Path Node Queries -- 5.4 Metadata Queries -- 5.5 User-Defined Queries -- 6 Scalable Analysis Using MapReduce -- 7 Implementation -- 8 Process Querying Framework -- 9 Conclusion -- References -- Data-Aware Process Oriented Query Language -- 1 Introduction -- 2 Preliminaries -- 3 DAPOQ-Lang -- 3.1 Syntax -- 3.1.1 Terminal Meta Model Elements -- 3.1.2 Elements Related to Elements -- 3.1.3 Computation of Temporal Values -- 3.1.4 Temporal Interval Algebra -- 3.1.5 Operators on Attributes of Elements -- 3.1.6 Abstract Syntax -- 3.2 Semantics -- 4 Implementation and Evaluation -- 5 Application and Use Cases -- 5.1 Business Questions in Process Mining -- 5.2 Exporting Logs -- 5.3 Specialized Sublogs -- 5.4 Metrics, Artifacts, and Provenance -- 5.5 DAPOQ-Lang vs. SQL -- 6 DAPOQ-Lang and the Process Querying Framework -- 7 Conclusion -- References -- Process Instance Query Language and the Process Querying Framework -- 1 Introduction -- 2 Background -- 3 Motivating Scenario -- 4 Process Instance Query Language -- 4.1 Syntax -- 4.2 Semantics -- 4.3 Patterns and Predicates.
5 Implementation -- 6 Application -- 6.1 Dashboard Enriched with PIQL -- 6.2 DMN Enriched with PIQL -- 6.3 Dataflow Enriched with PIQL -- 7 Framework -- 8 Conclusions and Future Work -- References -- Part II Process Model Querying -- The Diagramed Model Query Language 2.0: Design, Implementation, and Evaluation -- 1 Introduction -- 2 Preliminaries -- 3 The Generic Model Query Language (GMQL) -- 3.1 Syntax -- 3.2 Semantics, Notation, and Query Example -- 3.3 The Transition from GMQL to DMQL -- 4 The Diagramed Model Query Language (DMQL) -- 4.1 Syntax -- 4.2 Notation -- 4.3 Semantics -- 4.4 Query Example -- 4.5 DMQL 2.0 -- 5 Evaluation -- 5.1 Runtime Complexity -- 5.2 Performance -- 5.3 Utility -- 6 GMQL, DMQL, and the Process Querying Framework -- 7 Conclusion -- References -- VM*: A Family of Visual Model Manipulation Languages -- 1 Introduction -- 2 Examples -- 2.1 High-Level Process Models Expressed as Use Case Diagrams -- 2.2 Low-Level Process Models Expressed as Activity Diagrams -- 2.3 Low-Level Process Models Expressed as BPMN Diagrams -- 3 Query Language -- 3.1 Abstract Syntax -- 3.2 Concrete Syntax -- 3.3 Semantics -- 4 Implementation -- 5 Usability Evaluation -- 6 Applications and Use Cases -- 7 VM* and PQF -- 8 Conclusion -- References -- The BPMN Visual Query Language and Process Querying Framework -- 1 Introduction -- 2 Background -- 3 BPMN VQL -- 3.1 Syntax -- 3.2 Semantics and Notation -- 4 Implementation and Evaluation -- 4.1 Implementation -- 4.2 Performance Evaluation -- 4.3 Empirical Evaluation -- 4.3.1 Experiment Definition, Planning, and Design -- 4.3.2 Experimental Results -- 4.3.3 Discussion -- 5 Framework -- 6 Conclusion and Future Work -- References -- Retrieving, Abstracting, and Changing Business Process Models with PQL -- 1 Introduction -- 2 Use Cases -- 3 Fundamentals of Process Model Abstractions -- 3.1 Process Model.
3.2 Changing Process Models -- 3.3 Process Model Abstractions -- 3.4 Updating Process Models Based on Model Abstractions -- 4 The PQL Language -- 4.1 Overview -- 4.2 Selecting Process Models and Process Elements -- 4.3 Changing Process Models -- 4.4 Abstracting Process Models -- 4.5 Handling Process Views with PQL -- 4.5.1 Creating, Updating, and Deleting Process Views -- 4.5.2 Changing Abstracted Process Models -- 5 Implementation -- 5.1 Software Architecture -- 5.2 Processing Pipeline -- 5.3 PQL Lexer and Parser -- 6 PQL and the Process Querying Framework -- 6.1 Part 1: Model, Simulate, Record, and Correlate -- 6.2 Part 2: Prepare -- 6.3 Part 3: Execute -- 6.4 Part 4: Interpret -- 7 Conclusion -- References -- QuBPAL: Querying Business Process Knowledge -- 1 Introduction -- 2 Business Process Knowledge Base -- 2.1 Business Process Schemas -- 2.2 Behavioral Semantics -- 2.3 Semantic Annotations -- 2.3.1 Rule-Based Ontologies -- 2.3.2 Terminological Annotations -- 2.3.3 Functional Annotations -- 3 Querying the Business Process Knowledge Base -- 3.1 Syntax -- Predicates of the WHERE Statement -- 3.2 Semantics -- 3.3 Query Examples -- 4 Use Cases -- 5 Implementation -- 5.1 Graphical User Interface -- 5.2 Application Logic -- 5.3 Knowledge Layer -- 6 Framework -- 7 Conclusions and Future Work -- References -- CRL and the Design-Time Compliance Management Framework -- 1 Introduction -- 2 CRL Framework -- 2.1 ``Model'' Part -- 2.2 ``Knowledge'' Part -- 2.3 ``Execute'' Part -- 2.4 ``Interpret'' Part -- 3 Case Study -- 4 Linear Temporal Logic -- 5 Compliance Request Language -- 5.1 Syntax, Notation, and Semantics -- 5.2 Atomic Patterns -- 5.3 Resource Patterns -- 5.4 Composite Patterns -- 5.5 Timed Patterns -- 6 Implementation -- 7 Validation and Evaluation -- 8 Discussion and Conclusion -- References -- Process Query Language -- 1 Introduction.
2 Motivating Examples -- 3 Process Query Language -- 3.1 Process Querying -- 3.1.1 Behavioral Predicates -- 3.1.2 Scenarios -- 3.2 Process Manipulation -- 4 Process Querying Framework -- 5 Implementation -- 6 Discussion -- 6.1 Querying and Manipulation -- 6.2 Quality -- 6.3 Suitability -- 6.4 Decidability and Efficiency -- 7 Conclusion -- References -- Part III Event Log and Process Model Querying -- Business Process Query Language -- 1 Introduction -- 2 Business Process Metamodel -- 3 Query Language -- 3.1 Syntax -- 3.2 Semantics -- 3.2.1 Architecture of the Query Evaluation Mechanism -- 3.2.2 Environment Stack -- 3.2.3 Query Result Stack -- 3.2.4 Query Evaluation Procedure -- 3.2.5 Collections and Structs -- 3.2.6 Literals and Names -- 3.2.7 Algebraic Operators -- 3.2.8 Non-algebraic Operators -- 3.2.9 Imperative Constructs -- 3.2.10 Procedures and Functions -- 3.2.11 Predefined Context-Dependent Functions -- 4 Monitoring Functions -- 4.1 Settlement of Travel Expenses Example -- 5 Architecture and Standardization -- 5.1 BPQL Embedded in BPMN -- 5.2 Architecture -- 6 Case Study -- 7 Conclusion -- References -- Celonis PQL: A Query Language for Process Mining -- 1 Introduction -- 2 Background -- 2.1 Process Mining -- 2.2 Architecture Overview -- 2.3 History of Celonis PQL -- 2.4 Design Goals -- 3 Applications -- 4 The Celonis Process Query Language -- 4.1 Language Overview -- 4.2 Source and Target Operators -- 4.3 Variant Computation -- 4.4 Conformance Checking -- 5 Use Cases -- 5.1 Working Capital Optimization by On-Time Payment of Invoices -- 5.2 Identifying Ping-Pong-Cases for Ticket Resolution Time Reduction -- 5.3 Fraud Prevention by Identifying Segregation of Duties Violations -- 6 Implementation -- 7 Celonis PQL and the Process Querying Framework -- 8 Conclusion and Future Work -- References -- Part IV Other Process Querying Methods.
Process Querying Using Process Model Similarity -- 1 Introduction -- 2 Measures of Business Process Similarity -- 2.1 Preliminaries -- 2.2 Activity-Based Similarity Measures -- 2.3 Structure-Based Similarity Measures -- 2.4 Behavior-Based Similarity Measures -- 3 Indexing Structures for Business Process Similarity -- 3.1 Tree-Based Index and Proper Metrics -- 3.2 F-Net -- 4 Use Case: Finding Optimal Outsourcing Partners -- 4.1 Scenarios and Requirements for Business Process Outsourcing -- 4.2 Matching and Similarity Measures -- 4.3 Post-Matching -- 4.4 Similarity Measures in Business Process Outsourcing -- 5 Process Similarity Querying and the Process Querying Framework -- 6 Conclusion -- References -- Logic-Based Approaches for Process Querying -- 1 Introduction -- 2 Background -- 2.1 Business Process Model and Notation -- 2.2 The Soundness Property -- 3 Process Querying Using Prolog -- 3.1 Expressing the Model as Logic Facts -- 3.2 Checking Syntactical Correctness -- 3.3 Checking for Proper Layout -- 3.4 Locating Patterns Indicating a Soundness Violation -- 3.5 Locating Incorrect and Ambiguous Labels -- 3.6 Suggesting Process Model Refactoring -- 3.7 Suggesting Process Improvements -- 4 Process Querying Using Semantic Technologies -- 4.1 Querying Process Models Stored as Ontologies -- 4.2 Querying Process Models Stored in Graph-Oriented DB -- 5 Process Querying Framework -- 6 Conclusion -- References -- Process Model Similarity Techniques for Process Querying -- 1 Introduction -- 2 Foundations -- 2.1 Business Process Model -- 2.2 Business Process Instances -- 2.3 Business Process Model Matching -- 2.4 Business Process Model Similarity -- 2.5 Evaluation Measures -- 3 Process Model Querying and Similarity-Based Search -- 4 Selection of Similarity Techniques -- 4.1 Latent Semantic Analysis-Based Similarity Search.
4.2 Similarity Score Based on Common Activity Names.
Record Nr. UNISA-996472064403316
Cham, Switzerland : , : Springer, , [2022]
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Queues [[electronic resource] ] : A Course in Queueing Theory / / by Moshe Haviv
Queues [[electronic resource] ] : A Course in Queueing Theory / / by Moshe Haviv
Autore Haviv Moshe
Edizione [1st ed. 2013.]
Pubbl/distr/stampa New York, NY : , : Springer New York : , : Imprint : Springer, , 2013
Descrizione fisica 1 online resource (232 p.)
Disciplina 658.4034
Collana International Series in Operations Research & Management Science
Soggetto topico Operations research
Decision making
Management science
Mathematical models
Operations Research/Decision Theory
Operations Research, Management Science
Mathematical Modeling and Industrial Mathematics
ISBN 1-4614-6765-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto The Exponential Distribution and the Poisson Process -- Introduction to Renewal Theory -- Introduction to Markov Chains -- From Single Server Queues to M/G/1 -- Priorities and Scheduling in M/G/1 -- M/G/1 Using Markov Chains and LSTs -- The G/M/1 Queueing System -- Continuous-time Markov Chains and Memoryless Queues -- Open Networks of Exponential Queues -- Closed Networks of Exponential Queues -- Insensitivity and Product-form Queueing Models -- Two-dimensional Markov Processes and their Applications to Memoryless Queues.
Record Nr. UNINA-9910438258003321
Haviv Moshe  
New York, NY : , : Springer New York : , : Imprint : Springer, , 2013
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
RAIRO. Operations research = RO : recherche opérationnelle / [a cura dell'] Association française pour la cybernétique économique et technique
RAIRO. Operations research = RO : recherche opérationnelle / [a cura dell'] Association française pour la cybernétique économique et technique
Pubbl/distr/stampa Paris : Dunod
Descrizione fisica volumi ; 23 cm
Disciplina 658.4034
Soggetto topico Ricerca operativa - Periodici
Aziende - Direzione - Periodici
ISSN 0399-0559
Formato Materiale a stampa
Livello bibliografico Periodico
Lingua di pubblicazione fre
Note periodicità Bimestrale; dal 1977 trimestrale
Record Nr. UNISA-990001048600203316
Paris : Dunod
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Ricerca operativa / Federick S. Hillier, Gerald J. Lieberman ; edizione italiana a cura di Renato De Leone ; traduzione a cura di Mario Bisignano, Saul Giarratana, Marzia Rivi
Ricerca operativa / Federick S. Hillier, Gerald J. Lieberman ; edizione italiana a cura di Renato De Leone ; traduzione a cura di Mario Bisignano, Saul Giarratana, Marzia Rivi
Autore Hillier, Frederick S.
Edizione [8. ed.]
Pubbl/distr/stampa Milano : McGraw-Hill, c2006
Descrizione fisica XVI, 599 p. ; 27 cm
Disciplina 658.4034
Altri autori (Persone) Lieberman, Gerald J.
Collana Collana di istruzione scientifica, Serie di matematica
Soggetto non controllato AziendeDirezione
Ricerca operativa
ISBN 88-386-6242-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIPARTHENOPE-000008357
Hillier, Frederick S.  
Milano : McGraw-Hill, c2006
Materiale a stampa
Lo trovi qui: Univ. Parthenope
Opac: Controlla la disponibilità qui
Ricerca operativa / Massimo Pappalardo, Mauro Passacantando
Ricerca operativa / Massimo Pappalardo, Mauro Passacantando
Autore Pappalardo, Massimo
Edizione [2 ed.]
Pubbl/distr/stampa Pisa : University Press, c2012
Descrizione fisica 374 p. ; 24 cm
Disciplina 658.4034
Altri autori (Persone) Passacantando, Mauro
Collana Manuali
Soggetto non controllato Ricerca operativa
ISBN 978-886441-073-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNINA-9910230360003321
Pappalardo, Massimo  
Pisa : University Press, c2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Ricerca operativa / Massimo Pappalardo, Mauro Passacantando
Ricerca operativa / Massimo Pappalardo, Mauro Passacantando
Autore PAPPALARDO, Massimo
Edizione [2. ed.]
Pubbl/distr/stampa Pisa : Pisa University Press, copyr. 2012
Descrizione fisica 374 p. ; 24 cm
Disciplina 658.4034
Altri autori (Persone) PASSACANTANDO, Mauro
Collana Manuali
Soggetto topico Ricerca operativa
ISBN 978-88-6741-073-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-996226050403316
PAPPALARDO, Massimo  
Pisa : Pisa University Press, copyr. 2012
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Ricerca operativa nel project management : atti delle giornate Airo 1987 dell'associazione italiana di ricerca operativa : Milano, 23 -25 settembre
Ricerca operativa nel project management : atti delle giornate Airo 1987 dell'associazione italiana di ricerca operativa : Milano, 23 -25 settembre
Autore Associazione italiana di ricerca operativa
Pubbl/distr/stampa Milano : F. Angeli, 1987
Descrizione fisica 729 p. ; 22 cm.
Disciplina 658.4034(Ricerca operativa)
Soggetto topico Ricerca operativa
Aziende - Direzione
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005447130203316
Associazione italiana di ricerca operativa  
Milano : F. Angeli, 1987
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui