Multi-Level Component Behavior Matching Model Based on Finite Automata
Author:
Affiliation:

  • Article
  • | |
  • Metrics
  • |
  • Reference [19]
  • |
  • Related
  • | | |
  • Comments
    Abstract:

    The aim to improve deficiency of current research on components retrieval is based on behavior specification matching, a multi-level component behavior matching model based on finite automata, which is presented in this paper. The study uses finite automata to model the behavior of components, refers to the idea of graph matching in graph theory, proposes six kinds of behavior matching relationships: equivalence behavior matching, extended behavior matching, compatible behavior matching, contain behavior matching, weak contain behavior matching and weak compatible behavior matching, analysis the implication relationships among these behavior matching relationships, and gives corresponding decision algorithms and adaptation methods of each behavior matching relationship. Based on these algorithms, a universal decision algorithm is proposed to reduce the complexity of subsequent component adapter and assembly. The matching model proposed in this paper provides a favorable technical support for components retrieval, based on behavior specification matching.

    Reference
    [1] Yang FQ, Lü J, Mei H. Technical framework for Internetware: An architecture centric approach. Science in China Sseries F— Information Sciences, 2008,51(6):610-622. [doi: 10.3724/SP.J.1001.2008.01201]
    [2] Frakes WB. A case study of a reusable component collection in the information retrieval domain. Journal of Systems and Software, 2004,72(2):265-270. [doi: 10.1016/S0164-1212(03)00089-X]
    [3] Lung CH, Urban JE. An approach to the classification of domain models in support of analogical reuse. ACM SIGSOFT Software Engineering Notes, 1995,20(8):169-178. [doi: 10.1145/211782.211842]
    [4] Wang YF, Xue YJ, Zhang Y, Zhu SY, Qian LQ. A matching model for software component classified in faceted scheme. Journal of Software, 2003,14(3):401-408 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/14/401.htm
    [5] Zaremski AM, Wing JM. Specification matching of software components. ACM Trans. on Software Engineering and Methodology, 1997,6(4):333-369. [doi: 10.1145/261640.261641]
    [6] Alfaro L, Henzinger TA. Interface automata. In: Wermelinger M, Gall H, eds. Proc. of the 9th Annual ACM Symp. on Foundations of Software Engineering (FSE 2001). New York: ACM Press, 2001. 109-120.
    [7] Redondo, PDR, Arias JJP, Vilas AF, Martinez BB. Approximate retrieval of incomplete and formal specifications applied to vertical reuse. In: Proc. of the Int’l Conf. on Software Maintenance (ICSM 2002). Los Alamitos: IEEE Computer Society, 2002. 618-627. [doi: 10.1109/ICSM.2002.1167826]
    [8] Wombacher A, Fankhauser P, Mahleko B, Neuhold E. Matchmaking for business processes based on choreographies. In: Proc. of the 2004 IEEE Int’l Conf. on e-Technology, e-Commerce and e-Service (EEE 2004). Los Alamitos: IEEE Computer Society, 2004. 359-368.
    [9] Grigori D, Corrales JC, Bouzeghoub M. Behavioral matchmaking for service retrieval. In: Proc. of the 2006 IEEE Int’l Conf. on Web Services (ICWS 2006). Los Alamitos: IEEE Computer Society, 2006. 145-152. [doi: 10.1109/ICWS.2006.37]
    [10] Mahleko B, Wombacher A, Fankhauser P. A grammar-based index for matching business processes. In: Proc. of the IEEE Int’l Conf. on Web Services (ICWS 2005). Los Alamitos: IEEE Computer Society, 2006. 21-30. [doi: 10.1109/ICWS.2005.6]
    [11] Hu JQ. Research on some key technologies of Web Service discovery [Ph.D. Thesis]. Changsha: Dissertation for Doctoral Degree of School of National University of Defense Technology, 2005 (in Chinese).
    [12] Hu HY, Lü J, Ma XX, Tao XP. Study on behavioral compatibility of components in software architecture using object-oriented paradigm. Journal of Software, 2006,17(6):1276-1286 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/1276.htm [doi: 10.1360/jos171276]
    [13] Hameurlain N. A formal framework for component protocols behavioural compatibility. In: Proc. of the 13th Asia Pacific Software Engineering Conf. Los Alamitos: IEEE Computer Society, 2006. 87-94. [doi: 10.1109/APSEC.2006.4]
    [14] Plasil F, Visnovsky S. Behavior protocols for software components. IEEE Trans. on Software Engineering, 2002,28(11): 1056-1076. [doi: 10.1109/TSE.2002.1049404]
    [15] Schmidt HW, Reussner RH. Automatic component adaptation by concurrent state machine retrofitting. Technical Report, 25/2000, Universität Karlsruhe, Department of Informatics, 2000.
    [16] Reussner RH. Automatic component protocol adaptation with the CoConut/J tool suite. Future Generation Computer System, 2003, 19(5):627-639. [doi: 10.1016/S0167-739X(02)00173-5]
    [17] Meng FC. Development method of model driven and component based enterprise software and application [Ph.D. Thesis]. Harbin: Dissertation for Doctoral Degree of Harbin Institute of Technology, 2008 (in Chinese).
    [18] Hu LL. Application framework based on MVC design pattern [MS. Thesis]. Harbin: Dissertation for Master Degree of Harbin Institute of Technology, 2006 (in Chinese).
    [19] Wombacher A, Fankhauser P, Neuhold E. Transforming BPEL into annotated deterministic finite state automata for service discovery. In: Proc. of the IEEE Int’l Conf. on Web Services (ICWS 2004). Los Alamitos: IEEE Computer Society, 2004. 316-323. [doi: 10.1109/ICWS.2004.1314753]
    Related
    Cited by
    Comments
    Comments
    分享到微博
    Submit
Get Citation

初佃辉,孟凡超,战德臣,徐晓飞.基于有限自动机的多层次构件行为匹配模型.软件学报,2011,22(11):2668-2683

Copy
Share
Article Metrics
  • Abstract:4553
  • PDF: 5996
  • HTML: 0
  • Cited by: 0
History
  • Received:December 25,2009
  • Revised:May 12,2010
You are the first2035257Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063