Research Article | OPEN ACCESS
Study on Formal Information Fusion Framework with Object-oriented Technology
1Yanhui Xia, 2Zhengyou Wang, 3Chunhua Guan and 2Jin Wang
1School of Economics and Management, Shijiazhuang Tiedao University,
Shijiazhuang, Hebei, 050043, China
2School of Information Science and Technology, Shijiazhuang
Tiedao University, Shijiazhuang 050043, China
3School of Information Technology, Jiangxi University of Finance and Economics, Nanchang 330032, China
Research Journal of Applied Sciences, Engineering and Technology 2014 5:1001-1006
Received: January 31, 2013 | Accepted: February 25, 2013 | Published: February 05, 2014
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
-
Gao, H., 2000. Formal Information Fusion Framework. Information Fusion Group.
Direct Link -
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 -
Guan, C., 2006a. Information fusion model and formal research. Jiangxi University of Finance and Economics, China.
-
Guan, C., 2006b. Information fusion model and its application. Modern Comput., 33: 11-14.
-
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.
-
Palo, A., 1998. Specware 4.0 User Manual. Kestrel Institute, Alto, California.
PMCid:PMC2809541 -
Pierce, B.C., 1991. Basic Category Theory for Computer Scientists. MIT Press, Mass, Cambridge.
-
Rydeheard, D.E. and R.M. Burstall, 1988. Computational Category Theory [M]. Prentice Hall, New York.
-
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
-
Zheng, M., 2000. Ways combination of formal methods and object technology. Shandong Normal University. China.
-
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.
|
|
![](http://www.maxwellsci.com/images/RJASET-maxw.jpg) |
ISSN (Online): 2040-7467
ISSN (Print): 2040-7459 |
![Submit Manuscript](../images/sub.jpg) |
Information |
|
|
|
Sales & Services |
|
|
|