Mapping and Modeling of Software Requirement Meta-Framework

被引：0

作者：

He, Tao ^{[1
]}

Chen, JianGang ^{[1
]}

Liang, Yongsheng ^{[1
]}

Qin, Guorong ^{[1
]}

机构：

[1] Shenzhen Inst Informat Technol, Dept Software Engn, Shenzhen, Peoples R China

来源：

2010 SECOND INTERNATIONAL CONFERENCE ON E-LEARNING, E-BUSINESS, ENTERPRISE INFORMATION SYSTEMS, AND E-GOVERNMENT (EEEE 2010), VOL II | 2010年

关键词：

Software requirement; meta-framework; model; formalism;

D O I：

暂无

中图分类号：

F8 [财政、金融];

学科分类号：

0202 ;

摘要：

In order to modeling and verifying OWL-S ontology, the static parts of OWL-S are mapped to F-logic for semantic interoperability, and a formal modeling method of semantic OWL-S theory is proposed in this paper, while the global nature and framework of software requirements meta-model being indicated with F-logic formula. It can use model checking ways based on first-order logic to verify global natures of OWL-S service system.

引用

页码：31 / 35

页数：5

共 7 条

[1] de Bruijn J., P 14 INT C WORLD WID, DOI [10.1145/1060745.1060836, DOI 10.1145/1060745.1060836]
[2] GOLBECK J, 2003, P COOP INT AG 2003 H
[3] KATTENSTROTH H, 2007, INT WORKSH APPL LOG, V287, P60
[4] LOGICAL-FOUNDATIONS OF OBJECT-ORIENTED AND FRAME-BASED LANGUAGES
KIFER, M
LAUSEN, G
WU, J
[J]. JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1995, 42 (04): : 741 - 843
[5] KLYNE G, 2002, FRAMEWORK SECURITY T
[6] Moldt D, 2004, LECT NOTES COMPUT SC, V2984, P209
[7] *OWL S COAL, 2004, OWL S SEM MARK WEB S

← 1 →