Modeling and Behavior Checking of Component Based Architecture
In this paper we study component-based software archi-tectures and report thefollowing results. 1) By defining port operations, we may use port activities to describe process migration. The proposed fonnalism(port algebra) can be used to describe running time system architecture. 2) In processing checking, the formalism can keep architecture structure unchanged while progresses，migrate,which en-ables us to study runtime system behaviors that are not easy to be checked by model checking tools.
software architecture component port a/-gebra process checking.
Zuohua Ding Na Zhang
Center of Math Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou, Zhejiang 310018. P.R. China
国际会议
成都
英文
290-295
2010-06-23（万方平台首次上网日期，不代表论文的发表时间）