1. Fact-Based Specification of a Data Modeling Kernel of the UML Superstructure Joost Doesburg Herman Balsters

2. Contents ›Background ›Problems with UML ›FBM schemas ›Future research 13-9-2012 |2

3. Situation ›Requirements in FBM ›Software in UML

4. Problem ?

5. Possible implications ›Communication errors ›Different interpretations ›Faulty database

6. Possible solutions ›Use only FBM ›Use only UML ›Translation

7. Required for translation 1.FBM Meta-model 2.UML Meta-model 3.Translation algorithm

8. UML problems ›Not formal ›Possible interpretations ›No identification capabilities ›Limited N-aries ›“Precise semantics of shared aggregation varies by application area and modeler”

9. Starting point: CoRef-ORM ›Only binaries ›No spanning uniqueness constraints ›No objectification

10. Selecting the UML kernel: CSDP steps 1-3 Information capturing constructs 4 Uniqueness constraints 5Mandatory constraints 6Set comparison-, value-, subtyping constraints 7Other constraints, final checks

11. UML element

12. UML class

13. UML property

14. UML attribute

15. UML association, association end

16. UML data type

17. UML multiplicity

18. UML subtyping

19. UML enumeration

20. UML identification

21. Future research ›Extending the kernel ›Formalisation of FBM>UML algorithm ›Meta-model for UML>FBM translation

22. Thank you Questions? Joost Doesburg fbmpaper@joostdoesburg.com Herman Balsters h.balsters@rug.nl