An axiomatic approach to performance-based design