1. Architecture dynamic behavior semantic consistency verification method based on sprouting graph.
- Author
-
LI Zhi-huai, TAN Xian-si, WANG Hong, and CHEN Yan
- Subjects
- *
ARCHITECTURAL research , *SEMANTICS , *GRAPH theory , *DYNAMIC models , *DYNAMIC testing of materials - Abstract
For the semantic consistency of the architecture dynamic behavior, a method for validating the model concordance using sprouting graph is presented. The sprouting graph is constructed from the dynamic behavior model of architecture. Then, the logical structure and temporal information is analyzed, so as to verify the logical and temporal relationship consistency of the dynamic behavior model. This method can not only verify the semantic consistency of the architecture dynamic behavior, but also give the place violating the constraints which are useful to users in exception handling and modifying dynamic models. Furthermore, it is more practical, namely sprouting graph can be used for validating the dynamic behavior consistency of models. Also, the understandability and analyzability have great advantages than traditional methods. [ABSTRACT FROM AUTHOR]
- Published
- 2014