Components Composition Compatibility Checking Based on Behavior description and roles division
Component-Based Software Development is necessity current of software engineering and industrialization and components achieve interaction by interfaces. At present the main interface definition languages are designed initially for closure environment to satisfy the requirement of C/S application, only describe static syntax level information of component interaction which can not meet the need of understand, usage and deduce of component in open environment. Formal description methods are getting more and more attention because of its accuracy and the use of Automated Theorem proving mechanism. In this paper we proposed the extension approach to component interfaces based on n calculus make them including dynamic behavior information, then divided roles according to the role component acts in the system and researched the compatibility of component composition based on roles division to ensure the correctness of composition and interaction in open environment. To illustrate what we presented we use an Electronic Commerce application system as an example.
component interfac protocol role compatibility
Zhang Chi
Software School Jiangxi University of Finance and Economics, JXUFE NanChang, China
国际会议
南昌
英文
262-265
2009-09-01（万方平台首次上网日期，不代表论文的发表时间）