子程序又称为________，由伪操作________定义，由________结束，属性可以是_____或______。