Izvorni znanstveni članak

https://doi.org/10.31341/jios.40.2.4

Enhancing Formal Methods Integration with ACP2Petri

Slavomír Šimoňák orcid.org/0000-0001-6505-3160 ; Faculty of Electrical Engineering and Informatics, Technical University of Košice, Košice, Slovak Republic
Martin Šolc ; Faculty of Electrical Engineering and Informatics, Technical University of Košice, Košice, Slovak Republic

Sažetak

The paper deals with the ACP2Petri tool, providing a transformation of process algebraic specification to equivalent Petri net-based specification. Long-term practical experiences with the tool revealed some suggestions for its update and extension. Shortcomings and limitations found are described and proposed solutions provided within the paper. Implemented extensions, simplifying the usage of the tool and providing more options for analysis of particular transformation, are also presented. One of the most evident extensions of the tool is its graphical user interface, which allows for convenient management and detailed control over the process of transformation.

Ključne riječi

ACP; process algebra; ACP2Petri; formal methods integration; Petri nets

Hrčak ID:

170414

URI

https://hrcak.srce.hr/170414

Datum izdavanja:

9.12.2016.

Posjeta: 1.129 *