SEQ-Element

Specifications

Informal

A SEQ-Element (`Sequence-Element') is a handshake with three 2-phase handshake ports, one passive and two active. A request on the passive port brings about a handshake on the first active port followed by a handshake on the second active port. When the second active ports has acknowledged its handshake, the passive port is acknowledged.

XDI

Schematic diagram for a SEQ-Element:

[Zoom|FIG]

XDI state graph for a SEQ-Element:

[Zoom|FIG]

Specification in XDI model.

Verdect

Specification in Verdect:


define SEQ( ar?, aa!, br!, ba?, cr!, ca? ) =
       pref *[ ar?; br!; ba?; cr!; ca?; aa! ]
end

Also available through this link

DI Algebra

Specification in DI Algebra:


SEQ = [ ba? -> _|_
      # ca? -> _|_
      # ar? -> br!; [ ar? -> _|_ 
                    # ca? -> _|_
                    # ba? -> cr!; [ ar? -> _|_
                                  # ba? -> _|_
                                  # ca? -> aa!; SEQ ]
      ]

Also available through this link