Thursday 23rd of November 2017
 

Formal Validation for Software Modeling


Baojun Tian and Yanlin Gu

Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).The 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.

Keywords: Modeling, CPN, Formal, UML

Download Full-Text


ABOUT THE AUTHORS

Baojun Tian
College of Information Engineering, Inner Mongolia University of Technology,Huhhot, Inner Mongolia,010080, China

Yanlin Gu
Vocational College, Inner Mongolia University of Finance and Economics


IJCSI Published Papers Indexed By:

 

 

 

 
About IJCSI

IJCSI is a refereed open access international journal for scientific papers dealing in all areas of computer science research...

Learn more »
Join Us
FAQs

Read the most frequently asked questions about IJCSI.

Frequently Asked Questions (FAQs) »
Get in touch

Phone: +230 911 5482
Email: info@ijcsi.org

More contact details »