{'fraction_non_alphanumeric': 0.0291005291005291, 'fraction_numerical': 0.0, 'mean_word_length': 5.415254237288136, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Formal Specification of UML Use Case Diagram-A CASL based approach

Unified Modelling Language (UML) gives a modelling approach to design a system. Use Case diagram is one of the behavioural approach of UML which describe the behavioural pattern of the system. It has been observed that UML diagrams are not formally specified. Formal specification gives a specific way to design a system as a whole using mathematical notation. This paper proposed formal specification of UML use case diagram using the Common Algebraic Specification Language (CASL) in object oriented paradigm. Keywords— Unified Modelling Language (UML), Use Case diagram, formal specification, non-formal models, Common Algebraic Specification Language (CASL), Object oriented Software.