design by contract(метод разработки программного обеспечения, при котором элементы системы проектируются таким образом, что их взаимодействие основано на точно определённых соглашениях (contract) ssn)
solicited events(события, возникающие в результате предыдущего функционирования системы. Напр., событие Valve is closed как ответ на событие или команду Close valve – обусловленное событие ssn)