Sign in

Modeling with Plausibility Checking: Inspecting Favorable and Critical Signs for Consistency between Control Flow and Functional Behavior.

Claudia ErmelJürgen GallLeen LambersGabriele Taentzer
Published in: FASE (2011)
Keyphrases
  • control flow
  • data flow
  • modeling language
  • consistency checking
  • process model
  • reactive systems
  • business process models
  • databases
  • machine learning
  • information systems
  • e learning
  • business process