软件需求分析序列图中函数的前置后置条件怎么写

做动态模型的序列图中的前置后置条件在怎么写，界面的函数和系统的函数写的条件一样吗