zml z family on the web with their uml photos
Download
Skip this Video
Download Presentation
ZML: Z family on the web with their UML photos

Loading in 2 Seconds...

play fullscreen
1 / 38

ZML: Z family on the web with their UML photos - PowerPoint PPT Presentation


  • 127 Views
  • Uploaded on

ZML: Z family on the web with their UML photos. Sun Jing Supervisor: Dr. Jin Song DONG. Presentation Overview. Motivations Introduction to Z family languages & UML UML Translation Guidelines Formal Models of ZML Implementation issue Conclusion. Motivations.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'ZML: Z family on the web with their UML photos' - minna


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
zml z family on the web with their uml photos

ZML: Z family on the web with their UML photos

Sun Jing

Supervisor: Dr. Jin Song DONG

presentation overview
Presentation Overview
  • Motivations
  • Introduction to Z family languages & UML
  • UML Translation Guidelines
  • Formal Models of ZML
  • Implementation issue
  • Conclusion
precisely and visually capture system requirements
Precisely and Visually capture system requirements
  • Develop a web environment for Z family notations
    • Share design models
    • Hyperlinks among models
    • Advance browsing facilities
  • Develop projection tool for visualizing Object-Z/TCOZ specifications in UML Diagrams
  • Use Object-Z to specify and design the essential functionalities of the ZML environment
slide6
Z

An state-orient formal specification language based on set theory and predicate logic

object z
Object-Z

Object oriented extension to Z

slide8
TCOZ

Integration of Object-Z with Timed CSP

slide9
TCOZ

Integration of Object-Z with Timed CSP

slide10
UML
  • UML stands for Unified Modeling Language
  • The UML combines/collects
    • Data Modeling concepts (Entity Relationship Diagrams)
    • Business Modeling (work flow)
    • Object Modeling
    • Component Modeling
  • The UML is the standard language for visualizing, specifying, constructing, and documenting the artifacts of a software-intensive system
  • It can be used with many processes, throughout the development life cycle, and across different implementation technologies
models views and diagrams
State

Diagrams

State

Diagrams

State

Diagrams

State

Diagrams

State

Diagrams

State

Diagrams

Object

Diagrams

Component

Diagrams

Class

Diagrams

Component

Diagrams

Component

Diagrams

Deployment

Diagrams

Use Case

Diagrams

Use Case

Diagrams

Scenario

Diagrams

Scenario

Diagrams

Use Case

Diagrams

Use Case

Diagrams

Scenario

Diagrams

Scenario

Diagrams

Use Case

Diagrams

Sequence

Diagrams

Statechart

Diagrams

Collaboration

Diagrams

Models, Views, and Diagrams

Models

Activity

Diagrams

linkage between object z tcoz uml
Linkage between Object-Z/TCOZ &UML
  • Static view

Class / Class diagram

  • Collaboration view

Communication / Collaboration diagram

  • Dynamic view

operation/ statechart diagram

static view1
Static View

Inheritance

static view2
Static View

Aggregation

static view3
Static View

Association

collaboration view
Collaboration View

Synchronized Communication

collaboration view1
Collaboration View

Asynchronized Communication

dynamic view1
Dynamic View

More ...

basic idea
Basic idea
  • ZML – Define a customized XML for Z family languages for web-browsing purpose
  • UML tool – Rational Rose 2000 supports XMI import/export according to UML.DTD
  • Therefore, our translation rules are applied using XSLT techniques to automatically translate Object-Z/TCOZ model(XML) to UML diagrams(XMI) and vice versa
syntax definition
Syntax definition

XML Schema

syntax definition1
Syntax definition

Foundation.Core.ModelElement.name,

Foundation.Core.ModelElement.visibility,

Foundation.Core.GeneralizableElement.isRoot,

Foundation.Core.GeneralizableElement.isLeaf,

Foundation.Core.GeneralizableElement.isAbstract,

Foundation.Core.Class.isActive,

XMI.extension*,

Foundation.Core.ModelElement.constraint*,

Foundation.Core.ModelElement.requirement*,

Foundation.Core.ModelElement.provision*,

Foundation.Core.ModelElement.stereotype*,

…>

UML DTD

xsl transformation
XSL Transformation

Web browsing

xsl transformation1
XSL Transformation

UML class diagram projection

]]>

]]>

case study queue example
Case study – Queue example

ActiveQueue

Queue

in, out

&chan;

Join

ActiveQueue in ZML

case study queue example2
Case study – Queue example

1

1..*

TwoActiveQueue & ActiveQueue in XMI

conclusions1
Conclusions
  • XML/XSL approach to the development of a web environment for Z family languages
    • Auto type referencing
    • Schema calculus and Inheritance expansions
  • Semantic links and projections between Object-Z/TCOZ with UML diagrams
  • A formal approach to modeling web applications
  • A standard XML environment for all formal notations – Formal specification Markup Language (FML)
ad