Generating petri net-based behavioral models from textual use cases and application in railway networks

Document Type

Article

Publication Date

12-1-2016

Abstract

A software system's requirements are often specified by textual use cases due to the latter's concrete and narrative style of expressions. However, they have limitation in the synthesis of the system behavior since they have a poor basis for the formal interpretation. Existing synthesis techniques are either largely manual or focus on the use case interactions. We present a framework from a model-based point of view to automatically synthesize system behavior from textual use cases to a Petri net model. The generated net model can well describe component module interactions and thus can be used to check the requirement properties. The function of Send-Railway-Emergency-Call of European Integrated Railway Radio Enhanced Network is used to show the proposed method. Moreover, the experimental results on a set of examples demonstrate the effectiveness of the proposed method.

Identifier

84969567558 (Scopus)

Publication Title

IEEE Transactions on Intelligent Transportation Systems

External Full Text Location

https://doi.org/10.1109/TITS.2016.2518745

ISSN

15249050

First Page

3330

Last Page

3343

Issue

12

Volume

17

Grant

61210004

Fund Ref

National Natural Science Foundation of China

This document is currently not available here.

Share

COinS