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

Slides:



Advertisements
Similar presentations
Three-Step Database Design
Advertisements

Withdrawal Transaction Use Case Primary Actor: Customer Pre-conditions: The customer must have a valid ATM card and PIN. Post-conditions: The customer.
Model Driven Generative Programming Reza Azimi February 6, 2003 ECE1770: Trends in Middleware Systems.
Advanced Data Modeling
1 Modeling Reactive Behavior in ORM © 2003, T. A. Halpin & Gerd Wagner Terry Halpin Northface University Salt Lake City, USA.
CS 340 UML Class Diagrams. A model is an abstraction of a system, specifying the modeled system from a certain viewpoint and at a certain level of abstraction.
Database Systems: Design, Implementation, and Management Eighth Edition Chapter 6 Advanced Data Modeling.
Database Systems: Design, Implementation, and Management Tenth Edition
Chapter 6 Advanced Data Modelling
BIS Database Systems School of Management, Business Information Systems, Assumption University A.Thanop Somprasong Chapter # 6 Advanced Data Modeling.
Chapter 5 Understanding Entity Relationship Diagrams.
Modeling the Data: Conceptual and Logical Data Modeling
Interactive Generation of Integrated Schemas Laura Chiticariu et al. Presented by: Meher Talat Shaikh.
Software Testing and Quality Assurance
1 A UML Class Diagram Analyzer Tiago Massoni Rohit Gheyi Paulo Borba Software Productivity Group Informatics Center – UFPE October 2004.
NaLIX: A Generic Natural Language Search Environment for XML Data Presented by: Erik Mathisen 02/12/2008.
Vlasios Voudouris, Jo Wood, Peter Fisher giCentre, Department of Information Science, City University, London, UK Collaborative geoVisualization: Object-Field.
Copyright © 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 8 The Enhanced Entity- Relationship (EER) Model.
McGraw-Hill/Irwin Copyright © 2007 by The McGraw-Hill Companies, Inc. All rights reserved. Chapter 5 Understanding Entity Relationship Diagrams.
Using the Vanderbilt Generic Modeling Environment (GME) to Address SOA QoS Sumant Tambe Graduate Intern, Applied Research, Telcordia Technologies Inc.
Common Mechanisms in UML
Efficient Methods for Solving Finite Satisfiability Problems in UML Class Diagrams Mira Balaban and Azzam Maraee.
Objects CSE 115 Spring 2006 January 25, Object-Oriented Program System of objects that communicate with one another and work together to solve a.
Foundations This chapter lays down the fundamental ideas and choices on which our approach is based. First, it identifies the needs of architects in the.
Copyright © 2011 Pearson Education, Inc. Publishing as Pearson Addison-Wesley Chapter 8 The Enhanced Entity- Relationship (EER) Model.
The Entity-Relationship Model. 421B: Database Systems - ER Model 2 Overview of Database Design q Conceptual Design -- A first model of the real world.
02/06/05 “Investigating a Finite–State Machine Notation for Discrete–Event Systems” Nikolay Stoimenov.
OBJECT-ROLE MODELING (ORM/NIAM)
UML Unified Modeling Language. What is UML? Unified Modeling Language (UML) is a standardized, general-purpose modeling language in the field of software.
1 Data Modeling : ER Model Lecture Why We Model  We build models of complex systems because we cannot comprehend any such system in its entirety.
UML2 Package Merge Usage scenarios and their effect on XMI and Java API interoperability Bran Selic, Jim Amsden, Kenn Hussey Oct, 2003.
A Z Approach in Validating ORA-SS Data Models Scott Uk-Jin Lee Jing Sun Gillian Dobbie Yuan Fang Li.
Validated Model Transformation Tihamér Levendovszky Budapest University of Technology and Economics Department of Automation and Applied Informatics Applied.
Uml is made similar by the presence of four common mechanisms that apply consistently throughout the language. After constructing or developing the architecture.
An Object-Z based Metamodel for Wright Joint work with M. Maouche 2, and M. Mosteghanemi 1 Presented by M. Bettaz 1 1 MESRS/ESI Algeria 2 Philadelphia.
SC32 FBM Study Group Report Korea SC32 Meetings, May 2013 Baba Piprani - Serge Valera 1 ISO/IEC JTC1/SC32/WG2 N1801.
OASIS Symposium 4/04 Registry : Reliable Infrastructure Role of Registry : Reliable Infrastructure Carl Mattocks CEO CHECKMi Infrastructure Project Background.
Dr. Darius Silingas | No Magic, Inc. Domain-Specific Profiles for Your UML Tool Building DSL Environments with MagicDraw UML.
Week III  Recap from Last Week Review Classes Review Domain Model for EU-Bid & EU-Lease Aggregation Example (Reservation) Attribute Properties.
Wrapper-Based Evolution of Legacy Information System Philippe Thiran et al Fcculties University Notre-Dame de la Paix.
® A Proposed UML Profile For EXPRESS David Price Seattle ISO STEP Meeting October 2004.
The Model-Driven DDI Approach Arofan Gregory, Jon Johnson, Flavio Rizzolo, Marcel Hebing.
All Presentation Material Copyright Eurostep Group AB ® A Meta-model of EXPRESS in UML for MOF and UML to EXPRESS David Price April 2002.
272: Software Engineering Fall 2012 Instructor: Tevfik Bultan Lecture 9: Test Generation from Models.
CSCI 3428: Software Engineering Tami Meredith UML Unified Modeling Language.
UML Profile BY RAEF MOUSHEIMISH. Background Model is a description of system or part of a system using well- defined language. Model is a description.
Modeling Security-Relevant Data Semantics Xue Ying Chen Department of Computer Science.
Interpreting the Object Constraint Presented by: Ed Kausmeyer.
Part 25 E2 EXPRESS/UML Walkthrough Seattle STEP October 2004.
Chapter 5 Understanding Entity Relationship Diagrams.
Database Design, Application Development, and Administration, 6 th Edition Copyright © 2015 by Michael V. Mannino. All rights reserved. Chapter 5 Understanding.
OLE: ORM Logic-based English A Language for Redesigning and Migrating Databases Herman Balsters University of Groningen The Netherlands September, 2012.
The interplay of mandatory role and set-comparison constraints Dr. Peter Bollen School of Business and Economics Maastricht University, the Netherlands.
ORM This is the 8 th ORM Workshop held in conjunction with the OTM conferences, with previous workshops held in Cyprus, Portugal (twice), France,
1 Chapter 13: Class Diagram Chapter 19 in Applying UML and Patterns Book.
Defects of UML Yang Yichuan. For the Presentation Something you know Instead of lots of new stuff. Cases Instead of Concepts. Methodology instead of the.
The Enhanced Entity- Relationship (EER) Model
Course Outcomes of Object Oriented Modeling Design (17630,C604)
Data Models: IDEF1X Advantages: Core available from the MIP.
Building Trustworthy Semantic Webs
UML to XSD.
Associative Query Answering via Query Feature Similarity
UML UML to Relations.
Model-Driven Ontology Engineering
Seminar 3 UML Class Diagram.
XML Data Introduction, Well-formed XML.
Lecture 9 Greedy Strategy
UML UML to Relations.
Piotr Kaminski University of Victoria September 24th, 2002
Building Trustworthy Semantic Webs
Presentation transcript:

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

Contents ›Background ›Problems with UML ›FBM schemas ›Future research |2

Situation ›Requirements in FBM ›Software in UML

Problem ?

Possible implications ›Communication errors ›Different interpretations ›Faulty database

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

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

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

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

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

UML element

UML class

UML property

UML attribute

UML association, association end

UML data type

UML multiplicity

UML subtyping

UML enumeration

UML identification

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

Thank you Questions? Joost Doesburg Herman Balsters

Feedback: Privacy Policy Feedback
Do Not Sell My Personal Information
About project: SlidePlayer Terms of Service

© 2025 SlidePlayer.com. Inc. All rights reserved.