子程序又称（），它可以由（）语句定义，由（）语句结束，属性可以是（）或（）。