PKC Workflow/Presentation

Introduction of Logic Model

Navigate: Template:Logic Model

• What is logic model?
  • The syntax for filling up the Template is as two parts. The top part, surrounded by a blue dashline, is the abstract specification of a function. Describing what it is. The bottom part, surrounded by a red dashline, is the concrete implementation, revealing the resources and strategies to realize the cause-effect linkage between the abstraction specification with the concrete implementation and execution. The two parts, top and bottom of a Logic Model is shown below: (The blue part represents the abstraction specification, or the signature of a function. The red part represents the concrete implementation, which can be considered as the body of a function. Then, all techniques for functional composition can be applied to Logic Model, and henceforth, applied to anything that Logic Model represents.

• Origin of LM:
  • It origins from Symmetry-breaking.
• The relation with knowledge representation and programming language:

• Logic model is a meta-language independent of domain
  • Benefit: test, goal model purpose, context locates the purpose, criteria? could test the goal

Coffee example in a picture (Navigate): Logic Model/Example/Buying Coffee

• [out]: the coffee example

TLA+

Curry Howard correspondence : Logic language, and Functional Language .

Work

• Specify and implement several software engineering workflows in the system using the logic model.
  • It serves as a Workflow engine (due to the structure)

tla+, docker registry , ..?

PKC

(Basic intro)

Logic Model

• What is logic model

Logic Model of PKC Workflow

Logic Model (PKC Workflow) Template:LogicModel 08 29, 2021
Abstract Specification Context This is the 2021 summer project of Tz-Chuang starting from June 27, 2021 to August 21,2021. Despite the various models for domain knowledge, there isn't a high-level model which is expressive, compact, practical, and independent of domains. This gives rise to Logic Model. Goal Utilize formal methods to prove the system's soundness Use Logic Model to describe the project itself. Theorize Logic Model based on the implementation. Success Criteria An example of how the formal method could integrate into Logic Model is demonstrated. The Logic Models of the project are defined correctly The core concepts which explain the Logic Model is defined.
Concrete Implementation Given Inputs When Process is executed... Then, we get Outputs System Verification Software/TLA+ Tools PKC System Specification Knowledge/TLA+ Tools Jenkins Integration Jenkins setup A service namespace Docker Registry Docker Docker registry tutorial Image Naming System Verification by TLA+ Jenkins Integration Docker Registry Meeting and Communication Issues Updates All activities PKC Workflow/Knowledge PKC Workflow/Drafts PKC Workflow/Project Conclusion PKC Workflow/Presentation
Boundary/Safety Conditions of PKC Workflow 6 weeks of project time.

Note

Need to give clear examples to listeners.