Software Component Composition Compatibility Checking Based on Behavior Description
暂无分享,去创建一个
This paper defines the signature view and the behavior view of the software component,designs the modeling method that transfers the component behavior into π calculus process expression and proposes the algorithm that makes the transfer automatically.An electronic commerce application is used as an example and with the help of operational and transitional semantics and formal deduction,it can be checked whether two components are behavior compatible during their composition.