Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/4710
Title: | A petri net extension for formal modelling of information systems | Authors: | Kresoja, Milana Rackov, Milan Škrbić , Renata Surla B. |
Issue Date: | 1-May-2016 | Journal: | Computer Systems Science and Engineering | Abstract: | © 2016 CRL Publishing Ltd. Being a powerful instrument for modelling, analysing, and simulating dynamic systems, Petri Nets have been used many times in the past to solve software engineering problems and to model different aspects of information system. However, none of these research attempts have succeeded in modelling complete information system's behaviour in formal and executable way, at the same time. In the field of requirement specification and modelling of the information systems, it is usual to find object-oriented (OO) methodologies (UML) instead of some formal methods such as Petri Nets. In this paper, we propose a model based on extension of Petri Nets for creating formal static and dynamic models of information systems. The proposed model was designed as an executable replacement of the UML dynamic diagrams. For modelling static structure of the system we still suggest using OO methods, but proposed Petri Nets extension provides complete integration of the OO static elements into Petri Nets used as a dynamic model. The main contribution of the proposed Petri Nets extension is that we get the formal model that is, unlike other known formal models, directly and completely executable. More precisely, we created a model of a Petri Net that represents real information system with all its functionalities. Moreover, we created a CASE tool that allows modelling and execution of a system using the proposed model. | URI: | https://open.uns.ac.rs/handle/123456789/4710 | ISSN: | 02676192 |
Appears in Collections: | PMF Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
2
checked on Feb 22, 2020
Page view(s)
11
Last Week
8
8
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.