AAAI 2015 - Montali - Verification of Relational Multiagent Systems with Data Types
•
0 likes•212 views
Teaser presentation of the paper "Verification of Relational Multiagent Systems with Data Types" at the 29th AAAI Conference on Artificial Intelligence (AAAI 2015)
Report
Share
Report
Share
Download to read offline
Recommended
Invited seminar in the Hasselt University BINF Research Seminar Series. I discuss the needed transition from case-centric process models where there is a single notion of case and process instances are evolved in isolation, to object-centric processes where multiple, interrelated objects are co-evolved synchronously ad asynchronously. Within this novel paradigm, I present two formal approaches, one extending declarative constraints with data correlations, the other enriching Petri nets with objects and relations.From Case-Isolated to Object-Centric Processes - A Tale of two Models
From Case-Isolated to Object-Centric Processes - A Tale of two ModelsFaculty of Computer Science - Free University of Bozen-Bolzano
Slides of our BPM 2022 paper on "Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting", which received the best paper award at the conference. Paper available here: https://link.springer.com/chapter/10.1007/978-3-031-16103-2_22Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting
Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic SettingFaculty of Computer Science - Free University of Bozen-Bolzano
Slides of the keynote speech on "Constraints for process framing in Augmented BPM" at the AI4BPM 2022 International Workshop, co-located with BPM 2022. The keynote focuses on the problem of "process framing" in the context of the new vision of "Augmented BPM", where BPM systems are augmented with AI capabilities. This vision is described in a manifesto, available here: https://arxiv.org/abs/2201.12855Constraints for Process Framing in Augmented BPM
Constraints for Process Framing in Augmented BPMFaculty of Computer Science - Free University of Bozen-Bolzano
Keynote speech at KES 2022 on "Intelligent Systems for Process Mining". I introduce process mining, discuss why process mining tasks should be approached by using intelligent systems, and show a concrete example of this combination, namely (anticipatory) monitoring of evolving processes against temporal constraints, using techniques from knowledge representation and formal methods (in particular, temporal logics over finite traces and their automata-theoretic characterization). Intelligent Systems for Process Mining
Intelligent Systems for Process MiningFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation on "From Case-Isolated to Object-Centric Processes - A Tale of Two Models" as part of the Hasselt University BINF Research Seminar Series (see https://www.uhasselt.be/en/onderzoeksgroepen-en/binf/research-seminar-series).From Case-Isolated to Object-Centric Processes
From Case-Isolated to Object-Centric ProcessesFaculty of Computer Science - Free University of Bozen-Bolzano
Invited seminar on "Modeling and Reasoning over Declarative Data-Aware Processes" as part of the KRDB Summer Online Seminars 2020 (https://www.inf.unibz.it/krdb/sos-2020/).Modeling and Reasoning over Declarative Data-Aware Processes
Modeling and Reasoning over Declarative Data-Aware ProcessesFaculty of Computer Science - Free University of Bozen-Bolzano
Recommended
Invited seminar in the Hasselt University BINF Research Seminar Series. I discuss the needed transition from case-centric process models where there is a single notion of case and process instances are evolved in isolation, to object-centric processes where multiple, interrelated objects are co-evolved synchronously ad asynchronously. Within this novel paradigm, I present two formal approaches, one extending declarative constraints with data correlations, the other enriching Petri nets with objects and relations.From Case-Isolated to Object-Centric Processes - A Tale of two Models
From Case-Isolated to Object-Centric Processes - A Tale of two ModelsFaculty of Computer Science - Free University of Bozen-Bolzano
Slides of our BPM 2022 paper on "Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting", which received the best paper award at the conference. Paper available here: https://link.springer.com/chapter/10.1007/978-3-031-16103-2_22Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic Setting
Reasoning on Labelled Petri Nets and Their Dynamics in a Stochastic SettingFaculty of Computer Science - Free University of Bozen-Bolzano
Slides of the keynote speech on "Constraints for process framing in Augmented BPM" at the AI4BPM 2022 International Workshop, co-located with BPM 2022. The keynote focuses on the problem of "process framing" in the context of the new vision of "Augmented BPM", where BPM systems are augmented with AI capabilities. This vision is described in a manifesto, available here: https://arxiv.org/abs/2201.12855Constraints for Process Framing in Augmented BPM
Constraints for Process Framing in Augmented BPMFaculty of Computer Science - Free University of Bozen-Bolzano
Keynote speech at KES 2022 on "Intelligent Systems for Process Mining". I introduce process mining, discuss why process mining tasks should be approached by using intelligent systems, and show a concrete example of this combination, namely (anticipatory) monitoring of evolving processes against temporal constraints, using techniques from knowledge representation and formal methods (in particular, temporal logics over finite traces and their automata-theoretic characterization). Intelligent Systems for Process Mining
Intelligent Systems for Process MiningFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation on "From Case-Isolated to Object-Centric Processes - A Tale of Two Models" as part of the Hasselt University BINF Research Seminar Series (see https://www.uhasselt.be/en/onderzoeksgroepen-en/binf/research-seminar-series).From Case-Isolated to Object-Centric Processes
From Case-Isolated to Object-Centric ProcessesFaculty of Computer Science - Free University of Bozen-Bolzano
Invited seminar on "Modeling and Reasoning over Declarative Data-Aware Processes" as part of the KRDB Summer Online Seminars 2020 (https://www.inf.unibz.it/krdb/sos-2020/).Modeling and Reasoning over Declarative Data-Aware Processes
Modeling and Reasoning over Declarative Data-Aware ProcessesFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Soundness of Data-Aware Processes with Arithmetic Conditions" at the 34th International Conference on Advanced Information Systems Engineering (CAiSE 2022). Paper available here: https://doi.org/10.1007/978-3-031-07472-1_23
Abstract:
Data-aware processes represent and integrate structural and behavioural constraints in a single model, and are thus increasingly investigated in business process management and information systems engineering. In this spectrum, Data Petri nets (DPNs) have gained increasing popularity thanks to their ability to balance simplicity with expressiveness. The interplay of data and control-flow makes checking the correctness of such models, specifically the well-known property of soundness, crucial and challenging. A major shortcoming of previous approaches for checking soundness of DPNs is that they consider data conditions without arithmetic, an essential feature when dealing with real-world, concrete applications. In this paper, we attack this open problem by providing a foundational and operational framework for assessing soundness of DPNs enriched with arithmetic data conditions. The framework comes with a proof-of-concept implementation that, instead of relying on ad-hoc techniques, employs off-the-shelf established SMT technologies. The implementation is validated on a collection of examples from the literature, and on synthetic variants constructed from such examples.Soundness of Data-Aware Processes with Arithmetic Conditions
Soundness of Data-Aware Processes with Arithmetic ConditionsFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors" at the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Paper available here: https://proceedings.kr.org/2020/32/
Abstract: The integrated modeling and analysis of dynamic systems and the data they manipulate has been long advocated, on the one hand, to understand how data and corresponding decisions affect the system execution, and on the other hand to capture how actions occurring in the systems operate over data. KR techniques proved successful in handling a variety of tasks over such integrated models, ranging from verification to online monitoring. In this paper, we consider a simple, yet relevant model for data-aware dynamic systems (DDSs), consisting of a finite-state control structure defining the executability of actions that manipulate a finite set of variables with an infinite domain. On top of this model, we consider a data-aware version of reactive synthesis, where execution strategies are built by guaranteeing the satisfaction of a desired linear temporal property that simultaneously accounts for the system dynamics and data evolution.Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple ActorsFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Extending Temporal Business Constraints with Uncertainty" at the 18th Int. Conference on Business Process Management (BPM 2020). Paper available here: https://doi.org/10.1007/978-3-030-58666-9_3
Abstract: Temporal business constraints have been extensively adopted to declaratively capture the acceptable courses of execution in a business process. However, traditionally, constraints are interpreted logically in a crisp way: a process execution trace conforms with a constraint model if all the constraints therein are satisfied. This is too restrictive when one wants to capture best practices, constraints involving uncontrollable activities, and exceptional but still conforming behaviors. This calls for the extension of business constraints with uncertainty. In this paper, we tackle this timely and important challenge, relying on recent results on probabilistic temporal logics over finite traces. Specifically, our contribution is threefold. First, we delve into the conceptual meaning of probabilistic constraints and their semantics. Second, we argue that probabilistic constraints can be discovered from event data using existing techniques for declarative process discovery. Third, we study how to monitor probabilistic constraints, where constraints and their combinations may be in multiple monitoring states at the same time, though with different probabilities.Extending Temporal Business Constraints with Uncertainty
Extending Temporal Business Constraints with UncertaintyFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Extending Temporal Business Constraints with Uncertainty" at the CAiSE2020 Forum. The paper is available here: https://link.springer.com/chapter/10.1007/978-3-030-58135-0_8
Abstract: Conformance checking is a fundamental task to detect deviations between the actual and the expected courses of execution of a business process. In this context, temporal business constraints have been extensively adopted to declaratively capture the expected behavior of the process. However, traditionally, these constraints are interpreted logically in a crisp way: a process execution trace conforms with a constraint model if all the constraints therein are satisfied. This is too restrictive when one wants to capture best practices, constraints involving uncontrollable activities, and exceptional but still conforming behaviors. This calls for the extension of business constraints with uncertainty. In this paper, we tackle this timely and important challenge, relying on recent results on probabilistic temporal logics over finite traces. Specifically, we equip business constraints with a natural, probabilistic notion of uncertainty. We discuss the semantic implications of the resulting framework and show how probabilistic conformance checking and constraint entailment can be tackled therein.Extending Temporal Business Constraints with Uncertainty
Extending Temporal Business Constraints with UncertaintyFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints" at the 17th Int. Conference on Business Process Management (BPM 2019). Paper available here: https://link.springer.com/chapter/10.1007/978-3-030-26619-6_11
Abstract
Existing process modeling notations ranging from Petri nets to BPMN have difficulties capturing the data manipulated by processes. Process models often focus on the control flow, lacking an explicit, conceptually well-founded integration with real data models, such as ER diagrams or UML class diagrams. To overcome this limitation, Object-Centric Behavioral Constraints (OCBC) models were recently proposed as a new notation that combines full-fledged data models with control-flow constraints inspired by declarative process modeling notations such as DECLARE and DCR Graphs. We propose a formalization of the OCBC model using temporal description logics. The obtained formalization allows us to lift all reasoning services defined for constraint-based process modeling notations without data, to the much more sophisticated scenario of OCBC. Furthermore, we show how reasoning over OCBC models can be reformulated into decidable, standard reasoning tasks over the corresponding temporal description logic knowledge base.
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Cent...
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Cent...Faculty of Computer Science - Free University of Bozen-Bolzano
Presentation at "Ontology Make Sense", an event in honor of Nicola Guarino, on how to integrate data models with behavioral constraints, an essential problem when modeling multi-case real-life work processes evolving multiple objects at once. I propose to combine UML class diagrams with temporal constraints on finite traces, linked to the data model via co-referencing constraints on classes and associations.Enriching Data Models with Behavioral Constraints
Enriching Data Models with Behavioral ConstraintsFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation at EDOC 2019 on connecting legacy relational data to ontologies on norms and their evolution via temporal ontology-based data access. The paper received the best paper award at the conference.Representing and querying norm states using temporal ontology-based data access
Representing and querying norm states using temporal ontology-based data accessFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation ad EDOC 2019 on monitoring multi-perspective business constraints accounting for time and data, with a specific focus on the (unsolvable in general) problem of conflict detection.Compliance monitoring of multi-perspective declarative process models
Compliance monitoring of multi-perspective declarative process modelsFaculty of Computer Science - Free University of Bozen-Bolzano
My presentation at "Fit for Digital 2019", organized by Informatica Alto Adige S.p.A. to discuss digital transformation in the public administration sector, with more than 200 participants. I discussed how the digitalization of models and data can boost a new way of managing processes based on factual information. Processes and organizations - a look behind the paper wall
Processes and organizations - a look behind the paper wallFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation at BPM 2019, focused on a data-aware extension of BPMN encompassing read-write and read-only data, and on SMT-techniques for effectively tackling parameterized verification of the resulting integrated models.Formal modeling and SMT-based parameterized verification of Data-Aware BPMN
Formal modeling and SMT-based parameterized verification of Data-Aware BPMNFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation at BPM 2019, proposing object-centric behavioral constraints as a modeling approach to capture real-life processes with many-to-many and one-to-many relations, and bringing forward a formal semantics and automated reasoning techniques grounded in temporal description logics.Modeling and reasoning over declarative data-aware processes with object-cent...
Modeling and reasoning over declarative data-aware processes with object-cent...Faculty of Computer Science - Free University of Bozen-Bolzano
A presentation summarizing a decade of research on declarative, constraint-based process modeling. In particular, the presentation focuses on the usage of linear temporal logic on finite traces, and the corresponding automata-theoretic characterization, to support constraint-based processes during their entire lifecycle, from model consistency to enactment, monitoring, and discovery.10 Years Playing with Declare and Temporal Logics on Finite Traces
10 Years Playing with Declare and Temporal Logics on Finite TracesFaculty of Computer Science - Free University of Bozen-Bolzano
First part of my tutorial (jointly with Diego Calvanese) on the "Integrated Modeling and Verification of Processes and Data", held at the BPM 2017 conference. The first part focuses on the motivation for combining processes and data, and a review of the state of the art. BPM2017 - Integrated Modeling and Verification of Processes and Data Part 1: ...
BPM2017 - Integrated Modeling and Verification of Processes and Data Part 1: ...Faculty of Computer Science - Free University of Bozen-Bolzano
Third part of my tutorial (jointly with Diego Calvanese) on the "Integrated Modeling and Verification of Processes and Data", held at the BPM 2017 conference. The third part focuses on the connection between our foundational results and concrete models, methods, and systems for the integrated management of processes and data.BPM2017 - Integrated Modeling and Verification of Processes and Data Part 3: ...
BPM2017 - Integrated Modeling and Verification of Processes and Data Part 3: ...Faculty of Computer Science - Free University of Bozen-Bolzano
More Related Content
More from Faculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Soundness of Data-Aware Processes with Arithmetic Conditions" at the 34th International Conference on Advanced Information Systems Engineering (CAiSE 2022). Paper available here: https://doi.org/10.1007/978-3-031-07472-1_23
Abstract:
Data-aware processes represent and integrate structural and behavioural constraints in a single model, and are thus increasingly investigated in business process management and information systems engineering. In this spectrum, Data Petri nets (DPNs) have gained increasing popularity thanks to their ability to balance simplicity with expressiveness. The interplay of data and control-flow makes checking the correctness of such models, specifically the well-known property of soundness, crucial and challenging. A major shortcoming of previous approaches for checking soundness of DPNs is that they consider data conditions without arithmetic, an essential feature when dealing with real-world, concrete applications. In this paper, we attack this open problem by providing a foundational and operational framework for assessing soundness of DPNs enriched with arithmetic data conditions. The framework comes with a proof-of-concept implementation that, instead of relying on ad-hoc techniques, employs off-the-shelf established SMT technologies. The implementation is validated on a collection of examples from the literature, and on synthetic variants constructed from such examples.Soundness of Data-Aware Processes with Arithmetic Conditions
Soundness of Data-Aware Processes with Arithmetic ConditionsFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors" at the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). Paper available here: https://proceedings.kr.org/2020/32/
Abstract: The integrated modeling and analysis of dynamic systems and the data they manipulate has been long advocated, on the one hand, to understand how data and corresponding decisions affect the system execution, and on the other hand to capture how actions occurring in the systems operate over data. KR techniques proved successful in handling a variety of tasks over such integrated models, ranging from verification to online monitoring. In this paper, we consider a simple, yet relevant model for data-aware dynamic systems (DDSs), consisting of a finite-state control structure defining the executability of actions that manipulate a finite set of variables with an infinite domain. On top of this model, we consider a data-aware version of reactive synthesis, where execution strategies are built by guaranteeing the satisfaction of a desired linear temporal property that simultaneously accounts for the system dynamics and data evolution.Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple ActorsFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Extending Temporal Business Constraints with Uncertainty" at the 18th Int. Conference on Business Process Management (BPM 2020). Paper available here: https://doi.org/10.1007/978-3-030-58666-9_3
Abstract: Temporal business constraints have been extensively adopted to declaratively capture the acceptable courses of execution in a business process. However, traditionally, constraints are interpreted logically in a crisp way: a process execution trace conforms with a constraint model if all the constraints therein are satisfied. This is too restrictive when one wants to capture best practices, constraints involving uncontrollable activities, and exceptional but still conforming behaviors. This calls for the extension of business constraints with uncertainty. In this paper, we tackle this timely and important challenge, relying on recent results on probabilistic temporal logics over finite traces. Specifically, our contribution is threefold. First, we delve into the conceptual meaning of probabilistic constraints and their semantics. Second, we argue that probabilistic constraints can be discovered from event data using existing techniques for declarative process discovery. Third, we study how to monitor probabilistic constraints, where constraints and their combinations may be in multiple monitoring states at the same time, though with different probabilities.Extending Temporal Business Constraints with Uncertainty
Extending Temporal Business Constraints with UncertaintyFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Extending Temporal Business Constraints with Uncertainty" at the CAiSE2020 Forum. The paper is available here: https://link.springer.com/chapter/10.1007/978-3-030-58135-0_8
Abstract: Conformance checking is a fundamental task to detect deviations between the actual and the expected courses of execution of a business process. In this context, temporal business constraints have been extensively adopted to declaratively capture the expected behavior of the process. However, traditionally, these constraints are interpreted logically in a crisp way: a process execution trace conforms with a constraint model if all the constraints therein are satisfied. This is too restrictive when one wants to capture best practices, constraints involving uncontrollable activities, and exceptional but still conforming behaviors. This calls for the extension of business constraints with uncertainty. In this paper, we tackle this timely and important challenge, relying on recent results on probabilistic temporal logics over finite traces. Specifically, we equip business constraints with a natural, probabilistic notion of uncertainty. We discuss the semantic implications of the resulting framework and show how probabilistic conformance checking and constraint entailment can be tackled therein.Extending Temporal Business Constraints with Uncertainty
Extending Temporal Business Constraints with UncertaintyFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation of the paper "Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints" at the 17th Int. Conference on Business Process Management (BPM 2019). Paper available here: https://link.springer.com/chapter/10.1007/978-3-030-26619-6_11
Abstract
Existing process modeling notations ranging from Petri nets to BPMN have difficulties capturing the data manipulated by processes. Process models often focus on the control flow, lacking an explicit, conceptually well-founded integration with real data models, such as ER diagrams or UML class diagrams. To overcome this limitation, Object-Centric Behavioral Constraints (OCBC) models were recently proposed as a new notation that combines full-fledged data models with control-flow constraints inspired by declarative process modeling notations such as DECLARE and DCR Graphs. We propose a formalization of the OCBC model using temporal description logics. The obtained formalization allows us to lift all reasoning services defined for constraint-based process modeling notations without data, to the much more sophisticated scenario of OCBC. Furthermore, we show how reasoning over OCBC models can be reformulated into decidable, standard reasoning tasks over the corresponding temporal description logic knowledge base.
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Cent...
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Cent...Faculty of Computer Science - Free University of Bozen-Bolzano
Presentation at "Ontology Make Sense", an event in honor of Nicola Guarino, on how to integrate data models with behavioral constraints, an essential problem when modeling multi-case real-life work processes evolving multiple objects at once. I propose to combine UML class diagrams with temporal constraints on finite traces, linked to the data model via co-referencing constraints on classes and associations.Enriching Data Models with Behavioral Constraints
Enriching Data Models with Behavioral ConstraintsFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation at EDOC 2019 on connecting legacy relational data to ontologies on norms and their evolution via temporal ontology-based data access. The paper received the best paper award at the conference.Representing and querying norm states using temporal ontology-based data access
Representing and querying norm states using temporal ontology-based data accessFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation ad EDOC 2019 on monitoring multi-perspective business constraints accounting for time and data, with a specific focus on the (unsolvable in general) problem of conflict detection.Compliance monitoring of multi-perspective declarative process models
Compliance monitoring of multi-perspective declarative process modelsFaculty of Computer Science - Free University of Bozen-Bolzano
My presentation at "Fit for Digital 2019", organized by Informatica Alto Adige S.p.A. to discuss digital transformation in the public administration sector, with more than 200 participants. I discussed how the digitalization of models and data can boost a new way of managing processes based on factual information. Processes and organizations - a look behind the paper wall
Processes and organizations - a look behind the paper wallFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation at BPM 2019, focused on a data-aware extension of BPMN encompassing read-write and read-only data, and on SMT-techniques for effectively tackling parameterized verification of the resulting integrated models.Formal modeling and SMT-based parameterized verification of Data-Aware BPMN
Formal modeling and SMT-based parameterized verification of Data-Aware BPMNFaculty of Computer Science - Free University of Bozen-Bolzano
Presentation at BPM 2019, proposing object-centric behavioral constraints as a modeling approach to capture real-life processes with many-to-many and one-to-many relations, and bringing forward a formal semantics and automated reasoning techniques grounded in temporal description logics.Modeling and reasoning over declarative data-aware processes with object-cent...
Modeling and reasoning over declarative data-aware processes with object-cent...Faculty of Computer Science - Free University of Bozen-Bolzano
A presentation summarizing a decade of research on declarative, constraint-based process modeling. In particular, the presentation focuses on the usage of linear temporal logic on finite traces, and the corresponding automata-theoretic characterization, to support constraint-based processes during their entire lifecycle, from model consistency to enactment, monitoring, and discovery.10 Years Playing with Declare and Temporal Logics on Finite Traces
10 Years Playing with Declare and Temporal Logics on Finite TracesFaculty of Computer Science - Free University of Bozen-Bolzano
First part of my tutorial (jointly with Diego Calvanese) on the "Integrated Modeling and Verification of Processes and Data", held at the BPM 2017 conference. The first part focuses on the motivation for combining processes and data, and a review of the state of the art. BPM2017 - Integrated Modeling and Verification of Processes and Data Part 1: ...
BPM2017 - Integrated Modeling and Verification of Processes and Data Part 1: ...Faculty of Computer Science - Free University of Bozen-Bolzano
Third part of my tutorial (jointly with Diego Calvanese) on the "Integrated Modeling and Verification of Processes and Data", held at the BPM 2017 conference. The third part focuses on the connection between our foundational results and concrete models, methods, and systems for the integrated management of processes and data.BPM2017 - Integrated Modeling and Verification of Processes and Data Part 3: ...
BPM2017 - Integrated Modeling and Verification of Processes and Data Part 3: ...Faculty of Computer Science - Free University of Bozen-Bolzano
More from Faculty of Computer Science - Free University of Bozen-Bolzano (20)
Soundness of Data-Aware Processes with Arithmetic Conditions
Soundness of Data-Aware Processes with Arithmetic Conditions
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors
Strategy Synthesis for Data-Aware Dynamic Systems with Multiple Actors
Extending Temporal Business Constraints with Uncertainty
Extending Temporal Business Constraints with Uncertainty
Extending Temporal Business Constraints with Uncertainty
Extending Temporal Business Constraints with Uncertainty
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Cent...
Modeling and Reasoning over Declarative Data-Aware Processes with Object-Cent...
Representing and querying norm states using temporal ontology-based data access
Representing and querying norm states using temporal ontology-based data access
Compliance monitoring of multi-perspective declarative process models
Compliance monitoring of multi-perspective declarative process models
Processes and organizations - a look behind the paper wall
Processes and organizations - a look behind the paper wall
Formal modeling and SMT-based parameterized verification of Data-Aware BPMN
Formal modeling and SMT-based parameterized verification of Data-Aware BPMN
Modeling and reasoning over declarative data-aware processes with object-cent...
Modeling and reasoning over declarative data-aware processes with object-cent...
10 Years Playing with Declare and Temporal Logics on Finite Traces
10 Years Playing with Declare and Temporal Logics on Finite Traces
BPM2017 - Integrated Modeling and Verification of Processes and Data Part 1: ...
BPM2017 - Integrated Modeling and Verification of Processes and Data Part 1: ...
BPM2017 - Integrated Modeling and Verification of Processes and Data Part 3: ...
BPM2017 - Integrated Modeling and Verification of Processes and Data Part 3: ...
Recently uploaded
The implementation of best practices for ensuring asset integrity is of paramount importance, as it safeguards our critical infrastructure and ensures operational excellence.
One area of concern that demands our attention is Microbiologically Induced Corrosion (MIC), a phenomenon that poses a significant threat to the integrity of assets by accelerating the corrosion rate, potentially leading to equipment failure before their expected lifetime. It is estimated that up to 40% of internal corrosion in oil and gas pipelines can be attributed to MIC.
Dr. Mahendara P. Singh, Ph.D. shed light on Microbiologically Induced Corrosion (MIC), a phenomenon that poses a significant threat to the integrity of assets in Oil & Gas Industry. Dr. Singh is Advisor at Kinben Innovation Pvt. Ltd. He was the Chief Research Manager at the Industrial Biotechnology Department of Indian Oil Corporation Ltd., Research & Development Centre.
Contact Us to know more about our Services.ACM CHT Best Inspection Practices Kinben Innovation MIC Slideshare.pdf
ACM CHT Best Inspection Practices Kinben Innovation MIC Slideshare.pdfKinben Innovation Private Limited
Recently uploaded (11)
Microsoft Fabric Analytics Engineer (DP-600) Exam Dumps 2024.pdf
Microsoft Fabric Analytics Engineer (DP-600) Exam Dumps 2024.pdf
The Influence and Evolution of Mogul Press in Contemporary Public Relations.docx
The Influence and Evolution of Mogul Press in Contemporary Public Relations.docx
Databricks Machine Learning Associate Exam Dumps 2024.pdf
Databricks Machine Learning Associate Exam Dumps 2024.pdf
TSM unit 5 Toxicokinetics seminar by Ansari Aashif Raza.pptx
TSM unit 5 Toxicokinetics seminar by Ansari Aashif Raza.pptx
ACM CHT Best Inspection Practices Kinben Innovation MIC Slideshare.pdf
ACM CHT Best Inspection Practices Kinben Innovation MIC Slideshare.pdf
AAAI 2015 - Montali - Verification of Relational Multiagent Systems with Data Types
- 1. Verification of Relational Multiagent Systems with Data Types Diego Calvanese, Giorgio Delzanno, Marco Montali e c “a”a b c pay( ,)
- 2. Verification of Relational Multiagent Systems with Data Types Diego Calvanese, Giorgio Delzanno, Marco Montali … but data order does! mutual exclusion protocols contract net auctions =domains facets domain relations /