Lightweight String Reasoning for OCL

Lightweight String Reasoning for OCL

Most domain models include a number of constraints which frequently deal with text data (e.g. checking the right format of a telephone field or checking the uniqueness of a street+city name). As all constraints, we may make mistakes when defining them and end up with...

Pin It on Pinterest