Inter-Organizational Workflow

1. Context	This is the 2021 summer project of Kevin starting from June 27, 2021 to August 14,2021. Personal Knowledge Container has the potential for data governance.
2. Goal	Develop distributed and centralized security system based on PKC. System integration of content management system and so that data copy, transfer, and testing could be automated and triggered in PKC. Utilize formal methods to prove the system's soundness Use PKC to manage the project itself so that all the work could be accounted. Theorize the system's structure based on Universal Abstraction.
3. Success Criteria	Important workflows of PKC are specified.
4. Boundary Conditions	6 weeks of project time.

notes: output: concept-instance difference. inputs: system spec:

intended to use Function Model, but turn to Logic model to specify intention.

A logic model is composed by lots of submodels. When not intending to specify the abstract part of them, one could only use Function Model. A question is : What is the relationship between the model-submodles, and the relation among all the subfunctions?

TLA Sub-Model

TO BE DEPRECATED: When you see this, please consider moving the logic model below from Template:Logic Model to Template:LogicModel

1. Context	To analyze a system correctly before it is implemented, a language to model the system and automatic tools to prove the system is required. Mathematics is more expressive to model system and independent of the order of execution.
2. Goal	To efficiently state the system's preferred condition and determine them.
3. Success Criteria	The specified property are determined.
4. Outputs	5. Process	6. Inputs
The TLA tools are set up The PKC System Result are shown.	Task:TLA+ Installation Task:PKC System Specification	Formal Tools PKC System Specification
7. Boundary Conditions	Determine what the PKC system should achieve. Finish within 1 week of time

1. Modeling system in the code-level depends on the order of execution, while modeling with logical conditions doesn't.

todo : meta data of "the op data?" of writing a logic model

Jenkins Sub-Model

TO BE DEPRECATED: When you see this, please consider moving the logic model below from Template:Logic Model to Template:LogicModel

1. Context	The Universal Data Abstraction includes data scheme of Page/File/Service. Jenkins is an automation server for users to interact with services.
2. Goal	To integrate automation server with PKC to build a workflow engine
3. Success Criteria	Users could manipulate programmable objects on other application in PKC page.
4. Outputs	5. Process	6. Inputs
A complete service namespace. A module serving as interface for users to interact	Specify a namespace to express the interaction with service. Activity:Learn Lua Create a Lua based module which takes parametrized inputs.	Jenkins setup A service namespace
7. Boundary Conditions	Finish within 1 week of time

Note : Sometimes, the input and process are ambiguous. For example, the Service namespace is required to achieve goal. It might be an input or the product along the process. In general, both the input and process contains uncertainty and need decision.

Ideation Sub-Model

TO BE DEPRECATED: When you see this, please consider moving the logic model below from Template:Logic Model to Template:LogicModel

1. Context	Ideation Project
2. Goal	To model and formalize the structure of Ideation. Leverage PKC as the foundation for Ideation.
3. Success Criteria	Specify Ideation structure Specify how PKC could process these ideas.
4. Outputs	5. Process	6. Inputs
Ideation structure specification PKC application on Ideation specification	Status:Uncertain	Status:Uncertain
7. Boundary Conditions	Finish within 1 week of time

1. Software Resource
2. Work Breakdown Structure
3. Meeting and Communication
4. Issue
5. Updates and reports
6. Documentation
7. Activities