()应考虑对模块相连和资源共享问题进行描述和制约。