Login / Signup

Towards an Automatic Verification of BPMN Model Semantic Preservation During a Refinement Process.

Yousra Bendaly HlaouiSalma AyariLeila Jemni Ben Ayed
Published in: ICSOFT (Selected Papers) (2018)
Keyphrases
  • probabilistic model
  • process model
  • refinement process
  • three dimensional
  • template matching
  • model driven