decision set. As a result, the paper (1) provides a method for decomposing the complex decision process inherent to concurrent … design, and (2) extends the usefulness of IDEF3 models by integrating IDEF3 semantics, quantitative data, and a formal …