本课题属于数学与信息科学的跨学科交叉研究项目，其研究对象主要是信息科学中新近浮现的一些*-半环结构。我们利用代数学、偏序集理论和算子不动点理论，并结合计算机科学中的相关研究方法，对归纳*-半环、连续半环和Kleene代数等重要研究对象进行了分析、比较和刻画，提出了这些模型在数学上的共同扩展结构，并证明了在子独异点诱导和序下，这几类半环结构的等价性。根据对偶原理，本课题也研究了上述对象的对称完备化等相关概念，并讨论了这些结构及其对称完备化对形式幂级数等经典构造的封闭性。此外，我们还研究了相关的半模结构，并对Kleene模进行了扩展，提出了归纳半模等概念，并研究了归纳半模上的向量模构造，证明了偏序Conway半环上的归纳半模的向量模关于相应的矩阵半环仍构成一个归纳半模结构。本课题研究手段体现了半环代数理论和理论计算机科学的中相关方法的有效结合及相互渗透，解决了单一理论所不能处理的一些问题。本课题共发表论文7篇，其中SCI检索3篇，EI检索4篇，所取得的理论成果紧跟学科前沿，具有较强的理论创新性和广阔的应用前景。