JPSL到PPTL性质规约的转换方法、系统及介质
实质审查的生效
摘要
本发明属于系统形式化建模与验证技术领域，公开了一种JPSL到PPTL性质规约的转换方法、系统及介质，包括：使用JPSL根据标记规则通过注释方式在Java源程序中标注类、函数、代码片段及程序语句具备的性质特征；对标注有JPSL性质语句的Java程序进行词法语法分析，构造扩展的面向对象抽象语法树(EOOAST)描述Java程序本身及JPSL性质语句的语法结构(JST)；对EOOAST中的JST进行完整性一致性校验，并将EOOAST中的JST转换为带约束位置、描述Java程序性质的PPTL公式。本发明促进了模型检测技术在工业界的推广使用。
基本信息
专利标题 ：
JPSL到PPTL性质规约的转换方法、系统及介质
专利标题（英）：
暂无
公开（公告）号 ：
CN114281314A
申请号 ：
CN202111425598.5
公开（公告）日 ：
2022-04-05
申请日 ：
2021-11-26
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
舒新峰全格格王春梅王博王小银
申请人 ：
西安邮电大学
申请人地址 ：
陕西省西安市雁塔区长安南路563号西安邮电大学
代理机构 ：
西安长和专利代理有限公司
代理人 ：
黄伟洪
优先权 ：
CN202111425598.5
主分类号 ：
G06F8/30
IPC分类号 ：
G06F8/30 G06F8/41
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F8/00
软件工程设计
G06F8/30
创建或生成源代码
法律状态
2022-04-22 ：
实质审查的生效
IPC(主分类) : G06F 8/30
申请日 : 20211126
申请日 : 20211126
2022-04-05 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
