Advancements in Workflow Management and Data Integrity

The field of workflow management and data integrity is moving towards more sophisticated methods of tracking and analyzing data provenance, particularly in scientific and business workflows. This includes the development of new standards and tools for capturing and utilizing provenance information, which is crucial for ensuring reproducibility and compliance. Additionally, researchers are exploring novel approaches to implicit programming, specification, and validation, which enable more flexible and efficient modeling of complex systems. Noteworthy papers in this area include:

  • System F^ω with Coherent Implicit Resolution, which proposes a calculus for modeling implicit programming.
  • Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings, which presents an improved approach to conformance checking based on partially ordered event data.
  • K2: On Optimizing Distributed Transactions in a Multi-region Data Store with TrueTime Clocks, which introduces a new timestamp-generating scheme for distributed transactions.

Sources

Provenance of Adaptation in Scientific and Business Workflows -- Literature Review

System $F^\omega$ with Coherent Implicit Resolution

Adventures in FRET and Specification

Shape Expressions with Inheritance

Computing Alignments for Partially-ordered Traces Through Petri Net Unfoldings

Asynchronous Multi-Agent Systems with Petri nets

Business Process Modeling Using a Metamodeling Approach

K2: On Optimizing Distributed Transactions in a Multi-region Data Store with TrueTime Clocks (Extended Version)

Online Timestamp-based Transactional Isolation Checking of Database Systems (Extended Version)

Boosting End-to-End Database Isolation Checking via Mini-Transactions (Extended Version)

Built with on top of