SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Runtime Verification of LTL-Based Declarative Process Models · Study

WorkRuntime Verification of LTL-Based Declarative Process Models

Fabrizio Maria Maggi2012

Work2012

Runtime Verification of LTL-Based Declarative Process Models

Fabrizio Maria Maggi · Michael Westergaard · Marco Montali · Wil M. P. van der Aalst

98 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Formal Methods in Verification Petri Nets in System Modeling

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 98 citations exist upstream.

References

2011Process Mining 2011Process Mining: Discovery, Conformance and Enhancement of Business Processes 2007DECLARE: Full Support for Loosely-Structured Processes 2009Declarative workflows: Balancing between flexibility and support 1947International Telecommunications Union 2011Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata 2011User-guided discovery of declarative process models 2013Monitoring business constraints with the event calculus

Cited by

2016Resolving inconsistencies and redundancies in declarative process models 2014Process Mining in the Large: A Tutorial 2022Declarative Process Specifications: Reasoning, Discovery, Monitoring 2016Business process flexibility - a systematic literature review with a software systems perspective 2013A Framework for the Systematic Comparison and Evaluation of Compliance Monitoring Approaches 2012An Operational Decision Support Framework for Monitoring Business Constraints

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2013Monitoring business constraints with the event calculusarticle · 6 shared references 2013Analyzing Vessel Behavior Using Process Miningchapter · 6 shared references 2012Efficient Discovery of Understandable Declarative Process Models from Event Logsother · 5 shared references 2015Online Discovery of Declarative Process Models from Event Streamsarticle · 5 shared references 2016Discovery of Multi-perspective Declarative Process Modelsother · 5 shared references 2015Efficient discovery of Target-Branched Declare constraintsarticle · 5 shared references

Details

Year2012

Typeother

Published2012-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations98

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-642-29860-8_11

openalex_workW2111492220

Links

Imported from OpenAlex (CC0) — nothing here is generated.

2012Techniques for a Posteriori Analysis of Declarative Processes

2013Declarative Process Mining with the Declare Component of ProM.