Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category Theory

Zhu, Muhua; Grogono, Peter; Ormandjieva, Olga

doi:10.1016/j.procs.2017.05.342

Cited by 3 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This section introduces how to construct categories for modeling progress of communications in the design. The progress of communications can be indicated by failures [7]. Firstly, we propose the definition of category of failures.…”

Section: Categorizing Designmentioning

confidence: 99%

“…To deal with such a challenge, verification plays a crucial role in reducing, or even preventing, the introduction of errors in design and implementation of a concurrent system [5]. Research [6] [7] used category theory, dataflow and Traces in Communicating Sequential Processes (CSP) to explore approaches that may address the challenge. This paper is based on Category Theory, Galois connections and Failures in CSP.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems

Zhu¹,

Li²

2018

JCC

Self Cite

View full text Add to dashboard Cite

Process-oriented design and implementation of concurrent systems has important benefits. However, the inherent complexity of concurrent processes' communication imposes challenges such as verifying consistency between the process-oriented design and implementation of a concurrent system. To deal with such a challenge, we use Galois connections, Failures and Category Theory to construct a formal framework for designing, implementing, analyzing and verifying consistency of concurrent systems. For the purpose of illustrating the framework, a running concurrent system is designed by Communicating Sequential Processes, implemented by a process-oriented programming language Erasmus.

show abstract

Section: Categorizing Designmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems

Zhu¹,

Li²

2018

JCC

Self Cite

View full text Add to dashboard Cite

show abstract

“…Researches [6] [7] used category theory to model concurrent systems. As a continuation, we propose to use category theory to explore and model LES for concurrent systems in this paper.…”

Section: Introductionmentioning

confidence: 99%

Using Category Theory to Explore and Model Label Event Structures

Zhu¹,

Li²

2019

JCC

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Representation of Categorical Specification of Self-Configurations in Reactive Autonomic Systems Framework

Zhu¹,

Kuang²,

Li³

2018

JCC

Self Cite

View full text Add to dashboard Cite

Software complexity crisis brings huge obstacle to further progress in IT industry. To alleviate this problem, researchers are asked to build systems which can benefit from automation. With autonomic behavior, the real-time reactive systems can be more self-managed and adaptive to their environment. However, most of current formal approaches fail to specify such kind of system. In this paper, we proposed an approach to formally specify reactive autonomic systems. First, we used category theory to formalize reactive autonomic systems; then we focused on the categorization of self-configurations and work flows of reactive autonomic systems, and finally we used XML to specify the categorical models. In doing so, it can help to build the foundation of reactive autonomic systems with autonomic features and verify emergent behaviors.

show abstract

Exploring Relationships between Syntax and Semantics of a Process-Oriented Language by Category Theory

Cited by 3 publications

References 6 publications

Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems

Towards a Categorical Framework for Verifying Design and Implementation of Concurrent Systems

Using Category Theory to Explore and Model Label Event Structures

Representation of Categorical Specification of Self-Configurations in Reactive Autonomic Systems Framework

Contact Info

Product

Resources

About