欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
针对时序逻辑语言缺少面向对象概念的现状，对投影时序逻辑进行了扩展，介绍了新的语法和语义。在扩展投影时序逻辑中，基于变量集合的层次化和谓词的分组，给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura＋＋，它能够用于面向对象的程序设计，可以模拟组合Web服务的执行。所给出的实例表明，该语言Framed Tempura相比，能有效地重用代码，提高了代码的可读性和可维护性。
英文摘要：
According to the status of temporal logic languages without object-oriented concepts, projection temporal logic is extended, and then the new syntax and semantics are introduced. In the extended projection temporal logic, formal definitions of objects, classes, and inheritances are given based on the hierarchical variable sets and grouping predicates. An object-oriented temporal logic language framed tempura＋＋, is defined as an executable subset of extended projection temporal logic, and it can be used for object-oriented programming and simulating the execution of composite web services. The illustrated example shows that the language can reuse code efficiently and improve code readability and maintainability in compare with Framed Tempura.
同期刊论文项目
同项目期刊论文
位置：