Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defective services is usually done manually. This paper introduces a graph-based approach to calculate the minimal edit distance between a given defective service and synthesized correct services. This edit distance helps to automatically fix found errors while keeping the rest of the service untouched. A prototypic implementation shows that the approach is applicable to real-life services. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Lohmann, N. (2008). Correcting deadlocking service choreographies using a simulation-based graph edit distance. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5240 LNCS, pp. 132–147). Springer Verlag. https://doi.org/10.1007/978-3-540-85758-7_12
Mendeley helps you to discover research relevant for your work.