Automatic Generation of the Behavior Definition of Distributed Design Tools from Task Method Diagrams and Method Flux Diagrams by Diagram Composition | Publicación