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.