順序執(zhí)行的程序，具有（）性、（）性和可再觀性。