An integrated framework for the validation and verification of UML models
收藏Zenodo2026-03-02 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.18838481
下载链接
链接失效反馈官方服务：
资源简介：
Project Overview
The first version of this artefact is associated with the paper "An integrated framework for analysing, simulating and testing UML models", published in the 27th Brazilian Symposium on Formal Methods (SBMF 2024). The third version of this artefact is associated with the paper "An integrated framework for the validation and verification of UML models", an extended version of the previous work, and submitted to Science of Computer Programming.
Directory Structure
CSP_Validation: Contains the validation of our mapping rules from UML diagrams to CNL requirements.
NAT2TEST_Projects: Contains the NAT2TEST projects for two case studies: the classical Dijkstra's dining philosophers problem, and a distributed ring-buffer model.
ROCQ: Contains the Rocq characterisation of DFRSs, along with the proof of custom properties for the dining philosophers example.
UML2CNL: Contains the implementation of our mapping rules from UML diagrams to CNL requirements.
提供机构：
Zenodo创建时间：
2026-03-02
