论文部分内容阅读
如果构件含有冗余的功能，特别是含有用户不想要的功能，则无法被用户正确使用．因此，如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题．给出了解决谊问题的一种方法．谊方法通过为构件构造一个环境，即极大包含环境，使得场景规约中所描述的所有行为可以从构件中抽取出来，并保留到谊构件与其极大包含环境的组合中．同时，构件中的其他行为，即不在场景规约中的行为，被尽可能地舍弃．用接口自动机为构件的行为建模，并将用消息序列图描述的场景规约抽象为一组活动序列．构件的组合描述为接口自动机的乘积．给出了基于场景