Formalization Of Input And Output In Modern Operating Systems: The Hadley Model