排序方式: 共有6条查询结果,搜索用时 31 毫秒
1
1.
本文研究了相信逻辑在相信蕴涵下的某些性质.在相信蕴涵的定义下,相信逻辑是非单调的.本文给出了几个相信逻辑的单调性的充分且必要条件.还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体.从而给默认理论的延伸以一个较为直观、简洁的表述. 相似文献
2.
OOZS类型检查器是OOZS规格说明的一种检查程序,它可以找出用户编写的OOZS规格说明中出现的语法错误以及类型操作的不一致错误,并能够自动定位错误.本文介绍了OOZS类型检查器的设计与实现. 相似文献
3.
Model Checking-Based Testing of Web Applications 总被引:1,自引:0,他引:1
ZENG Hongwei MIAO Huaikou 《武汉大学学报:自然科学英文版》2007,12(5):922-926
A formal model representing the navigation behavior of a Web application as the Kripke structure is proposed and an approach that applies model checking to test case generation is presented. The Object Relation Diagram as the object model is employed to describe the object structure of a Web application design and can be translated into the behavior model. A key problem of model checking-based test generation for a Web application is how to construct a set of trap properties that intend to cause the violations of model checking against the behavior model and output of counterexamples used to construct the test sequences. We give an algorithm that derives trap properties from the object model with respect to node and edge coverage criteria. 相似文献
4.
ZENG Hongwei MIAO Huaikou 《武汉大学学报:自然科学英文版》2006,11(5):1330-1334
In existing web services-based workflow, data exchanging across the web services is centralized, the workflow engine intermediates at each step of the application sequence. However, many grid applications, especially data intensive scientific applications, require exchanging large amount of data across the grid services. Having a central workflow engine relay the data between the services would resu'lts in a bottleneck in these cases. This paper proposes a data exchange model for individual grid workflow and multiworkflows composition respectively. The model enables direct communication for large amounts of data between two grid services. To enable data to exchange among multiple workflows, the bridge data service is used. 相似文献
5.
6.
从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述. 相似文献
1