Evaluating the effectiveness of the abstract transaction model in testing Web services transactions | Publicación