An integrated framework for analysing, simulating and testing UML models
收藏Zenodo2024-08-14 更新2026-05-26 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.13323736
下载链接
链接失效反馈官方服务：
资源简介：
Project Overview
This is the artefact associated with the paper "An integrated framework for analysing, simulating and testing UML models", submitted to the 27th Brazilian Symposium on Formal Methods (SBMF 2024).
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.
UML2CNL: Contains the implementation of our mapping rules from UML diagrams to CNL requirements.
提供机构：
Zenodo创建时间：
2024-08-14
