Verification of Model Transformations: A Case Study with BPEL

  title={Verification of Model Transformations: A Case Study with BPEL},
  author={Luciano Baresi and Karsten Ehrig and Reiko Heckel},
Model transformations, like refinement or refactoring, have to respect the semantics of the models transformed. In the case of behavioural models this semantics can be specified by transformations, too, describing an abstract interpreter for the language. Both kinds of transformations, if given in a rule-based way, can formally be described as graph transformations. In this paper, we present executable business processes, their operational semantics and refactoring, as an example of this fact… CONTINUE READING