Formal Validation for Software Modeling

Formal Validation for Software Modeling

Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).Hie main problem is difficult to analyze semantics and verify correctness for a vital system.CPN(Colored Petri Net)as modeling and verification method provides formal semantics and a number of analysis techn...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:International journal of computer science issues 2013-03, Vol.10 (2 Part 1), p.308-308
Hauptverfasser: Tian, Baojun, Gu, Yanlin
Format: Artikel
Sprache:eng
Schlagworte:
Computer programs
Computer science
Computer simulation
Mathematical models
Program verification (computers)
Semantics
Software
Transforms
Unified Modeling Language
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).Hie main problem is difficult to analyze semantics and verify correctness for a vital system.CPN(Colored Petri Net)as modeling and verification method provides formal semantics and a number of analysis techniques and tools. This paper presents an approach of formal modeling and validation for software process, which transforms UML models based on RUP(Rational Unified Process) to CPN,and uses CPN tools to investigate the behaviour of modelled system.
ISSN:1694-0814
1694-0784