Publication detail

Modeling System Requirements Using Use Cases and Petri Nets

KOČÍ, R. JANOUŠEK, V.

Original Title

Modeling System Requirements Using Use Cases and Petri Nets

English Title

Modeling System Requirements Using Use Cases and Petri Nets

Type

conference paper

Language

en

Original Abstract

The fundamental problem associated with software development is a correct identification, specification and subsequent implementation of the system requirements. To requirement specifications, designers often creates use case diagrams from Unified Modeling Language (UML). These models are then developed by further UML models. To validate requirements, its executable form has to be obtained or the prototype has to be developed. It can conclude in wrong requirement implementations and incorrect validation process. The approach presented in this work focuses on formal requirement modelling combining the classic models for requirements specification (use case diagrams) with models having a formal basis (Petri Nets). Created models can be used in all development stages including requirements specification, verification, and implementation. All design and validation steps are carries on the same models, which avoids mistakes caused by model implementation.

English abstract

The fundamental problem associated with software development is a correct identification, specification and subsequent implementation of the system requirements. To requirement specifications, designers often creates use case diagrams from Unified Modeling Language (UML). These models are then developed by further UML models. To validate requirements, its executable form has to be obtained or the prototype has to be developed. It can conclude in wrong requirement implementations and incorrect validation process. The approach presented in this work focuses on formal requirement modelling combining the classic models for requirements specification (use case diagrams) with models having a formal basis (Petri Nets). Created models can be used in all development stages including requirements specification, verification, and implementation. All design and validation steps are carries on the same models, which avoids mistakes caused by model implementation.

Keywords

Object Oriented Petri Nets; Use Cases; requirement specification; requirement implementation

Released

25.08.2016

Publisher

Xpert Publishing Services

Location

Řím

ISBN

978-1-61208-498-5

Book

ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances

Edition

NEUVEDEN

Edition number

NEUVEDEN

Pages from

160

Pages to

165

Pages count

6

URL

BibTex


@inproceedings{BUT130976,
  author="Radek {Kočí} and Vladimír {Janoušek}",
  title="Modeling System Requirements Using Use Cases and Petri Nets",
  annote="The fundamental problem associated with software development is a correct
identification, specification and subsequent implementation of the system
requirements. To requirement specifications, designers often creates use case
diagrams from Unified Modeling Language (UML). These models are then developed by
further UML models. To validate requirements, its executable form has to be
obtained or the prototype has to be developed. It can conclude in wrong
requirement implementations and incorrect validation process. The approach
presented in this work focuses on formal requirement modelling combining the
classic models for requirements specification (use case diagrams) with models
having a formal basis (Petri Nets). Created models can be used in all development
stages including requirements specification, verification, and implementation.
All design and validation steps are carries on the same models, which avoids
mistakes caused by model implementation.",
  address="Xpert Publishing Services",
  booktitle="ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances",
  chapter="130976",
  edition="NEUVEDEN",
  howpublished="online",
  institution="Xpert Publishing Services",
  year="2016",
  month="august",
  pages="160--165",
  publisher="Xpert Publishing Services",
  type="conference paper"
}