Difference between revisions of "2021.07.18"
Jump to navigation
Jump to search
| (8 intermediate revisions by the same user not shown) | |||
| Line 8: | Line 8: | ||
==To-Do== | ==To-Do== | ||
# Project plan with timeline | |||
# Learn the Basics of TLA, try to integrate TLA into the system. | # Learn the Basics of TLA, try to integrate TLA into the system. | ||
# Organize the Input | # Organize the Input of PKC Workflow. | ||
# Continue to account my actions in MW | |||
==Progress== | ==Progress== | ||
[[Video:]] | * [[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: | |||
* [https://thewiki.us/index.php/PKC_Workflow PKC_Workflow] | |||
* [https://thewiki.us/index.php/All_activities All_activities] | |||
[[Category:Daily Document]] | [[Category:Daily Document]] | ||
Latest revision as of 18:01, 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
- Project plan with timeline
- 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
- All activities
- 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
- The project activities with timeline is constructed and demonstrated in All activities
Reports
Some page to notice: