Information Systems Development with the Help of Petri Nets
Many present software systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of developm...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
World Scientific Publishing
2020-02-01
|
| Series: | Vietnam Journal of Computer Science |
| Subjects: | |
| Online Access: | http://www.worldscientific.com/doi/pdf/10.1142/S2196888820500025 |
| _version_ | 1818316021660909568 |
|---|---|
| author | Jaroslav Pokorný Karel Richta Tomáš Richta |
| author_facet | Jaroslav Pokorný Karel Richta Tomáš Richta |
| author_sort | Jaroslav Pokorný |
| collection | DOAJ |
| description | Many present software systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and finally also the whole development process. As an example, we use the transformation of a definition of the set of system nodes defined as classical workflow models, and then transform them into a set of Petri nets representing the target system implementation. Such a transformation supports development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each part of the designed system is translated from workflow model into a set of Petri nets, and interpreted by the set of special Petri Nets Virtual Machines (PNVMs) which are installed on all nodes of the system. The method is illustrated on the example of house heating system. |
| first_indexed | 2024-12-13T09:14:48Z |
| format | Article |
| id | doaj.art-8982814fcc8847d19650f757523803e2 |
| institution | Directory Open Access Journal |
| issn | 2196-8888 2196-8896 |
| language | English |
| last_indexed | 2024-12-13T09:14:48Z |
| publishDate | 2020-02-01 |
| publisher | World Scientific Publishing |
| record_format | Article |
| series | Vietnam Journal of Computer Science |
| spelling | doaj.art-8982814fcc8847d19650f757523803e22022-12-21T23:52:51ZengWorld Scientific PublishingVietnam Journal of Computer Science2196-88882196-88962020-02-0171416410.1142/S219688882050002510.1142/S2196888820500025Information Systems Development with the Help of Petri NetsJaroslav Pokorný0Karel Richta1Tomáš Richta2Charles University, Prague, Czech RepublicCollege of Polytechnics, Jihlava, Czech RepublicBrno Institute of Technology, Brno, Czech RepublicMany present software systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and finally also the whole development process. As an example, we use the transformation of a definition of the set of system nodes defined as classical workflow models, and then transform them into a set of Petri nets representing the target system implementation. Such a transformation supports development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each part of the designed system is translated from workflow model into a set of Petri nets, and interpreted by the set of special Petri Nets Virtual Machines (PNVMs) which are installed on all nodes of the system. The method is illustrated on the example of house heating system.http://www.worldscientific.com/doi/pdf/10.1142/S2196888820500025model transformationspetri netsformally-based systems developmentworkflow modelinglanguage interpretation |
| spellingShingle | Jaroslav Pokorný Karel Richta Tomáš Richta Information Systems Development with the Help of Petri Nets Vietnam Journal of Computer Science model transformations petri nets formally-based systems development workflow modeling language interpretation |
| title | Information Systems Development with the Help of Petri Nets |
| title_full | Information Systems Development with the Help of Petri Nets |
| title_fullStr | Information Systems Development with the Help of Petri Nets |
| title_full_unstemmed | Information Systems Development with the Help of Petri Nets |
| title_short | Information Systems Development with the Help of Petri Nets |
| title_sort | information systems development with the help of petri nets |
| topic | model transformations petri nets formally-based systems development workflow modeling language interpretation |
| url | http://www.worldscientific.com/doi/pdf/10.1142/S2196888820500025 |
| work_keys_str_mv | AT jaroslavpokorny informationsystemsdevelopmentwiththehelpofpetrinets AT karelrichta informationsystemsdevelopmentwiththehelpofpetrinets AT tomasrichta informationsystemsdevelopmentwiththehelpofpetrinets |