Study on Formal Information Fusion Framework with Object-oriented Technology
Zhengyou Wang, Yanhui Xia, Chunhua Guan, Jin Wang
Abstract
Open-access reader
Zhengyou Wang, Yanhui Xia, Chunhua Guan, Jin Wang
Abstract
Open-access reader
The formal approach to software development is considered to be a good way to develop reliable and high quality software and a graphical tool using object-oriented technology has strong intuitive in the description of software requirements. In this study, a new formal information fusion framework is presented based on formal approach and object-oriented thoughts. The information fusion model in the proposed framework consists of two parts: specification library and specification library management system. Herein, the first part enhances system reliability, consistency and reusability. As to the management system, its function is to organize, manage, store, search and insert for specification library. Lastly, the study introduces how to use the framework to detect image edge.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
The formal approach to software development is considered to be a good way to develop reliable and high quality software and a graphical tool using object-oriented technology has strong intuitive in the description of software requirements. In this study, a new formal information fusion framework is presented based on formal approach and object-oriented thoughts. The information fusion model in the proposed framework consists of two parts: specification library and specification library management system. Herein, the first part enhances system reliability, consistency and reusability. As to the management system, its function is to organize, manage, store, search and insert for specification library. Lastly, the study introduces how to use the framework to detect image edge.
Key concepts: Reusability, Computer science, Formal specification, Software engineering, Formal methods, Consistency (knowledge bases), Formal verification, Information system