Abstract boundary value problem, symmetric operators, Green formula, Weyl 
function