State Digrams in UML: A Formal Senmatics using Graph Transformations

Slides:



Advertisements
Similar presentations
Visual Model-based Software Development EUD-Net Workshop, Pisa, Italy September 23 rd, 2002 University of Paderborn Gregor Engels, Stefan Sauer University.
Advertisements

Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel.
Practical Business Modeling in the Unified Process Tom Morgan Software Architect, Fidelity National Information Services
Unified Modeling Language
1 UML – an overview What is UML? UML stands for Unified Modelling Language. ”The Unified Modelling Language is a visual language for specifying, constructing.
Introduction to UML Visual modeling Models and its importance
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
Systems Analysis & Design Sixth Edition Systems Analysis & Design Sixth Edition Toolkit Part 5.
Itntroduction to UML, page 1 Introduction to UML.
Meaningful Modeling: What’s the Semantics of “Semantics”? David Harel, Weizmann Institute of Science Bernhard Rumpe, Technische Universität Braunschweig.
Chapter 7: System models
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
An Information Theory based Modeling of DSMLs Zekai Demirezen 1, Barrett Bryant 1, Murat M. Tanik 2 1 Department of Computer and Information Sciences,
Chapter 4 System Models A description of the various models that can be used to specify software systems.
Introduction to MDA (Model Driven Architecture) CYT.
On the Representation of Intangible Objects such as Software in a Measurement Context Miguel Lopez Valérie Paulus Grégory Seront Simon Alexandre.
Uml is made similar by the presence of four common mechanisms that apply consistently throughout the language. After constructing or developing the architecture.
1/26/2004TCSS545A Isabelle Bichindaritz1 Database Management Systems Design Methodology.
Chapter 7 System models.
A language to describe software texture in abstract design models and implementation.
CS /31 Illinois Institute of Technology CS487 Software Engineering OOA with UML David Lash.
Chapter 10 Analysis and Design Discipline. 2 Purpose The purpose is to translate the requirements into a specification that describes how to implement.
Modeling Component-based Software Systems with UML 2.0 George T. Edwards Jaiganesh Balasubramanian Arvind S. Krishna Vanderbilt University Nashville, TN.
Performance evaluation of component-based software systems Seminar of Component Engineering course Rofideh hadighi 7 Jan 2010.
1 Graph-Based State Spaces Arend Rensink, University of Twente CamPaM 2012 April 2012Graph-Based State Spaces.
1 Advanced Software Architecture Muhammad Bilal Bashir PhD Scholar (Computer Science) Mohammad Ali Jinnah University.
Copyright © 2013 Curt Hill UML Unified Modeling Language.
Verification of behavioural elements of UML models using B Truong, Ninh-Thuan and Souquieres, Jeanine In Proceedings of the 2005 ACM Symposium on.
2 2009/10 Object Oriented Technology 1 Topic 2: Introduction to Object-Oriented Approach Reference: u Ch.16 Current Trends in System Development (Satzinger:
Unified Modelling Language (UML) Software Engineering Lab. Sharif University of Technology.
Lecture 9-1 : Intro. to UML (Unified Modeling Language)
Metamodeling and Modeling language for Systems Biology SB-UML Magali ROUX-ROUQUIE CNRS, Paris.
Systems Analysis and Design in a Changing World, Thursday, Feb 15.
Week 04 Object Oriented Analysis and Designing. What is a model? A model is quicker and easier to build A model can be used in simulations, to learn more.
RE-ENGINEERING AND DOMAIN ANALYSIS BY- NISHANTH TIRUVAIPATI.
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.
UML Course Instructor: Rizwana Noor. Overview  Modeling  What is UML?  Why UML?  UML Diagrams  Use Case  Components  Relationships  Notations.
 To explain why the context of a system should be modelled as part of the RE process  To describe behavioural modelling, data modelling and object modelling.
Rational Rose For System Design What is Rational Rose? Rational Rose is the visual modeling software solution that lets you create, analyze, design,
Object Oriented Programming and Data Abstraction Earl Huff Rowan University.
CS 501: Software Engineering Fall 1999 Lecture 15 Object-Oriented Design I.
Beyond Scenarios: Generating State Models from Use Cases An approach for the synthesis of State transition graphs from Use Cases Supporting Use Cases Based.
Software Engineering: Models David Millard
Page 1 Hitachi Ltd. – FhI FOKUS TTCN-3 User Conference, June 2005 MDA based approach for generation of TTCN-3 test specifications Hideto Ogawa, Hitachi.
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.
Engineering, 7th edition. Chapter 8 Slide 1 System models.
UML(Unified Modeling Language)
Object-Oriented Analysis and Design
Object-Oriented Software Engineering Using UML, Patterns, and Java,
Object-Oriented Techniques
Introduction to Unified Modeling Language (UML)
Graph-Based Operational Semantics
Web Ontology Language for Service (OWL-S)
UML: Unified modeling language
Software Architecture & Design Pattern
Perspectives on the Unified Modeling Language semantics
Chapter 2, Modeling with UML, Part 4 UML 2 Metamodel
Informatics 121 Software Design I
Object Oriented Analysis and Design
IFIP16/ICEUT2000 Integrated Visualization-based Environment for Computer Science Education Kimio Sugita, Youzou Miyadera Kensei Tsuchida, Takeo Yaku I.
Introduction to UML.
UML profiles.
Software Design Lecture : 15.
Software Design Lecture : 14.
FInal Presentation : Object Oriented Software Engineeering
Algebraic Specification Software Specification Lecture 34
Stumpf and Teague Object-Oriented Systems Analysis and Design with UML
The Role of CIM in Smart Grid & The SGAC Semantic Framework
Uml diagrams In ooad.
Stumpf and Teague Object-Oriented Systems Analysis and Design with UML
Presentation transcript:

State Digrams in UML: A Formal Senmatics using Graph Transformations Xiyao Yin

Overview Introduction of UML Features of UML State Diagrams Process of Deriving Graphs Graph Transformation Systems Transitions to Nested States Conclusion

Introduction The Unified Modeling Language (UML) is a general-purpose visual modeling language that is designed to specify, visualize, construct and document the artifacts of software systems. Description of UML diagrams: abstract syntax well-formedness rules for the abstract syntax semantics

UML State Diagrams

UML State Diagrams

Deriving Graphs The process of state expansion in nested state diagrams is explained by graph transformations in three steps: (1) adding boundary nodes introducing a precise interface for the state to be expanded (2) expanding the state (3) removing the boundary nodes

Deriving Graphs

Deriving Graphs

Graph Transformation Systems Definition Let C = (CA, CN ) be a pair of color alphabets. A C-colored graph G is a six-tuple (GA, GN, s, t, mA, mN ), consisting of: 1. sets GA and GN , called the set of arcs and the set of nodes; 2. source and target mappings s: GA →GN ; t : GA→GN; 3. arcs and nodes coloring mappings mA : GA→CA ; mN : GN→CN

Transitions to Nested States

Transitions to Nested States

Transitions to Nested States

Transitions to Nested States

Conclusion The general idea of the overall approach is to rewrite UML diagrams to canonical graph representation. We achieve a normal form for nested UML state diagrams by means of graph transformations. The main advantage of the graph transformation approach is the closeness between the mathematical graph representation and the UML diagram representation. This approach is applicable to other forms of UML diagrams as well.

Thank you!