Difference between revisions of "Project specification"
Jump to navigation
Jump to search
| (12 intermediate revisions by the same user not shown) | |||
| Line 8: | Line 8: | ||
|outputs= | |outputs= | ||
[[Project specification]] | [[Project specification]] | ||
|process= | |process= Understand and specifying the workflows in PKC. | ||
|inputs= | |inputs= | ||
# The knowledge | # The knowledge of resources. | ||
# The knowledge of integrating resource in PKC | |||
|boundaries= | |boundaries= | ||
}} | }} | ||
| Line 19: | Line 21: | ||
__SHOWFACTBOX__ | __SHOWFACTBOX__ | ||
= All kinds of workflows = | |||
The workflows are managed in Manual namespaces. | The workflows are managed in Manual namespaces. | ||
== CICD == | |||
* | === Automation workflow === | ||
* | By Jenkins Remote Access API : | ||
* | * Jenkins:retrieve information from Jenkins for programmatic consumption | ||
* Jenkins:trigger a new build | |||
* Jenkins:create/copy jobs | |||
=== Docker workflow === | |||
[https://hub.docker.com/r/xlp0 Resource:Docker Image Repository] | |||
* Download the [https://hub.docker.com/r/xlp0/mariadb Docker Image] and build the PKC instance by up.sh. Then a docker container instance is built. | |||
* For any updates, save the new image file in [https://docs.docker.com/registry/ docker registry] with a named TAG. | |||
* Push the registered local image on the docker hub. | |||
* The image should be tested and then deployed for use. | |||
=== Backup and Restore Workflow === | |||
{{#lst:PKC Workflow|TLA Logic Model}} | |||
== Discussion == | |||
{{Talk:Project specification}} | |||
== Formal Methods == | |||
* TLA workflow | * TLA workflow | ||
Latest revision as of 07:08, 23 July 2021
TO BE DEPRECATED: When you see this, please consider moving the logic model below from Template:Logic Model to Template:LogicModel
| 1. Context |
After defining the scope, the project should be specified so that it is precise enough for implementation. | ||
| 2. Goal |
To specify the system using a formal/semi-formal specification and Logic model. | ||
| 3. Success Criteria |
| ||
| 4. Outputs | 5. Process | 6. Inputs | |
|
Understand and specifying the workflows in PKC. |
| ||
| 7. Boundary Conditions | |||
All kinds of workflows
The workflows are managed in Manual namespaces.
CICD
Automation workflow
By Jenkins Remote Access API :
- Jenkins:retrieve information from Jenkins for programmatic consumption
- Jenkins:trigger a new build
- Jenkins:create/copy jobs
Docker workflow
Resource:Docker Image Repository
- Download the Docker Image and build the PKC instance by up.sh. Then a docker container instance is built.
- For any updates, save the new image file in docker registry with a named TAG.
- Push the registered local image on the docker hub.
- The image should be tested and then deployed for use.
Backup and Restore Workflow
{{#lst:PKC Workflow|TLA Logic Model}}
Discussion
- For each workflow, do we need to track whether users follow the workflow and succeeds in order to verify the event? --KevinTung (talk) 17:55, 18 July 2021 (UTC)
- Should we discern the automated workflow with the manual one? Or are we supposed to specify all necessary parts of workflow? --KevinTung (talk) 17:55, 18 July 2021 (UTC)
- Project needs to be accountable. --Benkoo (talk) 07:46, 30 July 2021 (UTC)
Formal Methods
- TLA workflow