A language-independent concept that decomposes business flows inside service functions into declarative blocks (sequences). Declare only what with 10 fixed types, and the codegen fills in how.
