Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Verification of Model Transformations: A Case Study with BPEL
@ARTICLE{TGC:BEH06,
title = {{Verification of Model Transformations: A Case Study with BPEL}},
author = {{Luciano} {Baresi} and {Karsten} {Ehrig} and {Reiko} {Heckel}},
journal = {Proc. of the 2nd symposium on Trustworthy Global Computing (TGC'06)},
abstract = {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. Using results from graph transformation theory about critical pairs and local confluence, we show that our transformations preserve the semantics of processes. The analysis is performed by means of the graph transformation tool AGG.},
publisher = {Springer},
series = {LNCS},
volume = {4661},
year = {2007},
url = {http://www.cs.le.ac.uk/people/ke28/papers/BEH06TGC.pdf},
main = {Y},
month = {November},
partner = {ULEICES},
status = {public},
task = {T7.1, T7.3},
}
|
