2021.07.18

Date	2021-07-18
Person	@KevinTung

Context and Goal

Need to specify the system and connect necessary tools. It is the last day of the 3rd week. I definitely need to be quick and align with Ben.

To-Do

1. Project plan with timeline
2. Learn the Basics of TLA, try to integrate TLA into the system.
3. Organize the Input of PKC Workflow.
4. Continue to account my actions in MW

Progress

• All activities
• Learn the basics of TLA+ and try to integrate it.
  • Video:TLA+
• Create Daily Document form

Conclusion

• TLA+ models the system abstractly and let us prove the system works.
• What are the possible usage of TLA in MediaWiki, a Personal Knowledge Container?
  • For modeling software system
  • For modeling the operations in wiki
  • For modeling the content in wiki

• The project activities with timeline is constructed and demonstrated in All activities

Reports

Some page to notice:

• PKC_Workflow
• All_activities