Difference between revisions of "2021.07.18"
Jump to navigation
Jump to search
| Line 14: | Line 14: | ||
==Progress== | ==Progress== | ||
[[Video:TLA+]] | [[Video:TLA+]] | ||
* Learn the basics of TLA+ | * Learn the basics of TLA+ and try to integrate it. | ||
* Create Daily Document form | * Create Daily Document form | ||
==Conclusion== | ==Conclusion== | ||
Revision as of 15:42, 18 July 2021
| 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
- Learn the Basics of TLA, try to integrate TLA into the system.
- Organize the Input of PKC Workflow.
- Continue to account my actions in MW
Progress
- Learn the basics of TLA+ and try to integrate it.
- 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