Property Specification Patterns for intelligence building software

4th International Conference on Advanced Engineering and Technology

Chun, Seungsu^1

Business Planning and Budget Division, Korea Institute of S and T Evaluation and Planning, Korea, Republic of^1

关键词: Broken down;    Building softwares;    Classification system;    Model checker;    Property Specification;   

Others  :  https://iopscience.iop.org/article/10.1088/1757-899X/317/1/012055/pdf
DOI  :  10.1088/1757-899X/317/1/012055

来源: IOP

【 摘 要 】

In this paper, through the property specification pattern research for Modal MU(μ) logical aspects present a single framework based on the pattern of intelligence building software. In this study, broken down by state property specification pattern classification of Dwyer (S) and action (A) and was subdivided into it again strong (A) and weaknesses (E). Through these means based on a hierarchical pattern classification of the property specification pattern analysis of logical aspects Mu(μ) was applied to the pattern classification of the examples used in the actual model checker. As a result, not only can a more accurate classification than the existing classification systems were easy to create and understand the attributes specified.