Abstract | ||
---|---|---|
The current UML semantics documentation has made a significant step towards providing a precise description of the UML. However, at present the semantic model it proposes only provides a description of the language's syntax and well-formedness rules. The meaning of the language, which is mainly described in English, is too informal and unstructured to provide a foundation for developing formal analysis and development techniques. Another problem is the scope of the model, which is both complex and large. This paper describes work currently being undertaken by the precise UML group (pUML), an international group of researchers and practitioners, to address these problems. A formalisation strategy is presented which concentrates on giving a precise denotational semantics to core elements of UML. This is illustrated through the development of precise definitions of two important concepts: generalization and packages. Finally, a viewpoint architecture is proposed as a means of providing improved separation of concerns in the semantics definition. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1007/3-540-46852-8_11 | Uml |
Keywords | Field | DocType |
development technique,precise uml group,core meta-modelling semantics,core element,semantic model,current uml semantics documentation,semantics definition,precise description,precise definition,precise denotational semantics,international group,puml approach,separation of concern,computer programming | Programming language,UML tool,Unified Modeling Language,Computer science,Denotational semantics,Separation of concerns,Applications of UML,Object Constraint Language,Semantics,Semantic data model | Conference |
Volume | ISSN | ISBN |
1723 | 0302-9743 | 3-540-66712-1 |
Citations | PageRank | References |
63 | 9.00 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
andy evans | 1 | 72 | 12.56 |
Stuart Kent | 2 | 886 | 137.53 |