编排设计-形式法则