All episodes of Business Process Compliance (ST 2012) - - Chartable

Business Process Compliance (ST 2012) - www.tele-TASK.de

Episodes

Recapitulation and Summary #3/4: Sample Process 2

Published 07/01/12

Recapitulation and Summary #4/4: Violation Explaination for Data Rules

Published 07/01/12

Recapitulation and Summary #1/4: Formalization of Data Access Semantics

Published 07/01/12

Recapitulation and Summary #2/4: Sample Process 1

Published 07/01/12

Reduction Rules, Anti Patterns & Data Aware Compliance Checking #1/6: Handling Large State Space

Published 06/24/12

Reduction Rules, Anti Patterns & Data Aware Compliance Checking #2/6: Reduction Rules (Cont.)

Published 06/24/12

Reduction Rules, Anti Patterns & Data Aware Compliance Checking #3/6: Patterns and Anti Patterns

Published 06/24/12

Reduction Rules, Anti Patterns & Data Aware Compliance Checking #4/6: Matching Anti Patterns to Process

Published 06/24/12

Reduction Rules, Anti Patterns & Data Aware Compliance Checking #5/6: Data Aware Compliance Checking

Published 06/24/12

Reduction Rules, Anti Patterns & Data Aware Compliance Checking #6/6: Formalization of Data Access Semantics

Published 06/24/12

Compliance Checking #1/5: CTL Model Checking, Idea

Published 06/17/12

Compliance Checking #4/5: BPMN-Q

Published 06/17/12

Compliance Checking #5/5: From Petri Net to Kripke Structure

Published 06/17/12

Compliance Checking #3/5: Patterns for Finite State Verification

Published 06/17/12

Compliance Checking #2/5: Compliance Checking

Published 06/17/12

LTL Model Checking #2/7: Next Steps

Published 06/03/12

LTL Model Checking #1/7: Role of Model Checker

Published 06/03/12

LTL Model Checking #3/7: Büchi Automaton

Published 06/03/12

LTL Model Checking #4/7: Büchi Automaton for Kripke Structure

Published 06/03/12

LTL Model Checking #5/7: Büchi Automata Composition

Published 06/03/12

LTL Model Checking #6/7: Overall Idea LTL Model Checking

Published 06/03/12

LTL Model Checking #7/7: Immediate Acknowledgement for Every Request?

Published 06/03/12

Temporal Logics #2/7: Definition of Double Turnstile Relation 1/10

Published 05/13/12

Temporal Logics #7/7: Sample CTL Properties

Published 05/13/12

Temporal Logics #6/7: AG and EF

Published 05/13/12