Abstract

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.

Keywords:

Category theory, formal approach, information fusion, object-oriented,

References

1. Gao, H., 2000. Formal Information Fusion Framework. Information Fusion Group.
   Direct Link
2. Gao, H. and M.M. Kokar, 1999. An approach to automation of fusion using specware. Proceeding of the 2nd International Conference on Information Fusion, pp: 109-116.
   PMid:9888404    
3. Guan, C., 2006a. Information fusion model and formal research. Jiangxi University of Finance and Economics, China.
   
4. Guan, C., 2006b. Information fusion model and its application. Modern Comput., 33: 11-14.
   
5. Li, J., M.M. Kokar and J. Weyman, 1999. Incorporating uncertainty into the formal development of the fusion operator. Proceedings of 2nd International Conference on Information Fusion. Sunnyvale. USA, pp: 125-132.
   
6. Palo, A., 1998. Specware 4.0 User Manual. Kestrel Institute, Alto, California.
   PMCid:PMC2809541    
7. Pierce, B.C., 1991. Basic Category Theory for Computer Scientists. MIT Press, Mass, Cambridge.
   
8. Rydeheard, D.E. and R.M. Burstall, 1988. Computational Category Theory [M]. Prentice Hall, New York.
   
9. Scott, A.D. and C.H. Thomas, 2000. A theory-based representation for object-oriented domain models [J]. IEEE T. Software Eng., 26(6): 500-517.
   CrossRef    
10. Zheng, M., 2000. Ways combination of formal methods and object technology. Shandong Normal University. China.
    
11. Zhengyou, W. and G. Chunhua, 2006. Intelligent Transportation System (ITS) information fusion concept: Analysis and implementation. Proceedings of the IEEE SOLI Conference, pp: 999-1003.
    CrossRef    

Competing interests

The authors have no competing interests.

Open Access Policy

This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Copyright

The authors have no competing interests.