表达软件模块间的关系，但不提供模块间实现控制关系的操作细节和模块内部的操作细节的设计工具是______。