Software connects an idea to behaviour that can be run, observed and checked. Interfaces, state changes, access boundaries and failure handling are part of that behaviour.
In nage and a2, implementation and acceptance remain distinct: a component can work without proving the complete service or workflow. A useful description therefore names both the implemented scope and the conditions not yet validated.
This connects to
Design
Software turns design decisions into executable behaviour.