An integrated framework for analysing, simulating and testing UML models
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://zenodo.org/record/13323735
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2024-08-14
