2021.07.20
| Date | 2021-07-20 |
|---|---|
| Person | @KevinTung |
Context and Goal
Studied formal analysis for software and for natural language and have some ideas on how they can be applied to the system. The idea is that we open a module to store the liveness and safety condition. When we invoke the module, the system analyze the structured data and return results. Also I Activity:investigated Jenkin and thought about how it should integrate to the system. Wiki:System_integration . But still, these idea to use these tools need to be verified with Ben. So the first step is to write the possible specification down. PKC Workfow/Software
To-Do
- Specify Automation and Formal method possible application (Why) and workflow (how). Then verify with Ben.
- Finish all the parts of Logic model. The challenges are 1. Input and Output arguments 2. Process arguments that correctly connects Input, Output
Unsure : If there are multiple Processes between Input and Output , how should I specify the Logic Model? A set of Goal, Context, Success Criteria, Boundary conditions with a list of Input, Output, Process?
- Make sure it is bound with time.
- Verify that the project has reached the criteria of 1.Specify Logic Model 2. Bound in Time