基于构件的软件形式化开发方法研究与应用
|
摘要
如何能快速高质量地开发出满足企业需求的信息系统软件,且使所开发的系统能够适应企业组织机构与业务流程的变化,具有良好的柔性已成为当今信息系统开发所面临的一个重要课题。
本文针对现有信息系统开发方法的不足,在对构件复用技术和XML技术深入研究的基础上,结合XML与构件技术这两种软件开发热门技术,并参考形式化开发方法,提出了基于构件的信息系统形式化开发方法模型。针对软件开发中需求分析不彻底,容易出现二义性等问题,提出了形式化需求分析的方法、步骤,可有效消除需求分析的二义性和不一致性;针对目前信息系统适应性不强的缺点,提出了一种基于构件和XML的构件库管理框架和信息系统集成平台,该框架能实现基于构件的信息系统的插座式组装,在该框架下构建的信息系统具有很强的灵活性和伸缩性,能适应企业机构的调整并方便的进行重组;针对如何提高构件检索的效率这一问题,提出了一种基于案例推理的构件检索方法,并针对基于树匹配的构件检索思想,提出了路径索引技术,并将之无缝结合到了基于文本的倒排索引文档,以实现XML文档的内容和结构的双重索引,可大幅度提高查询效率;针对构件查询中的模式匹配和压缩文档的查询问题,提出了将String B-tree用于解决参数化样式匹配问题以及基于BW转换的高效搜索算法,较好的解决了参数匹配和压缩构件库中构件的检索问题;此外还提出了信息系统的动态菜单集成和基于角色的用户授权方法。
本文以某企业电力营销信息系统为例,对这种开发模型进行了实践,初步建立起了一个电力营销信息系统动态集成框架平台,验证了本文所提出的方法是可行的和有效的。
It has been an important issue facing the development of MIS as how to quickly and successfully develop software satisfying the requirement of enterprises, which has such flexibility as can adapt to the changes of the organization and business process.
To overcome the disadvantages of the current development methods, this dissertation deeply studied component reuse and XML; with a combination of component technology and XML and based on formal development method, this work presents a formal development method model for MIS based on components.
In regard to the incompleteness of requirement analysis in software development, which brings ambiguity and other problems, we propose the procedures for formal requirement analysis to effectively eliminate the ambiguity in requirement analysis and inconsistency. For the disadvantage of poor adaptability of the current information systems, we propose a component library management framework based on components and XML, and an information system integration platform. The framework enables slot assembly for component based information system; systems built under the framework have strong flexibility and scalability, and can adapt to the adjustment of enterprise organization and are ready for reorganization. In order to improve the efficiency for component retrieval, we propose a method based on case reasoning; and in regard to the retrieval by tree matching, we propose path indexing algorithm. The seamless integration of the method with inversely indexing documents enables a double indexing of contents and structure for XML documents, which greatly improves retrieval efficiency. As for the pattern matching for component retrieval and retrieval of compressed documents, we propose to use String B-tree to solve parameterized pattern matching and an efficient searching algorithm based on BW conversion, which solve the parameterized pattern matching and retrieval in compressed component library. In addition, we propose dynamic menu integration for information systems and role based authorization.
Taking the electric power information system of a certain enterprise as example, and applying the proposed development model, we build dynamic integration framework platform for the electric power marketing information system, which demonstrates the effectiveness and effective of the proposed method.
本文针对现有信息系统开发方法的不足,在对构件复用技术和XML技术深入研究的基础上,结合XML与构件技术这两种软件开发热门技术,并参考形式化开发方法,提出了基于构件的信息系统形式化开发方法模型。针对软件开发中需求分析不彻底,容易出现二义性等问题,提出了形式化需求分析的方法、步骤,可有效消除需求分析的二义性和不一致性;针对目前信息系统适应性不强的缺点,提出了一种基于构件和XML的构件库管理框架和信息系统集成平台,该框架能实现基于构件的信息系统的插座式组装,在该框架下构建的信息系统具有很强的灵活性和伸缩性,能适应企业机构的调整并方便的进行重组;针对如何提高构件检索的效率这一问题,提出了一种基于案例推理的构件检索方法,并针对基于树匹配的构件检索思想,提出了路径索引技术,并将之无缝结合到了基于文本的倒排索引文档,以实现XML文档的内容和结构的双重索引,可大幅度提高查询效率;针对构件查询中的模式匹配和压缩文档的查询问题,提出了将String B-tree用于解决参数化样式匹配问题以及基于BW转换的高效搜索算法,较好的解决了参数匹配和压缩构件库中构件的检索问题;此外还提出了信息系统的动态菜单集成和基于角色的用户授权方法。
本文以某企业电力营销信息系统为例,对这种开发模型进行了实践,初步建立起了一个电力营销信息系统动态集成框架平台,验证了本文所提出的方法是可行的和有效的。
It has been an important issue facing the development of MIS as how to quickly and successfully develop software satisfying the requirement of enterprises, which has such flexibility as can adapt to the changes of the organization and business process.
To overcome the disadvantages of the current development methods, this dissertation deeply studied component reuse and XML; with a combination of component technology and XML and based on formal development method, this work presents a formal development method model for MIS based on components.
In regard to the incompleteness of requirement analysis in software development, which brings ambiguity and other problems, we propose the procedures for formal requirement analysis to effectively eliminate the ambiguity in requirement analysis and inconsistency. For the disadvantage of poor adaptability of the current information systems, we propose a component library management framework based on components and XML, and an information system integration platform. The framework enables slot assembly for component based information system; systems built under the framework have strong flexibility and scalability, and can adapt to the adjustment of enterprise organization and are ready for reorganization. In order to improve the efficiency for component retrieval, we propose a method based on case reasoning; and in regard to the retrieval by tree matching, we propose path indexing algorithm. The seamless integration of the method with inversely indexing documents enables a double indexing of contents and structure for XML documents, which greatly improves retrieval efficiency. As for the pattern matching for component retrieval and retrieval of compressed documents, we propose to use String B-tree to solve parameterized pattern matching and an efficient searching algorithm based on BW conversion, which solve the parameterized pattern matching and retrieval in compressed component library. In addition, we propose dynamic menu integration for information systems and role based authorization.
Taking the electric power information system of a certain enterprise as example, and applying the proposed development model, we build dynamic integration framework platform for the electric power marketing information system, which demonstrates the effectiveness and effective of the proposed method.
引文
[1]吕毅.形式化方法介绍及其在工程中的应用[J].微电子学与计算机[J],2003,10:26-31
[2]杨芙清.构件技术引领软件开发新潮流.中国计算机用户[J],2005,2(6):42-43.
[3](美)福勒著,侯捷,熊节译.重构--改善既有代码的设计[M].北京:中国电力出版社,2003:1-30
[4]Glib,T.Principles of Software Engineering Management[M],Addison-Wesley,1988:18-29
[5]Kerr J,R.Hunter.Inside RAD[M].McGraw-Hill,1994:15-30
[6]Mcdermid,J.,and P.Rook.Software Development Process Models[M],in software engineer's r eference book,CRC Press,1993:26-28.
[7]Boehm B.A Spiral Model for Software Development and Enhancement[J].Computer,1988,21(5):61-72
[8]Qiu,Xiao-Ping.A new special-domain and stepwise intelligent development method in soft ware engineering.Proceedings of 2004 International Conference on Machine Learning and Cybernetics,2004:2398-2401.
[9]Davis,A.,AND P.Sitaram.A Concurrent Process Model for Software Development[J].Softwa re Engineering Notes,ACM Press,1994.19(2):38-51.
[10]Humphrey,W,and M.Kellner.Software Process Modeling:Principles of Entity Process Model s[J].Proc.11th intl.Cont.on Software Engineering,IEEE Computer Society Press:331-342.
[11]Sheleg,W.Concurrent Engineering:A New Paradingm for C/S Development.Application D evelopment Trends[J],ACM Press,1994,1(6):28-33.
[12]Dyer,M.The Cleanroom Approach to Quality Software Development[J].Wiley,1992:3-70
[13]唐永刚,李宗斌,李善仓.基于多色集合理论的概念设计形式化解决方法[J].西安交通大学学报,2004,38(1):68-72
[14]周欣,魏生民.基于B语言的UML形式化方法.计算机工程[J],2004,30(12):62-64
[15]任洪敏,钱乐秋.构件组装及其形式化推导研究.软件学报[J].2003,14(6):1066-1074
[16]李长云,李赣生.一种形式化的动态体系结构描述语言.软件学报[J].2006,17(6):1349-1359
[17]楚旺,钱德沛.以体系结构为中心的构件模型的形式化语义.软件学报[J].2006,17(6):1287-1297
[18]薛锐,冯登国.安全协议的形式化分析技术与方法.计算机学报[J].2006,29(1):1-18
[19]卿斯汉.一种电子商务协议形式化分析方法.软件学报[J],2005,16(10):1757-1765
[20]张珩,沈海华.龙芯2号微处理器的功能验证.计算机研究与发展[J],2006,43(6):974-979.
[21]邢小英,王维维.两次数据精化的形式化软件开发方法.计算机工程[J],2006,32(1):102-104
[22]赵杨,李彤.支持软件并行工程过程建模的一种形式化方法.计算机工程[J],2004,30(18):76-77
[23]高如海,缪淮扣.一种获得形式化功能需求的方法.计算机应用与软件[J],2004,21(10):4-6
[24]陈澎.设计模式形式化方法分析和初步比较.计算机工程[J],2005,(31)2:1-2
[25]张志伟,胡晓峰.逻辑作业流程图形式化描述方法研究.计算机仿真[J],2005,22(5):1-4
[26]杨文龙,古天龙.软件工程(第2版)[M].电子工业出版社,2004:8-306
[27]张海藩.软件工程导论(第4版)[M].清华大学出版社,2003:57-64
[28]朱三元,钱乐秋,宿为民.软件工程技术概论.科学出版社[M],2002:15-99
[29]http://www.agilealliance.org.2004.5
[30]Clements P,Bachmann F,Bass L,Nord RL,Garlan D,Ivers J,Little R,Nord R,Stafford J.Documenting Software Architectures:Views and BeyondM][.Boston:Addison Wesley Professio nal,2002:20-60.
[31]Medvidovic N.,Richard NT.A classification and comparison framework for software architect ure description languages[J].IEEE Trans.on Software Engineering,2000,26(1):70-93.
[32]Bruneton E,Coupaye T,Stefani JB.Recursive and dynamic software composition with sharing.In:Proc.of the 7th Workshop on Component-Oriented Programming,http://fractal.objectweb.org /current/fractalWCOP02.pdf.2002.
[33]Dai L,Cooper K.Modeling and analysis of non-functional requirements as aspects in a UML based software architecture design.In:Proc.of the 6th Int'l Conf.on Software Engineering,Ar tificial Intelligence,Networking and Parallel/Distributed Computing.2005:178-183.
[34]Dobrica L,NiemelaE E.A survey on software architecture analysis methods[J].IEEE Trans.o n Software Engineering,2002,28(7):638-653.
[35]Clements P,Kazman R,Klein M.Evaluating Software Architectures:Methods and Case Studie s[M].Boston:Addison Wesley Professional,2002:18-30
[36]Magee J,Kramer J.Dynamic structure in software architectures.In:Kaise GE,ed.Proceeding s of the ACM SIGSOFT'96:the 4th Symposium on the Foundations of Software Engineering [J].New York:ACM Press,1996:3-14
[37]Shaw M,DeLine R,Klen DV.Abstractions for software architecture and tools to support the m.IEEE[118]R Allen,D Garlan.A formal basis for architectural connection[J].ACM Trans onSoftware Engineering and Methodology,1997,6(3):213-249
[38]D Garlan,R Monroe,D Wile.ACME:An architecture description interchange language[C].I n:Proc of CASCON97.Toronto IBM Press,1997:169-183
[39]C L David,V James.An event-based architecture definition language[J].IEEE Trans on Soft ware Engineering,1995,21(9):717-734
[40]杨芙清,梅宏,李克勤.支持构件复用的青鸟Ⅲ型系统概述[J].计算机科学,1999,26(5):50-55
[41]李阳,吴朝晖.一种形式化构件集成语义的研究.浙江大学学报(工学版)[J].2004,(38)2:135-140
[42]钟林辉,谢冰,邵维忠.扩充CDL支持基于构件的系统组装与演化.计算机研究与发展[J].2002,1139(110):1361-1365.
[43]刘辉,缪淮扣,刘静.基于虚构件的软件开发研究.应用科学学报[J],2004,22(2):211-216
[44]彭鑫,赵文耘,刘奕明.基于特征模型和构件语义的概念体系结构设计.软件学报[J],2006,17(6):1307 -1317.
[45]张世琨,张文娟,常欣,王立福,杨芙清.基于软件体系结构的可复用构件制作和组装.软件学报[J].2001,12(9):1351-1359
[46]李欣,张路,谢冰,杨芙清.基于构件的软件版本管理系统.电子学报[J],2000,28(11):119-121.
[47]梅宏,陈锋.ABC:基于体系结构、面向构件的软件开发方法.软件学报[J],2003(4):721-731
[48]Brandon Morel and Perry Alexander.SPARTACAS:Automating Component Reuse and Adaptat i-on[J].IEEE Transactions On Software Engineering,2004,VOL.30(9):587-599
[49]王渊峰,张涌,任洪敏,等.基于刻面描述的构件检索.软件学报[J],2002,13(08):1546-1551
[50]马亮,谢冰,杨芙清.多构件库统一刻面检索机制.电子学报[J],2002,Vol.30(12):2149-2152
[51]晏荣杰,冯莉,宋雨.可复用构件的分类与查询方法研究.计算机工程与应用[J],2003(6):85-87
[52]郭永林.基于XML描述的构件匹配研究.重庆大学学位论文[D],2006
[53]孙念民,李万龙.基于xml技术的软件构件表示与检索.计算机系统应用[J],2007(10):94-97
[54]Naiyana Tansalarak and Kajal T.Claypool.XCM:A Component Ontology[R].ACM Conference on Object-Oriented Programming,Systems,Languages and Applications.http://www.claypools.or g/kajal-osa-04.pdf,2004.
[55]Naiyana Tansalarak and Kajal T.Claypool.XCompose:An XML-Based Component Composition Framework[C].In Third International Workshop on Composition Languages In conjunction with 17th European Conference on Object-Oriented Programming(ECOOP).http://www.cs.uml.e du/~ntansala/publication/XCompose-WCL2003.pdf,2003
[56]姚全珠,李献令.基于XML的构件库管理框架的研究与实现[J].计算机工程与应用,2006,(21):78-80
[57]Manish.C# Component Based Development.http://www.donettxtreme.com.2004.5
[58]叶阳.基于XML的构件化企业模型描述及应用[J].计算机工程,2003,23(1):123-125
[59]杨芙清,王千祥,梅宏等.基于复用的软件生产技术[J].中国科学.2001.31(4):364-371
[60]姚全珠,戴建峰.基于构件和XML的信息系统集成平台的研究[J].计算机工程与应用,2004,(19):113-115
[61]Mei Hong,Yangfuqing.Building enterprise reuse program-A Model-based approach[J].Science in Chinese,2002,45(3):161-173
[62]章峰,王军.基于XML的企业信息集成平台实现及应用[J].计算机工程与应用,2001,(24)123-125
[63]张涌,王渊峰,钱乐秋.一个集成式的软件构架描述框架[J].计算机学报,2002,25(5):502-507
[64]Sang.Geun Kim.Designing a Domain Framework with Component Management Model[J].Journ al of Software,2002,13(3):335-341
[65]#12
[66]Natsuhiko Futamura,Srinivas Aluru,Stefan Kurtz.Parallel suffix Sorting[C].in:Proc.of the Ni nth International Conference on Advanced Computing and Communications,Bhubaneshwar,Ind ia,Tata McGraw-Hill,New-Dehli,India,2001:76-81.
[67]Stefan Burkhardt,Juha Karkkainen.Fast Lightweight Suffix Array Construction and Checking[J].CPM,2003:55-69
[68]P.Weiner.Linear Patter matching algorithm[J].In proc.14th symposium on Swiching and Automat a Theory,IEEE,1973:1-11
[69]E.M.McCreight.A space_economic suffix tree construction algorithm[J].ACM,1976,23(2):262-272
[70]G.Gonnet,R.Baeza-Yates,and T.Snider.New indices for text:PAT trees and PAT arrays[C].In W.B.Frakes and R.Baeza-Yates,editors,Information Retrieval:Data Structures & Algorithms.Prentice-H all,1992:30-89
[71]D.K.Kim,J.S.Sim,H.Park,and K.park.Linear-time construction of suffix arrays[J].In proc.14th A nnual Symposium on Combinatorial Pattern Matching.Springer,2003,2676:186-199
[72]P.Ko and S.Aluru.Space ecient linear time construction of sux arrays[J].In Proc.14th Annual Sy mposium on Combinatorial Pattern Matching.Springer,2003,2676:200-210
[73]J.Karkkainen and P.Sanders.Simple linear work suffix array construction[J].In Proc.13th Internat ional Conference on Automata,Languages and Programming.Springer,2003,2676:943-955
[74]U.Manber and G.Myers.Suffix Arrays:A new method for on-line string searches[J].SIAM j.comp ut,1993,22(5):935-948.
[75]N.Jesper Larsson,Kunihiko Sadakane.Faster Suffix Sorting[J].IEEE Data Compression Confere nce,1999:1-20
[76]Giovanni Manzini,Paolo Ferragina.Engineering a Lightweight Suffix Array Construction Algori thm[J].Springer Verlag,2002,2461:698-710
[77]H.Itoh and H.Tanaka.An efficient method for in memory construction of suffix arrays[J].In Pro c.6th Symposium on String processing and Information Retrieval.IEEE,1999:125-136
[78]J.Se Ward.On the performance of BWT sorting algorithms.In Proc.Data Compression Conference [J].IEEE,2000:173-182
[79]方明.多智能体援例推理专家系统[M].陕西:陕西科学技术出版社,2001:15-50
[80]Agnar Aarnodt,Enric Plaza.Case-Based Reasoning:Foundational Issues,Methodological Variations,and System Approaches[M].AI Communications Press,1994(7):39-59
[81]Wess S,AlthoffK,Derwand G.Using k-d Trees to Improve Retrieval Step in Case-Based.Reasoning [R]In:Lecture Notes in Artificial Intelligence,First European Workshop,Germany,Berlin,1993.
[82]盖建荣,梁静坤.数据挖掘在软构件查询管理中的应用研究[J].河北师范大学学报.2005,29(5):455-458
[83]Burkhard,H.-D.& Lenz,M.Case Retrieval Nets:Basic Ideas and Extensions[J],inH.-D.Burkhard & M.Lenz(eds.),Procs.of the 4th German Workshop on CBR,1996:103-110
[84]Shimura T,Yoshikawa M,Uemura S.Storage and Retrieval of XML Documents Using Object -relational Databases[C].Proc.of Int'l Conf.on Database and Expert Systems Applications,1999:238-242
[85]Wang Xiaoling,Wen Jirong,Liu Wenyin.Enhancive Index for Structured Document Retrieval[E B/OL],http://research.microsoft.com/asia/dload_files/group/mediasearching/2002p/10_wang.pdf,2002
[86]Daniela F,Donald K,Loana M.Integrating Keyword Search into XML Query Processing[C].Proceedings of then International World Wide Web Conference,2000:119-135.
[87]Kotsakis E.Structured Information Retrieval in XML Documents[Z].http://citeseer.nj.nec.com/cs,2005
[88]Lewis H,Papadimitriou C.Elements of the Theory of Computation[M].Prentice Hall,Inc,1998:25-31
[89]B.Cooper,N.Sample,M.J.Franklin,G.R.Hjaltason,and M.Shadmon.A fast index for se mistructured data[C],Proceedings of the 27th International Conference on Very Large Data Bas es,2001:341-350
[90]R.Goldman and J.Widom.DataGuides:Enabling query formulation and optimization in semis tructured databases[J].In VLDB,1997:436-445
[91]T.Milo,D.Suciu,Index structures for path expressions[C],in:Proceedings of the Seventh Inte rnational Conference on Database Theory(ICDT),1999:277-295
[92]J.McHugh and J.Widom.Query optimization for XML,http://www.vldb.org/conf/1999/P32.pdf,1999
[93]D.Srivastava,S.Al-Khalifa,H.Jagadish,N.Koudas,J.Patel,and Y.Wu.Structural joins:A primiti ve for effcient XML query pattern matching,In ICDE,2002:141-152
[94]A.Halverson et al.Mixed mode XML query processing[J],VLDB 2003:225-236
[95]万常选等.基于区间编码的XML索引结构的有效结构[J].计算机学报,2005,28(1):118-119
[96]Zhang C,Nanghton J,De Witt D.etal.On Supporting containment aueries in rathinal database management systems[C].In:Proceedings of the ACM SIGMOD Conference,Santa Barbara,Cali fonia,2001:426-437
[97]Brenda S.Baker.Parameterized Pattern Matching:Algorithms and Application[J].Journal of Com puter and System Sciences,1996,52(1):28-42.
[98]Paolo Ferragina,Roberto Grossi.The string B-tree:a new data structure for string search in external memory and it's applications[J].Journal of the ACM,1999,46(2):236-280.
[99]Bell T,Adjeroh D,Mukherjee A.Pattern Matching in Compressed Text and Images[R].Departm ent of Computer Science,University of Canterbury,http://citeseer.ist.psu.edu/bell01pattern.html,2001
[100]Shibata Y,Kida T,Fukamachi S,et al.Speeding up Pattern Matching by Text Compression[J].Transactions of Information Processing Society of Japan,2001,42(3):370-384
[101]Burrows M,Wheeler D.A Block-sorting Lossless Data Compression Algorithm[R].Palo Alt o:Digital Equipment Corporation,1994:354-359
[102]Arnold R,Bell T C.A Corpus for the Evaluation of Lossless Compression Algorithms[C].D esigns,Codes and Cryptography,1997:201-210
[103]Adjeroh D,Mukherjee A,Bell T,et al.Pattern Matching in BWT Compressed Text[C].Proc eedings of Data Compression Conference,http://www.csee.wvu.edu/~adjeroh/progress/cpmPaper s/searchBWT_qgrams.pdf,2002
[104]Boyer R S,Moore J S.A Fast String Searching Algorithm[J].Communications of the ACM,1977,20:762-772
[105]Cole R.Tight Bounds on the Complexity of the Boyer-Moore Pattern Matching Algorithm[J].SIAM Journal on Computing,1977,23(5):1075-1091
[106]姚全珠,崔杜武,李海刚.管理信息系统开发中的形式化需求分析方法研究[J].西安理工大学学报,2002,18(3):231-234
[107]姚全珠,张志锋.基于构件的信息系统形式化需求分析方法的研究[J].计算机工程与应用,2005,(18):176-178
[108]叶宏谟.《企业资源规划》[M].北京:电子工业出版社,2002:50-80
[109]谢晓芹,王克宏.两个基本共识-基于构件的软件开发的发展方向.http://doc.readmen.com/14/152023.shtml,2005
[110]姚全珠,崔杜武,张毅坤.基于Intranet的网络保密方法研究[J].计算机科学,2002,27(9):134-135
[111]麦中凡,陆永宁.《C#编程语言》[M].北京:北京航空航天大学出版社,2003:1
[112]Roger S.Pressman.Software Engineering-A Practitioner's Approach[M],Fourth Edition.McGr aw-Hill.1997:1
[113]Nierstrasz.Component-Oriented Software Development[J],CACM,1992,35(9):160-165.
[114]Yoshikawa M,Shimura T,Uemura S.A path-based approach to storage and retrieval of XML d ocuments using relational databases[J].Acm transactions on Internet Technology,2001,1(1):1-29.
[115]何长领.电子商务安全[M].北京:人民邮电出版社,2001:60-90
[116]姚全珠,丁晓剑.一种新的基于XML的索引机制[J].计算机工程,2006,32(15):90-92
[117]姚全珠,丁晓剑.处理XML文档查询的高效结构连接方法[J].计算机工程,2006,32(18):87-89
[118]姚全珠,丁晓剑,任雪利,张志锋,.BWT-Boyer-Moore压缩域搜索算法的研究[J].计算机应用研究,2006,(7):59-61
[119]C.Snook,M.Butler,Verifying dynamic properties of UML models by translation to the B language,In Proceedings UML 2000 WORKSHOP Dynamic Behaviour in UML Model s:Semantic Questions,York,2000
[120]姚全珠,罗亚红.StringB-tree在软件复用中的应用研究[J].计算机工程与应用,2004,(29):167-168
[121]刘海泉,姚全珠.Web使用挖掘在电子商务中的应用研究[J].计算机工程,2006,(7):58-60
[122]Ferda Tartanoglu,Nicole Levy,Valerie Issamy,Alexander Romanovsky.Using the B Method for the Formalization of Coordinated Atomic Actions.Technical Report Series CS-TR-865,2004
[123]姚全珠,丁新村.基于遗传算法的刻面权重构件检索方法的实现[J].计算机工程与应用,2008,(6):127-129
[124]张基温,王一平,姚全珠.信息系统开发案例[M].北京:清华大学出版社,1999.5:60-130
[125]崔杜武,姚全珠.PowerBuilder8.0从基础到应用[M].北京:人民邮电出版社,2004.4:120-279
[126]Luigia Petre.Components vs Objects Turku Centre for Computer Science[R].TUCS Technica 1 reports,2000,370:1
[127]Klaus Bergner,Andreas Rausch,Marc Sihting,Alexander Vilbig.Componentware-Methodo logy and Process[J].Springer,1999:194-204
[128]R.G.Dromey.Form Requirements to Design:Formalizing the Key Steps[J].SEFM-2003,IEEE Int ernational Conference on Software Engineering and Formal Methods,Brisbane,2003:2-11
[129]R.E.Kurt,Stirewalt.Laura,K.Dillon.A Component-Based Approach to Building Formal Analysi s Tools[J].IEEE,2001:167-176
[130]Dieter Hutter,Georg Rock.Formal software development in the Verification Support Environ ment(VSE)[C].In Proceedings 13th International Florida Artificial Intelligence Research Sy mposium(FLAIRS-2000),AAAI-Press,2000:367-376
[131]Hinchey,M.and Bowen,J.Applications of Formal Methods[J],Prentice-Hall International Se ries in Computer Science,1995:375-398.
[132]M.vonder Beeck,T.Margaria,B.Steffen.A formal requirements engineering method for sp ecification,synthesis,and verification[J].IEEE Computer Society,1997:131-144.
[133]Sang-Geun Kim.Designing a Domain Framework with Component Management Model[J].Jou rnal of Software[J],2002,13(3):335-341
[134]Menzies,T.,et al.,"Fast Formal Analysis of Requirements Via 'Topoi Diagrams'[C],Twenty-th ird International Conference on Software Engineering,Los Alamitos,California:IEEE Compu ter Society Press,2001:391-400
[135]B.N.Levy,R.Marcano,and J,Souquieres.From requirements to formal specification using UML and B.In 2nd International Conference in Computer Systems and Technologies,Bulgaria,http://www.prism.uvsq.fr/recherche/themes/sial/arlog/publications/CST2002.pdf,2002
[136]姚全珠,孟丽,崔杜武.基于CBR和XML的软构件检索方法.计算机应用[J],2007,27(7):1711-1714
[137]Wang Yan,Chen Ming,Zhao Jianhui.Retrieving reuse component based on semantic.Journal of Southeast University(English Edition),2007,23(3):327-332
[138]Taciana A.Vanderlei,Frederico A.Durao.A cooperative classification mechanism for search and retrieval software components.Proceedings of the 2007 ACM symposium on Applied co mputing,Seoul,Korea,ACM,2007:866-871
[139]王志坚,费玉奎,娄渊清.软件构件技术及其应用.科学出版社,2005.4:1-170
[140]张世琨等.基于软件体系结构的可复用构件制作和组装.软件学报[J],2001,12(9):1351-1359
[141]刘瑜等.基于构件的软件框架与角色扩展形态研究.软件学报[J],2003,14(8):1364-1370
[142]何克清等.业务应用软件框架的一种分析方法.软件学报[J],2001,12(7):1007-1014
[143]常继传,郭立峰,马黎.可复用软件构件的表示和检索.计算机科学[J],1999,26(5):45-49
[144]甘国华.基于XML和软件体系结构的构件组装技术的研究.哈尔滨工业大学学位论文[D],2004
[2]杨芙清.构件技术引领软件开发新潮流.中国计算机用户[J],2005,2(6):42-43.
[3](美)福勒著,侯捷,熊节译.重构--改善既有代码的设计[M].北京:中国电力出版社,2003:1-30
[4]Glib,T.Principles of Software Engineering Management[M],Addison-Wesley,1988:18-29
[5]Kerr J,R.Hunter.Inside RAD[M].McGraw-Hill,1994:15-30
[6]Mcdermid,J.,and P.Rook.Software Development Process Models[M],in software engineer's r eference book,CRC Press,1993:26-28.
[7]Boehm B.A Spiral Model for Software Development and Enhancement[J].Computer,1988,21(5):61-72
[8]Qiu,Xiao-Ping.A new special-domain and stepwise intelligent development method in soft ware engineering.Proceedings of 2004 International Conference on Machine Learning and Cybernetics,2004:2398-2401.
[9]Davis,A.,AND P.Sitaram.A Concurrent Process Model for Software Development[J].Softwa re Engineering Notes,ACM Press,1994.19(2):38-51.
[10]Humphrey,W,and M.Kellner.Software Process Modeling:Principles of Entity Process Model s[J].Proc.11th intl.Cont.on Software Engineering,IEEE Computer Society Press:331-342.
[11]Sheleg,W.Concurrent Engineering:A New Paradingm for C/S Development.Application D evelopment Trends[J],ACM Press,1994,1(6):28-33.
[12]Dyer,M.The Cleanroom Approach to Quality Software Development[J].Wiley,1992:3-70
[13]唐永刚,李宗斌,李善仓.基于多色集合理论的概念设计形式化解决方法[J].西安交通大学学报,2004,38(1):68-72
[14]周欣,魏生民.基于B语言的UML形式化方法.计算机工程[J],2004,30(12):62-64
[15]任洪敏,钱乐秋.构件组装及其形式化推导研究.软件学报[J].2003,14(6):1066-1074
[16]李长云,李赣生.一种形式化的动态体系结构描述语言.软件学报[J].2006,17(6):1349-1359
[17]楚旺,钱德沛.以体系结构为中心的构件模型的形式化语义.软件学报[J].2006,17(6):1287-1297
[18]薛锐,冯登国.安全协议的形式化分析技术与方法.计算机学报[J].2006,29(1):1-18
[19]卿斯汉.一种电子商务协议形式化分析方法.软件学报[J],2005,16(10):1757-1765
[20]张珩,沈海华.龙芯2号微处理器的功能验证.计算机研究与发展[J],2006,43(6):974-979.
[21]邢小英,王维维.两次数据精化的形式化软件开发方法.计算机工程[J],2006,32(1):102-104
[22]赵杨,李彤.支持软件并行工程过程建模的一种形式化方法.计算机工程[J],2004,30(18):76-77
[23]高如海,缪淮扣.一种获得形式化功能需求的方法.计算机应用与软件[J],2004,21(10):4-6
[24]陈澎.设计模式形式化方法分析和初步比较.计算机工程[J],2005,(31)2:1-2
[25]张志伟,胡晓峰.逻辑作业流程图形式化描述方法研究.计算机仿真[J],2005,22(5):1-4
[26]杨文龙,古天龙.软件工程(第2版)[M].电子工业出版社,2004:8-306
[27]张海藩.软件工程导论(第4版)[M].清华大学出版社,2003:57-64
[28]朱三元,钱乐秋,宿为民.软件工程技术概论.科学出版社[M],2002:15-99
[29]http://www.agilealliance.org.2004.5
[30]Clements P,Bachmann F,Bass L,Nord RL,Garlan D,Ivers J,Little R,Nord R,Stafford J.Documenting Software Architectures:Views and BeyondM][.Boston:Addison Wesley Professio nal,2002:20-60.
[31]Medvidovic N.,Richard NT.A classification and comparison framework for software architect ure description languages[J].IEEE Trans.on Software Engineering,2000,26(1):70-93.
[32]Bruneton E,Coupaye T,Stefani JB.Recursive and dynamic software composition with sharing.In:Proc.of the 7th Workshop on Component-Oriented Programming,http://fractal.objectweb.org /current/fractalWCOP02.pdf.2002.
[33]Dai L,Cooper K.Modeling and analysis of non-functional requirements as aspects in a UML based software architecture design.In:Proc.of the 6th Int'l Conf.on Software Engineering,Ar tificial Intelligence,Networking and Parallel/Distributed Computing.2005:178-183.
[34]Dobrica L,NiemelaE E.A survey on software architecture analysis methods[J].IEEE Trans.o n Software Engineering,2002,28(7):638-653.
[35]Clements P,Kazman R,Klein M.Evaluating Software Architectures:Methods and Case Studie s[M].Boston:Addison Wesley Professional,2002:18-30
[36]Magee J,Kramer J.Dynamic structure in software architectures.In:Kaise GE,ed.Proceeding s of the ACM SIGSOFT'96:the 4th Symposium on the Foundations of Software Engineering [J].New York:ACM Press,1996:3-14
[37]Shaw M,DeLine R,Klen DV.Abstractions for software architecture and tools to support the m.IEEE[118]R Allen,D Garlan.A formal basis for architectural connection[J].ACM Trans onSoftware Engineering and Methodology,1997,6(3):213-249
[38]D Garlan,R Monroe,D Wile.ACME:An architecture description interchange language[C].I n:Proc of CASCON97.Toronto IBM Press,1997:169-183
[39]C L David,V James.An event-based architecture definition language[J].IEEE Trans on Soft ware Engineering,1995,21(9):717-734
[40]杨芙清,梅宏,李克勤.支持构件复用的青鸟Ⅲ型系统概述[J].计算机科学,1999,26(5):50-55
[41]李阳,吴朝晖.一种形式化构件集成语义的研究.浙江大学学报(工学版)[J].2004,(38)2:135-140
[42]钟林辉,谢冰,邵维忠.扩充CDL支持基于构件的系统组装与演化.计算机研究与发展[J].2002,1139(110):1361-1365.
[43]刘辉,缪淮扣,刘静.基于虚构件的软件开发研究.应用科学学报[J],2004,22(2):211-216
[44]彭鑫,赵文耘,刘奕明.基于特征模型和构件语义的概念体系结构设计.软件学报[J],2006,17(6):1307 -1317.
[45]张世琨,张文娟,常欣,王立福,杨芙清.基于软件体系结构的可复用构件制作和组装.软件学报[J].2001,12(9):1351-1359
[46]李欣,张路,谢冰,杨芙清.基于构件的软件版本管理系统.电子学报[J],2000,28(11):119-121.
[47]梅宏,陈锋.ABC:基于体系结构、面向构件的软件开发方法.软件学报[J],2003(4):721-731
[48]Brandon Morel and Perry Alexander.SPARTACAS:Automating Component Reuse and Adaptat i-on[J].IEEE Transactions On Software Engineering,2004,VOL.30(9):587-599
[49]王渊峰,张涌,任洪敏,等.基于刻面描述的构件检索.软件学报[J],2002,13(08):1546-1551
[50]马亮,谢冰,杨芙清.多构件库统一刻面检索机制.电子学报[J],2002,Vol.30(12):2149-2152
[51]晏荣杰,冯莉,宋雨.可复用构件的分类与查询方法研究.计算机工程与应用[J],2003(6):85-87
[52]郭永林.基于XML描述的构件匹配研究.重庆大学学位论文[D],2006
[53]孙念民,李万龙.基于xml技术的软件构件表示与检索.计算机系统应用[J],2007(10):94-97
[54]Naiyana Tansalarak and Kajal T.Claypool.XCM:A Component Ontology[R].ACM Conference on Object-Oriented Programming,Systems,Languages and Applications.http://www.claypools.or g/kajal-osa-04.pdf,2004.
[55]Naiyana Tansalarak and Kajal T.Claypool.XCompose:An XML-Based Component Composition Framework[C].In Third International Workshop on Composition Languages In conjunction with 17th European Conference on Object-Oriented Programming(ECOOP).http://www.cs.uml.e du/~ntansala/publication/XCompose-WCL2003.pdf,2003
[56]姚全珠,李献令.基于XML的构件库管理框架的研究与实现[J].计算机工程与应用,2006,(21):78-80
[57]Manish.C# Component Based Development.http://www.donettxtreme.com.2004.5
[58]叶阳.基于XML的构件化企业模型描述及应用[J].计算机工程,2003,23(1):123-125
[59]杨芙清,王千祥,梅宏等.基于复用的软件生产技术[J].中国科学.2001.31(4):364-371
[60]姚全珠,戴建峰.基于构件和XML的信息系统集成平台的研究[J].计算机工程与应用,2004,(19):113-115
[61]Mei Hong,Yangfuqing.Building enterprise reuse program-A Model-based approach[J].Science in Chinese,2002,45(3):161-173
[62]章峰,王军.基于XML的企业信息集成平台实现及应用[J].计算机工程与应用,2001,(24)123-125
[63]张涌,王渊峰,钱乐秋.一个集成式的软件构架描述框架[J].计算机学报,2002,25(5):502-507
[64]Sang.Geun Kim.Designing a Domain Framework with Component Management Model[J].Journ al of Software,2002,13(3):335-341
[65]#12
[66]Natsuhiko Futamura,Srinivas Aluru,Stefan Kurtz.Parallel suffix Sorting[C].in:Proc.of the Ni nth International Conference on Advanced Computing and Communications,Bhubaneshwar,Ind ia,Tata McGraw-Hill,New-Dehli,India,2001:76-81.
[67]Stefan Burkhardt,Juha Karkkainen.Fast Lightweight Suffix Array Construction and Checking[J].CPM,2003:55-69
[68]P.Weiner.Linear Patter matching algorithm[J].In proc.14th symposium on Swiching and Automat a Theory,IEEE,1973:1-11
[69]E.M.McCreight.A space_economic suffix tree construction algorithm[J].ACM,1976,23(2):262-272
[70]G.Gonnet,R.Baeza-Yates,and T.Snider.New indices for text:PAT trees and PAT arrays[C].In W.B.Frakes and R.Baeza-Yates,editors,Information Retrieval:Data Structures & Algorithms.Prentice-H all,1992:30-89
[71]D.K.Kim,J.S.Sim,H.Park,and K.park.Linear-time construction of suffix arrays[J].In proc.14th A nnual Symposium on Combinatorial Pattern Matching.Springer,2003,2676:186-199
[72]P.Ko and S.Aluru.Space ecient linear time construction of sux arrays[J].In Proc.14th Annual Sy mposium on Combinatorial Pattern Matching.Springer,2003,2676:200-210
[73]J.Karkkainen and P.Sanders.Simple linear work suffix array construction[J].In Proc.13th Internat ional Conference on Automata,Languages and Programming.Springer,2003,2676:943-955
[74]U.Manber and G.Myers.Suffix Arrays:A new method for on-line string searches[J].SIAM j.comp ut,1993,22(5):935-948.
[75]N.Jesper Larsson,Kunihiko Sadakane.Faster Suffix Sorting[J].IEEE Data Compression Confere nce,1999:1-20
[76]Giovanni Manzini,Paolo Ferragina.Engineering a Lightweight Suffix Array Construction Algori thm[J].Springer Verlag,2002,2461:698-710
[77]H.Itoh and H.Tanaka.An efficient method for in memory construction of suffix arrays[J].In Pro c.6th Symposium on String processing and Information Retrieval.IEEE,1999:125-136
[78]J.Se Ward.On the performance of BWT sorting algorithms.In Proc.Data Compression Conference [J].IEEE,2000:173-182
[79]方明.多智能体援例推理专家系统[M].陕西:陕西科学技术出版社,2001:15-50
[80]Agnar Aarnodt,Enric Plaza.Case-Based Reasoning:Foundational Issues,Methodological Variations,and System Approaches[M].AI Communications Press,1994(7):39-59
[81]Wess S,AlthoffK,Derwand G.Using k-d Trees to Improve Retrieval Step in Case-Based.Reasoning [R]In:Lecture Notes in Artificial Intelligence,First European Workshop,Germany,Berlin,1993.
[82]盖建荣,梁静坤.数据挖掘在软构件查询管理中的应用研究[J].河北师范大学学报.2005,29(5):455-458
[83]Burkhard,H.-D.& Lenz,M.Case Retrieval Nets:Basic Ideas and Extensions[J],inH.-D.Burkhard & M.Lenz(eds.),Procs.of the 4th German Workshop on CBR,1996:103-110
[84]Shimura T,Yoshikawa M,Uemura S.Storage and Retrieval of XML Documents Using Object -relational Databases[C].Proc.of Int'l Conf.on Database and Expert Systems Applications,1999:238-242
[85]Wang Xiaoling,Wen Jirong,Liu Wenyin.Enhancive Index for Structured Document Retrieval[E B/OL],http://research.microsoft.com/asia/dload_files/group/mediasearching/2002p/10_wang.pdf,2002
[86]Daniela F,Donald K,Loana M.Integrating Keyword Search into XML Query Processing[C].Proceedings of then International World Wide Web Conference,2000:119-135.
[87]Kotsakis E.Structured Information Retrieval in XML Documents[Z].http://citeseer.nj.nec.com/cs,2005
[88]Lewis H,Papadimitriou C.Elements of the Theory of Computation[M].Prentice Hall,Inc,1998:25-31
[89]B.Cooper,N.Sample,M.J.Franklin,G.R.Hjaltason,and M.Shadmon.A fast index for se mistructured data[C],Proceedings of the 27th International Conference on Very Large Data Bas es,2001:341-350
[90]R.Goldman and J.Widom.DataGuides:Enabling query formulation and optimization in semis tructured databases[J].In VLDB,1997:436-445
[91]T.Milo,D.Suciu,Index structures for path expressions[C],in:Proceedings of the Seventh Inte rnational Conference on Database Theory(ICDT),1999:277-295
[92]J.McHugh and J.Widom.Query optimization for XML,http://www.vldb.org/conf/1999/P32.pdf,1999
[93]D.Srivastava,S.Al-Khalifa,H.Jagadish,N.Koudas,J.Patel,and Y.Wu.Structural joins:A primiti ve for effcient XML query pattern matching,In ICDE,2002:141-152
[94]A.Halverson et al.Mixed mode XML query processing[J],VLDB 2003:225-236
[95]万常选等.基于区间编码的XML索引结构的有效结构[J].计算机学报,2005,28(1):118-119
[96]Zhang C,Nanghton J,De Witt D.etal.On Supporting containment aueries in rathinal database management systems[C].In:Proceedings of the ACM SIGMOD Conference,Santa Barbara,Cali fonia,2001:426-437
[97]Brenda S.Baker.Parameterized Pattern Matching:Algorithms and Application[J].Journal of Com puter and System Sciences,1996,52(1):28-42.
[98]Paolo Ferragina,Roberto Grossi.The string B-tree:a new data structure for string search in external memory and it's applications[J].Journal of the ACM,1999,46(2):236-280.
[99]Bell T,Adjeroh D,Mukherjee A.Pattern Matching in Compressed Text and Images[R].Departm ent of Computer Science,University of Canterbury,http://citeseer.ist.psu.edu/bell01pattern.html,2001
[100]Shibata Y,Kida T,Fukamachi S,et al.Speeding up Pattern Matching by Text Compression[J].Transactions of Information Processing Society of Japan,2001,42(3):370-384
[101]Burrows M,Wheeler D.A Block-sorting Lossless Data Compression Algorithm[R].Palo Alt o:Digital Equipment Corporation,1994:354-359
[102]Arnold R,Bell T C.A Corpus for the Evaluation of Lossless Compression Algorithms[C].D esigns,Codes and Cryptography,1997:201-210
[103]Adjeroh D,Mukherjee A,Bell T,et al.Pattern Matching in BWT Compressed Text[C].Proc eedings of Data Compression Conference,http://www.csee.wvu.edu/~adjeroh/progress/cpmPaper s/searchBWT_qgrams.pdf,2002
[104]Boyer R S,Moore J S.A Fast String Searching Algorithm[J].Communications of the ACM,1977,20:762-772
[105]Cole R.Tight Bounds on the Complexity of the Boyer-Moore Pattern Matching Algorithm[J].SIAM Journal on Computing,1977,23(5):1075-1091
[106]姚全珠,崔杜武,李海刚.管理信息系统开发中的形式化需求分析方法研究[J].西安理工大学学报,2002,18(3):231-234
[107]姚全珠,张志锋.基于构件的信息系统形式化需求分析方法的研究[J].计算机工程与应用,2005,(18):176-178
[108]叶宏谟.《企业资源规划》[M].北京:电子工业出版社,2002:50-80
[109]谢晓芹,王克宏.两个基本共识-基于构件的软件开发的发展方向.http://doc.readmen.com/14/152023.shtml,2005
[110]姚全珠,崔杜武,张毅坤.基于Intranet的网络保密方法研究[J].计算机科学,2002,27(9):134-135
[111]麦中凡,陆永宁.《C#编程语言》[M].北京:北京航空航天大学出版社,2003:1
[112]Roger S.Pressman.Software Engineering-A Practitioner's Approach[M],Fourth Edition.McGr aw-Hill.1997:1
[113]Nierstrasz.Component-Oriented Software Development[J],CACM,1992,35(9):160-165.
[114]Yoshikawa M,Shimura T,Uemura S.A path-based approach to storage and retrieval of XML d ocuments using relational databases[J].Acm transactions on Internet Technology,2001,1(1):1-29.
[115]何长领.电子商务安全[M].北京:人民邮电出版社,2001:60-90
[116]姚全珠,丁晓剑.一种新的基于XML的索引机制[J].计算机工程,2006,32(15):90-92
[117]姚全珠,丁晓剑.处理XML文档查询的高效结构连接方法[J].计算机工程,2006,32(18):87-89
[118]姚全珠,丁晓剑,任雪利,张志锋,.BWT-Boyer-Moore压缩域搜索算法的研究[J].计算机应用研究,2006,(7):59-61
[119]C.Snook,M.Butler,Verifying dynamic properties of UML models by translation to the B language,In Proceedings UML 2000 WORKSHOP Dynamic Behaviour in UML Model s:Semantic Questions,York,2000
[120]姚全珠,罗亚红.StringB-tree在软件复用中的应用研究[J].计算机工程与应用,2004,(29):167-168
[121]刘海泉,姚全珠.Web使用挖掘在电子商务中的应用研究[J].计算机工程,2006,(7):58-60
[122]Ferda Tartanoglu,Nicole Levy,Valerie Issamy,Alexander Romanovsky.Using the B Method for the Formalization of Coordinated Atomic Actions.Technical Report Series CS-TR-865,2004
[123]姚全珠,丁新村.基于遗传算法的刻面权重构件检索方法的实现[J].计算机工程与应用,2008,(6):127-129
[124]张基温,王一平,姚全珠.信息系统开发案例[M].北京:清华大学出版社,1999.5:60-130
[125]崔杜武,姚全珠.PowerBuilder8.0从基础到应用[M].北京:人民邮电出版社,2004.4:120-279
[126]Luigia Petre.Components vs Objects Turku Centre for Computer Science[R].TUCS Technica 1 reports,2000,370:1
[127]Klaus Bergner,Andreas Rausch,Marc Sihting,Alexander Vilbig.Componentware-Methodo logy and Process[J].Springer,1999:194-204
[128]R.G.Dromey.Form Requirements to Design:Formalizing the Key Steps[J].SEFM-2003,IEEE Int ernational Conference on Software Engineering and Formal Methods,Brisbane,2003:2-11
[129]R.E.Kurt,Stirewalt.Laura,K.Dillon.A Component-Based Approach to Building Formal Analysi s Tools[J].IEEE,2001:167-176
[130]Dieter Hutter,Georg Rock.Formal software development in the Verification Support Environ ment(VSE)[C].In Proceedings 13th International Florida Artificial Intelligence Research Sy mposium(FLAIRS-2000),AAAI-Press,2000:367-376
[131]Hinchey,M.and Bowen,J.Applications of Formal Methods[J],Prentice-Hall International Se ries in Computer Science,1995:375-398.
[132]M.vonder Beeck,T.Margaria,B.Steffen.A formal requirements engineering method for sp ecification,synthesis,and verification[J].IEEE Computer Society,1997:131-144.
[133]Sang-Geun Kim.Designing a Domain Framework with Component Management Model[J].Jou rnal of Software[J],2002,13(3):335-341
[134]Menzies,T.,et al.,"Fast Formal Analysis of Requirements Via 'Topoi Diagrams'[C],Twenty-th ird International Conference on Software Engineering,Los Alamitos,California:IEEE Compu ter Society Press,2001:391-400
[135]B.N.Levy,R.Marcano,and J,Souquieres.From requirements to formal specification using UML and B.In 2nd International Conference in Computer Systems and Technologies,Bulgaria,http://www.prism.uvsq.fr/recherche/themes/sial/arlog/publications/CST2002.pdf,2002
[136]姚全珠,孟丽,崔杜武.基于CBR和XML的软构件检索方法.计算机应用[J],2007,27(7):1711-1714
[137]Wang Yan,Chen Ming,Zhao Jianhui.Retrieving reuse component based on semantic.Journal of Southeast University(English Edition),2007,23(3):327-332
[138]Taciana A.Vanderlei,Frederico A.Durao.A cooperative classification mechanism for search and retrieval software components.Proceedings of the 2007 ACM symposium on Applied co mputing,Seoul,Korea,ACM,2007:866-871
[139]王志坚,费玉奎,娄渊清.软件构件技术及其应用.科学出版社,2005.4:1-170
[140]张世琨等.基于软件体系结构的可复用构件制作和组装.软件学报[J],2001,12(9):1351-1359
[141]刘瑜等.基于构件的软件框架与角色扩展形态研究.软件学报[J],2003,14(8):1364-1370
[142]何克清等.业务应用软件框架的一种分析方法.软件学报[J],2001,12(7):1007-1014
[143]常继传,郭立峰,马黎.可复用软件构件的表示和检索.计算机科学[J],1999,26(5):45-49
[144]甘国华.基于XML和软件体系结构的构件组装技术的研究.哈尔滨工业大学学位论文[D],2004