A common-sense language for formalizing business domains—such as contract management—and turning them into executable software that runs the business without going through the standard software development process. A language modeled after human cognition rather than the internal workings of computers