Abstract
Software Engineering uses software development process models and a set of techniques and methodologies for identifying, analyzing and designing information systems. The Unified Modeling Language (UML) is one of such techniques. UML, as a semi-formal language, exhibits problems of ambiguity, clarity, and consistency. Some researchers are attempting to formalize UML by using first order predicate logic (FOPL), set theory, controlled and/or restricted languages, and meta-modeling. However, these approaches have been not enough because they focus on a single chart and merely in syntax, leaving out semantics. In this paper we present a set of FOPL-based rules for representing UML constructs, and a case study, based on UN-Lencep requirement description of a system.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
