Formal Specification of AEC Product Modelsby Harpreet S. Chadha, (S.M.ASCE), North Carolina State Univ, Raleigh, United States,
John W. Baugh, Jr., (A.M.ASCE), North Carolina State Univ, Raleigh, United States,
Jeannette M. Wing, North Carolina State Univ, Raleigh, United States,
Abstract: This paper illustrates the use of equational specifications in developing product data models. This approach enables a precise and abstract description of products, where both syntactic and semantic checks are used for validation. Because they are formal objects, these specifications can be validated with respect to formal requirements and combined using ordinary mathematics. In addition, the availability of mature tools from the software engineering community further supports this approach to specifying and validating product models.
Subject Headings: Data processing | Validation | Mathematical models | Computer aided design | Computer models | Structural engineering
Services: Buy this book/Buy this article
Return to search