Formal Specification of AEC Product Models

by 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,



Document Type: Proceeding Paper

Part of: Computing in Civil Engineering

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