Abstract
The grammatical structure of model based on Unified Architecture Framework (UAF) adopts formal specification, but the lack of formal and accurate description of semantics may result in information inconsistency between different views. In this paper, an UAF model verification method based on Descriptive Logic SHIQ is proposed. The knowledge base of SHIQ is constructed in formal description, with the help of Racerpro reasoning engine based on Tableau algorithm, conflicting or contradictory information in the models is reasoned and judged. The feasibility and convenience of this method are proved by verifying the "Requirement" model of the Major Disaster Relief System.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: IOP Conference Series: Materials Science and Engineering
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
