Paper Info
Title
The Formal Research and Application Based on Design Patterns
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.
Year
DOI
Venue
2012
10.1109/ICIS.2012.108
ACIS-ICIS
Keywords
Field
DocType
sequence diagram,accurate system modeling,refinement calculus of object systems,natural language,modeling process,natural languages,refinement calculus,class diagram,design patterns,formal research,software design pattern,semi-formal language,semantic inconsistency problem,formal semantics,formal languages,design pattern,uml,unified modeling language,semantic part,software design,software engineering,system modeling process,semiformal language,object-oriented methods,system modeling,computational modeling,semantics,formal language,databases,computer model
Programming language,UML tool,Computer science,Modeling language,Package diagram,Communication diagram,Applications of UML,Object Constraint Language,Systems Modeling Language,Class diagram
Conference
ISBN
Citations 
PageRank 
978-1-4673-1536-4
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Xiang Yan16617.39
Yanfang Ren200.34
Jing Yang34111.98
Guoyong Duan400.34