A Formal Specification for Product Configuration in Software Product Lines

A bulking device for making loop yarn, comprising a base with a blowing chamber, a pin insert with a yarn feeding channel and a jet insert with a yarn delivery channel, followed by a diffusor, the axis of which runs at an angle to the jet axis and which is followed by a cylindrical channel section.