The University of Southampton
×
Filter your search:
University of Southampton Institutional Repository

Dataset in support of the doctoral thesis "Generic formal patterns for cloud native application development"

Dataset in support of the doctoral thesis "Generic formal patterns for cloud native application development"
Dataset in support of the doctoral thesis "Generic formal patterns for cloud native application development"
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
Yagmahan, Mehmet Said Nur
5424bf37-e3a7-4104-bc46-5d1fd99611a3
Yagmahan, Mehmet Said Nur
5424bf37-e3a7-4104-bc46-5d1fd99611a3

Yagmahan, Mehmet Said Nur (2024) Dataset in support of the doctoral thesis "Generic formal patterns for cloud native application development". University of Southampton doi:10.5258/SOTON/D3164 [Dataset]

Record type: Dataset

Abstract

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.

Text
thesis_readme.txt - Dataset
Download (1kB)
Archive
AWS-Based_RHP_ROP.zip - Dataset
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (285kB)
Archive
AWS-Based_RHP_SSR_Auth_Pattern.zip - Dataset
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (660kB)
Archive
AWS-Based_RHP_ROP_Case_Studies.zip - Dataset
Available under License Creative Commons Attribution Non-commercial Share Alike.
Download (6MB)

More information

Published date: 2024
Learn more about School of Electronics and Computer Science research

Identifiers

Local EPrints ID: 492155
URI: http://eprints.soton.ac.uk/id/eprint/492155
DOI: doi:10.5258/SOTON/D3164
PURE UUID: 997c11b3-4fc4-4561-a8c7-d790f39ad7cc

Catalogue record

Date deposited: 18 Jul 2024 16:42
Last modified: 18 Jul 2024 16:43

Export record

Altmetrics

Contributors

Creator: Mehmet Said Nur Yagmahan

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Library staff additional information
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×