The development of a concurrent system poses unique challenges, especially those related to correctness and consistency, as such a system usually involves several interactive processes executing simultaneously. To deal with some of these challenges, we resorted to Labeled Event Structures (LES) and category theory as the formal methods to model concurrent systems. Specifically, in this paper, we proposed an idea to define categories and corresponding constructs, such as product and sum, to model events and relationships among events represented by LES. To explain the idea, several examples are developed. Though a mathematical proof, the proposed idea helped to build a correct-by-construction approach for formalizing LES models of concurrent systems.
展开▼
机译:应用项目反应理论对友谊质量量表修定—以结构方程模型、层面理论多种技术支持修定量表的质量 Modifying Friendship Quality Questionnaire with Item Response Theory Approach——Validating with Facet Theory and Structure Equation Techniques