Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

30

ICFEM
2004
Springer

favoriteEmaildiscussreport

97views Software Engineering» more ICFEM 2004»

Formal Proof from UML Models

14 years 4 months ago

Formal Proof from UML Models

Download www-users.cs.york.ac.uk

Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and discharge conjectures to analyse models. We show how our approach allows us to consistency-check UML models, and model analysis by simply drawing snapshot diagrams.

Nuno Amálio, Susan Stepney, Fiona Polack

Real-time Traffic

Formal Analysis | ICFEM 2004 | Practical Approach | UMLbased Models |

claim paper

Related Content

» Dynamic Meta Modeling A Graphical Approach to the Operational Semantics of Behavioral Diag...

» SystemonChip Verification Process Using UML

» From Annotated Software Designs UML SPTMARTE to Model Formalisms

» LSC Verification for UML Models with Unbounded Creation and Destruction

» From UML Statecharts to LOTOS A Semantics Preserving Model Transformation

» From UML to Alloy and Back Again

» Generating Unit Tests from Formal Proofs

» Modeling the Dynamics of UML State Machines

» UML Vs Classical Vs Rhapsody Statecharts Not All Models Are Created Equal

Post Info
More Details (n/a)

Added	01 Jul 2010
Updated	01 Jul 2010
Type	Conference
Year	2004
Where	ICFEM
Authors	Nuno Amálio, Susan Stepney, Fiona Polack

Comments (0)