A FORMAL MODEL FOR THE ANALYSIS OF COMPLEX STRUCTURES