Abstract
Design pattern is a way of solution building on the common or recurring problems in software design, which can be combined with Unified Modeling Language (UML) to create a system framework. The UML is a semi-formal language which semantic part is described by natural language. So it will produce semantic inconsistency problem in the modeling process. Therefore, this paper proposes an object called refinement Calculus of Object Systems based on design pattern, for describing the UML using design patterns in class diagram and sequence diagram of the formal semantics and accurate system modeling.
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.
