软件实现规约是系统设计必须做的工作，主要是设计系统需要实现哪些功能。可以参看文档里面的例子。