面向软件系统XYZ的程序语言的逻辑动态发展之探究  

An Exploration to Dynamic Development of Logic based on the Programming Language of XYZ

作　　者：姚从军 陈宝爱 YAO Cong-jun;CHEN Bao-ai(Biquan Academy,Xiangtan University,Xiangtan,Hunan411105,China)

机构地区：[1]湘潭大学碧泉书院,湖南湘潭411105

出　　处：《贵州工程应用技术学院学报》2020年第3期1-7,共7页Journal of Guizhou University Of Engineering Science

基　　金：国家社科基金重大项目“面向计算机人工智能的组合范畴语法研究”,项目编号:17ZDA027。

摘　　要：软件工程工具系统XYZ是将时序逻辑和软件工程有机结合而成的整体,XYZ/E是建立在时序逻辑基础上的程序语言,它是XYZ系统的核心。虽然时序逻辑的语义是静态的,但是XYZ/E所关注的是计算机程序中状态转换的控制机制,在XYZ/E和C语言的赋值语句那里出现了"一表达式一范畴多语义"情况,XYZ/E的单元的表述既有静态的性质也有动态的特征,以及踏步语句的静态组合和非踏步语句的动态组合等等都预示了作为XYZ/E的基础的逻辑应该具有动态性质,还需兼具静态特征。只有这样的逻辑,才能全面刻画XYZ/E的兼容功能。XYZ system inherits software engineering tool that integrates temporal logic and software engineering into an whole,XYZ/E is a programming language based on temporal logic,which is the core of XYZ system.Although temporal logic semantics is static,but XYZ/E focus on computer program control mechanism of state transition,the XYZ/E and C language assignment imply there have been appeared more than one semantic expression on categorical level,XYZ/E unit shares the nature of static and dynamic features,as well as static combination of the stepping statement and dynamic combination of non-stepping statements and so on,in line with this problem,which indicates the logic system underlying XYZ/E should be dynamic and static.It is the logic system that can fully characterize the compatibility of XYZ/E.

关 键 词：软件系统XYZ 时序逻辑语言XYZ/E 时序逻辑 组合范畴语法 动态逻辑 

分 类 号：B81[哲学宗教—逻辑学]