Abstract | ||
---|---|---|
The use of formal methods is an effective means to improve the reliability and the quality of complex systems. The objective of this work is to adapt one of these methods to UML, so that the systems development depending on this notation can benefit from it. We propose a formal semantic framework, based on rewriting logic, for UML. Thus, we lean on the category model to give precise and sufficient semantics to the various UML diagrams used in system specification. A transcription tool of UML abstract model to Maude object-oriented module is developed. It is able to handle class and sequence diagrams of realistic size. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/AICCSA.2010.5586987 | Computer Systems and Applications |
Keywords | Field | DocType |
formal method,systems development,formal semantic framework,category model,uml abstract model,complex system,realistic size,effective mean,various uml,understandable uml diagram,object-oriented module,unified modeling language,semantics,formal semantics,rewriting logic,system specification,formal specification,formal logic,computational modeling,object oriented,sequence diagram,object oriented programming,mathematical model | Sequence diagram,Programming language,Unified Modeling Language,UML tool,Computer science,Formal specification,Applications of UML,Formal methods,Object Constraint Language,Shlaer–Mellor method | Conference |
ISBN | Citations | PageRank |
978-1-4244-7716-6 | 0 | 0.34 |
References | Authors | |
3 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kamel Boukhelfa | 1 | 1 | 1.39 |
Faiza Belala | 2 | 46 | 20.89 |
Aicha Choutri | 3 | 2 | 2.11 |
Halima DOuibi | 4 | 0 | 0.34 |