Journal article

KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software. 2017, vol. 10, no. 12, pp. 121-131. ISSN 1942-2628.
Publication language:english
Original title:Specification of Requirements Using Unified Modeling Language and Petri Nets
Title (cs):Specifikace požadavků s využitím jazyka UML a Petriho sítí
Pages:121-131
Place:US
Year:2017
Journal:International Journal on Advances in Software, Vol. 10, No. 12, US
ISSN:1942-2628
Keywords
Object Oriented Petri Nets, Use Cases, requirement specification, requirement implementation
Annotation
One of the major problems the software engineering is dealing with is the correct specification and implementation of requirements to the system being developed. A lot of design methods use models of the Unified Modeling Language for requirements specification and further design of the system. To validate the specification, the executable form of models has to be obtained or the prototype has to be developed. This may cause errors in the transformation or implementation process, which results in incorrect validation. The approach presented in this work focuses on formal requirement modeling combining the classic models for requirements specification (use case diagrams and class 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.
BibTeX:
@ARTICLE{
   author = {Radek Ko{\v{c}}{\'{i}} and Vladim{\'{i}}r Janou{\v{s}}ek},
   title = {Specification of Requirements Using Unified Modeling
	Language and Petri Nets},
   pages = {121--131},
   journal = {International Journal on Advances in Software},
   volume = {10},
   number = {12},
   year = {2017},
   ISSN = {1942-2628},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=11482}
}

Your IPv4 address: 54.163.210.170
Switch to IPv6 connection

DNSSEC [dnssec]