For the problems of how to improve information systems modeling theory based on FCA, the core issues which information system modeling theory should solve have been defined, and the advantages of using FCA to resolve these issues have also been analyzed, then the application direction of FCA in the process of information system modeling is pointed out. Eventually, the paper presents a FCA-based information system modeling theory, and then elaborates the method of dividing system into subsystems and the principle of how to construct static model, dynamic model and functional model using FCA with examples.
张云中,徐宝祥. 基于形式概念分析的信息系统建模理论研究[J]. 现代图书情报技术, 2010, 26(2): 17-23.
Zhang Yunzhong,Xu Baoxiang. Research on the FCA-based Information System Modeling Theory. New Technology of Library and Information Service, 2010, 26(2): 17-23.
[1] Wormuth B, Becker P. Introduction to Formal Concept Analysis[C]. In:Proceedings of the 2nd International Conference of Formal Concept Analysis,Sydney, Australia.2004:1-4.
[2] 刘永.信息系统分析与设计[M].北京:科学出版社,2002:23-25.
[3] 张海藩.软件工程导论[M]. 4版.北京:清华大学出版社,2003:193-198.
[4] 徐宝祥.信息系统开发方法[M].北京:机械工业出版社,2007:208-209.
[5] 唐晓波,韦贞,徐蕾. 基于本体的信息系统建模方法[J].情报科学,2008,26(3):391-395.
[6] Laukaitis A, Vasilecas O. Formal Concept Analysis and Information Systems Modeling[C]. In: Proceedings of the 2007 International Conference on Computer Systems and Technologies, Bulgaria. New York, NY, USA:ACM, 2007.
[7] Hesse W, Tilley T. Formal Concept Analysis Used for Software Analysis and Modelling[A].//Ganter B. Formal Concept Analysis[M]. Berlin/Heidelberg:Springer, 2005:288-303.
[8] Tilley T, Cole R, Becker P, et al.A Survey of Formal Concept Analysis Support for Software Engineering Activities[C].//Dau F, Mugnier M L, Stumme G. Formal Concept Analysis[M]. Berlin/Heidelberg:Springer, 2005:107-118.
[9] Cole R, Tilley T. Conceptual Analysis of Software Structure[C]. In: Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering.2003:726-733.
[10] 蒋平,任胜兵,林鹃.形式概念分析在软件工程中的应用[J]. 计算机技术与发展,2008,18(4):127-129.
[11] 沈夏炯,白景华,刘宗田,等.形式概念分析与软件过程改进[J].计算机科学,2003,30(7):103-105.
[12] 赖莹.基于FCA的系统分析与设计方法研究及应用[D].长春:吉林大学,2009.
[13] Godin R, Valtchev P. Formal Concept Analysis-based Class Hierarchy Design in Object-Oriented Software Development [EB/OL].[2009-12-28].http://www.springerlink.com/content/0plqbxahtp1q6ug6/fulltext.pdf.
[14] Obitko M,Snasel V, Smid J.Ontology Design with Formal Concept Analysis[EB/OL].[2009-12-13].http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-110/paper12.pdf.
[15] Richards D, Boettger K, Aguilera O. A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices[EB/OL].[2009-12-28]. http://www.springerlink.com/content/0vxp2gyktfuv0g8t/fulltext.pdf.
[16] The ConExp Team. Overview on ConExp[EB/OL]. [2010-01-20].http://conexp.sourceforge.net/users/index.html.