自底向上的开发模式
How-to


相关页面 Related Pages

自顶向下的开发 Top-down development, 层次网的使用 Working with hierarchical nets, 层次网介绍 Introduction to hierarchical nets

自底向上的开发模式 Bottom-up Development

当你想要自底向上的开发一个层次网的时候,首先建立一些独立的页.与自顶向下top-down development的开发相反,这样开发将在一开始就设计出关于这个网的最具体的细节部分.接下来,这些已经设计好的页面将作为子页与替代变迁相关联.详见如何编辑网edit the net以及如何创建新页面new page.

下面的例子基于为层次协议Hierarchical Protocol设计的例程网example net.在这个例子里面,发送页面将被设定为与上层页面中发送变迁相对应的子页面.

 

设定端口 Assign Port-Types

将页面连接起来的过程可以分为三个阶段.首先,使用设定端口类型工具Set port type 来为子页面的库所设定端口类型.

Setting the port type on place A

设定子页 Set Subpage

接下来,使用设定子页工具Set subpage来为父页面的替代变迁设定子页面.首先,在一个变迁上面使用设定子页工具Set subpage,使其成为一个替代变迁.然后,在与该替代变迁对应的页面上使用设定子页工具,使其成为一个子页.一旦该工具从工具面板上激活,在该工具使用在一个变迁之后,光标的形状将发生改变,从形状上提示用户接下来在一个页面上使用它.

Assigning subpage to transition Sender

分配端口/槽 Make Port/Socket Assignments

在使用了设定子页面工具Set subpage后,错误消息将提示哪些槽(在父页面上)还没有指定端口(在子页上).未指定的端口将用深灰色高亮显示.

连接子页与父页面的最后一步就是使用分配端口/槽工具Assign port-socket将每一个端口与槽连接.先在一个端口上使用该工具.一旦该工具从工具面板上激活,在该工具使用在一个端口之后,光标的形状将发生改变,从形状上提示用户接下来在一个槽上使用它.最后,在一个父页面上的槽上使用该工具.

Assigning ports and sockets

每一次使用分配端口/槽工具Assign port-socket,对子页面和父页面都会进行语法检查Syntax checking.

重复使用子页面 Using a Subpage More than Once

一个子页面可以重复使用,也就是说,它可以关联到多个替代变迁上.想要创建一个子页面的多个实例,只需要用上面说的方法,把一个已经成为子页面的页连接到多个替代变迁上就可以了.

如果一个页面的名字后面跟着数字,比如说(1),(2),等等,那么,这个特殊的页面拥有多个实例.同一个子页的不同实例的标记可以完全的相互独立.

Multiple instances of Receiver page