تعریف شرکت در نرم افزار یکپارچه برهان سیستم