Validation and implementation of the transformation from Pomsets to LTS
No Thumbnail Available
Date
2024
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
This project focuses on the verification and validation of partially ordered multi-sets
(Pomsets) in labelled transition systems (LTS). Fully implemented in Python, this transition
process is meticulously executed using the tools and fundamentals of the language.
The validation phase examines the fidelity and accuracy of the conversion, ensuring that
the resulting LTS correctly represents the behavior of the original Pomsets.
The verification of an algorithm’s correctness is crucial in software engineering, especially
in embedded systems, where it is essential to ensure that the implementation meets
the required specifications. For this purpose, we have used Pymodel.
Pymodel is a powerful tool for modeling and verifying software systems. It allows for
simulating models to detect logical errors and unexpected behaviors in real-time.