LEADER 10844nam 2200505 450 001 996472064403316 005 20221122131345.0 010 $a9783030928759$b(electronic bk.) 010 $z9783030928742 035 $a(MiAaPQ)EBC6962817 035 $a(Au-PeEL)EBL6962817 035 $a(CKB)21639920900041 035 $a(PPN)262172623 035 $a(EXLCZ)9921639920900041 100 $a20221122d2022 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aProcess querying methods /$fedited by Artem Polyvyanyy 210 1$aCham, Switzerland :$cSpringer,$d[2022] 210 4$dİ2022 215 $a1 online resource (541 pages) $cillustrations 300 $aIncludes index. 311 08$aPrint version: Polyvyanyy, Artem Process Querying Methods Cham : Springer International Publishing AG,c2022 9783030928742 320 $aIncludes bibliographical references and index. 327 $aIntro -- 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. 327 $a5 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. 327 $a3.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. 327 $a2 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. 327 $aProcess 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. 327 $a4.2 Similarity Score Based on Common Activity Names. 606 $aBusiness$xData processing 606 $aProcess mining 615 0$aBusiness$xData processing. 615 0$aProcess mining. 676 $a658.4034 702 $aPolyvyanyy$b Artem 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a996472064403316 996 $aProcess querying methods$92962688 997 $aUNISA LEADER 02681nam 22006494a 450 001 9910782813203321 005 20230721021137.0 010 $a1-383-04390-6 010 $a1-282-05322-1 010 $a9786612053221 010 $a0-19-155896-6 035 $a(CKB)1000000000725055 035 $a(EBL)431199 035 $a(OCoLC)319940579 035 $a(SSID)ssj0000203886 035 $a(PQKBManifestationID)11181587 035 $a(PQKBTitleCode)TC0000203886 035 $a(PQKBWorkID)10174643 035 $a(PQKB)11482024 035 $a(Au-PeEL)EBL431199 035 $a(CaPaEBR)ebr10288442 035 $a(CaONFJC)MIL205322 035 $a(MiAaPQ)EBC431199 035 $a(EXLCZ)991000000000725055 100 $a20080919d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aModality$b[electronic resource] /$fPaul Portner 210 $aOxford ;$aNew York $cOxford University Press$d2009 215 $a1 online resource (301 p.) 225 1 $aOxford linguistics 225 1 $aOxford surveys in semantics and pragmatics 300 $aDescription based upon print version of record. 311 $a0-19-929243-4 311 $a0-19-929242-6 320 $aIncludes bibliographical references (p. [267]-283) and index. 327 $aContents; List of Figures and Tables; Acknowledgments; General Preface; 1 Introduction; 2 Modal Logic; 3 Major Linguistic Theories of Modality; 4 Sentential Modality; 5 Modality and Other Intensional Categories; Bibliography; Index 330 $aThis comprehensive review and critical synthesis of research on modality focuses on formal theories within linguistics and related aspects of philosophical logic. It will be welcomed by students of linguistics at graduate level and above, as well as by researchers in philosophy, computational science, and related fields. - ;This is a book about semantic theories of modality. Its main goal is to explain and evaluate important contemporary theories within linguistics and to discuss a wide range of linguistic phenomena from the perspective of these theories. The introduction describes the variety 410 0$aOxford linguistics. 410 0$aOxford surveys in semantics and pragmatics. 606 $aModality (Linguistics) 606 $aModality (Logic) 615 0$aModality (Linguistics) 615 0$aModality (Logic) 676 $a415 686 $a08.33$2bcl 700 $aPortner$b Paul$0468043 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782813203321 996 $aModality$93835070 997 $aUNINA