A FB type (typically but not always a
service
interface function block (SIFB) type) or an
adapter
type may have a
service specification, which may consist of a
number of
service transactions. Each service transaction consists
of zero or one
input primitive represented by an arrow coming
into one of the two interfaces of the service, followed by zero or more
output primitives.