计算机科学 ›› 2014, Vol. 41 ›› Issue (5): 190-195.doi: 10.11896/j.issn.1002-137X.2014.05.040
吴新星,胡国胜,陈仪香
WU Xin-xing,HU Guo-sheng and CHEN Yi-xiang
摘要: 针对构件在实际应用中往往不能完全满足用户需求的问题,通过比较需求的前置和后置与构件的前置和后置间的关系,提出了一种评估构件对需求近似匹配性的度量方法,来定量地刻画构件的具体实现与用户需求的近似关系。在此基础上,通过复用构件之间的约束关系,给出了基于构件的软件对用户需求近似匹配的度量规则。
[1] Jeng J J,Cheng B H C.Specification Matching for Software Reuse:A Foundation[C]∥Proceedings of the ACM SIGSOFT Symposium on Software Reusability.Seattle,Washington,USA,1995:97-105 [2] 王志坚,费玉奎,娄渊清.软件构件技术及其应用[M].北京:科学出版社,2005 [3] 张正,左春,王裕国,等.基于语义的领域构件接口名称匹配方法[J].通信学报,2007,28(5):73-79 [4] Zaremski A M,Wing J M.Specification Mathcing of Software Components[C]∥ACM Transactions on Software Engineering and Methodology.1997,6:333-369 [5] Zaremski A M.Signature and Specification Mathching[D].Carnegie Mellon University,1996 [6] Arbab F.Coordination for Component Composition[J].Elec-tronic Notes in Theoretical Computer Science,2006,160:15-40 [7] He J F,Li X S,Liu Z M.Component-Based Software Engineering[C]∥Proceedings of ICTAC’ 2005.2005:70-95 [8] He J F,Li X S,Liu Z M.A Theory of Reactive Components[J].Electronic Notes in Theoretical Computer Science,2006,160:173-195 [9] Ke W,Li X S,Liu Z M,et al.rCOS:A Formal Model-driven Engineering Method for Component-based Software[J].Frontiers of Computer Science,2012,6(1):17-39 [10] Abdellatif T,Bensalem S,Combaz J,et al.Rigorous design of robot software:A formal component-based approach[J].Robotics and Autonomous Systems,2012,60(12):1563-1578 [11] Farhad A,Peter C O.Formal Aspects of Component Software:8th International Symposium,FACS 2011,Oslo,Norway,September 14-16,2011,Revised Selected Papers[M].Berlin,Heidelberg:Springer,2012 [12] Chen Z B,Liu Z M,Ravn A P,et al.Refinement and verification in component-based model-driven design[J].Science of Compu-ter Programming,2009,74(4):168-196 [13] Zhan N J,Kang E Y,Liu Z M.Component Publications andCompositions[J].Lecture Notes in Computer Science,2010,5713:238-257 [14] Lei B,Liu Z M,Morisset C,et al.State Based Robustness Testing for Components[J].Electronic Notes in Theoretical Computer Science,2010,260(1):173-188 [15] 雷斌,王林章,卜磊,等.基于状态机模型的构件健壮性测试[J].软件学报,2010,21(5):930-941 [16] 岳慧敏.基于语义描述的构件检索技术研究[D].青岛:中国海洋大学,2012 [17] 周龙.基于相似度计算的构件匹配[D].昆明:云南大学,2012 [18] Cheng B H C,Jeng J J.Reusing Analogous Components[J].IEEE Transactions on Knowledge and Data Engineering,1997,9(2):341-349 [19] 马亮,孙家.基于规约匹配的构件检索[J].小型微型计算机系统,2002,23(10):1153-1157 [20] 李文敬,元昌安,廖伟志.基于本体相似度的构件查询算法研究[J].计算机工程与科学,2010,32(8):154-160 [21] 吴新星.基于语言的软件可信性度量理论及其应用[D].上海:华东师范大学,2011 [22] Hoare C A R.Let’s Make Models(Abstract)[C]∥Proc.CONCUR′90,Lecture Notes in Computer Science.1990,458:32 [23] Hailperin T.Probability Logic[J].Notre Dame Journal of Formal Logic,1984,25(3):198-212 [24] 王国俊,王伟.逻辑度量空间[J].数学学报,2001,44(1):159-168 |
No related articles found! |
|