build model target object target target object kind model facad concurr target kind set select kind equal model concurr kind sequenti set select action set oper concurr kind sequenti command kind equal model concurr kind guard set select action set oper concurr kind guard command kind equal model concurr kind concurr set select action set oper concurr kind concurr command set select action set oper concurr kind sequenti command 