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 ...
Abstract: In the field of software engineering, the creation of use case diagrams is crucial for effectively capturing system requirements. The current traditional development approach utilizes ...