论文部分内容阅读
隐式硬编码的基于过程调用构件连接束缚构件集成的灵活性，且存在的死锁连接造成软件可靠性隐患问题．针对该问题，首先建立基于过程调用连接器形式语义模型，显式地将连接关系从构件中分离：然后给出并通过映射规则进行连接器到构件连接有向图的转换，并设计给出两阶段死锁检查算法和基于极大复用频率死锁连接消除算法，用于找到存在的所有死锁连接回路和消除所有死锁连接需要消除的最小数目连接的位置．最后应用及实验结果表明，该解决方法可行而且有效，可以用于增强软件可靠性，同时因其从语义上分离描述和存储构件连接方式，适合以此为基础进一步