基于行为的构件组合及存在性检查

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题，提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件行为和用户需求。为了检查组合后复合构件的行为是否满足用户需求，提出基于行为映射图的组合存在性检查方法，给出从复合构件中提取用户所需行为的方法。

Components Composition Based on Behavior and Check of Existence

By analyzing the Quadratic Residue(QR) theorem and Rabin cryptosystem and integrating the characteristic of digital image,this paper proposes an image sharing algorithm based on the quadratic residue theorem,and makes a detailed analysis on its reliability.Experimental result indicates that the algorithm is with low data expansibility,high security and good image recovering performance.Some problems which may emerge from image sharing are discussed and the solutions are offered.