Dataset in support of the doctoral thesis "Generic formal patterns for cloud native application development"
收藏DataCite Commons2024-07-19 更新2025-04-17 收录
下载链接：
https://eprints.soton.ac.uk/492155/
下载链接
链接失效反馈官方服务：
资源简介：
This dataset contains:
The Rodin platform archives contain as follow:
*AWS-Based_RHP_ROP.zip : Event-B model introducing RHP and ROPs patterns
*AWS-Based_RHP_SSR_Auth_Pattern.zip : Refinemtn RHP pattern for introcing authorization mechanism
*AWS-Based_RHP_ROP_Case_Studies.zip : Event-B model for case study scenarios by using RHP pattern and the proposed refinement strategy for authorisation mechanism.
The Rodin platform configuration is as follows.
- Rodin Platform 3.7.0 (www.event-b.org)
- Event-B Theory 4.0.0 (Rodin Update Site)
- Atelier B Provers 2.3.0 (Atelier-B Update Site)
- SMT Solvers 1.5.0 (Rodin Update Site)
The archive can be imported into the Rodin platform.
提供机构：
University of Southampton
创建时间：
2024-07-19
