论文部分内容阅读
提出了一种形式化的方法对软件构件集成行为进行描述,将构件接口作为线程进行研究,并将构件接口分为触发器和响应器.介绍了如何从线程的角度对同步、异步并行以及异步互斥情况下表达构件交互语义等.该方法克服了在构件集成过程中,构件接口交互语义难以描述的问题,能够更加直观、清楚、完整地描述接口交互的语义和系统集成的静态与动态特性.