A Denotational Semantics of UML Class Diagrams

1
A Denotational Semantics of UML Class Diagrams

• Jennifer Tenzer
• Technische Universität Berlin

2
Contents

• UML class diagrams are partial specifications of
  systems
• Semantics set of admissible interpretations
• Transformation systems as formal system models

3
Transformation System

• Two-level structure
• transition system with control states and
  transitions (dynamics)
• data space with data states and transformations
  (data/structure)
• labelling morphism

4
Class Signature
5
Object Configuration
P? P0 P1 P s,m name John Mary mother m
6
Association Signature
7
System Snapshot
0 1
P? P0 P1 P s,m D r s,t,u pet s,t
... ... ...
8
Class Diagram Semantics

• Data space snapshots and transformations in
  between
• Admissible interpretation any transformation
  system with the constructed data space
• Semantics set of all admissible interpretations

9
Conclusion

• Formalisation of UML class diagrams ? more
  precise understanding
• Transformation systems as semantic domain
• ? integration with other techniques

10

• Thanks for your attention!