Structure analysis for dynamic software architecture based on spatial logic | IEEE Conference Publication | IEEE Xplore