Talk:Inter-Organizational Workflow

This page is originally a time-based channel. To view all discussions of a certain purpose, use the semantic property with Channel: prefix so that relevant topic can be aggregated by inline query.

Logic Model (PKC Workflow) Template:LogicModel 02 20, 2022
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.