Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language