Abstract: Today, the production of software systems is becoming an activity that is essential to the daily lives of individuals and companies. This laborious process involves several stakeholders who ...

Abstract: Although Object Management Group (OMG) Unified Modeling Language (UML) introduced Object Constraint Language (OCL) to add formalism as constraints in its models, it still lacks formal ...