Software Constraints for Large Application Systems