Formal specification of OWL-S with Object-Z: The dynamic aspect

被引：0
|
作者：
Wang, Hai H. [1 ]
Payne, Terry [1 ]
Gibbins, Nick [1 ]
Saleh, Ahmed [1 ]
机构：
[1] Univ Southampton, Southampton SO17 1BJ, Hants, England
来源：
WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007, PROCEEDINGS | 2007年 / 4831卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
OWL-S, one of the most significant Semantic Web Service ontologies proposed to date, provides Web Service providers with a core ontological framework and guidelines for describing the properties and capabilities of their Web Services in unambiguous, computer-interpretable form. To support standardization and tool support of OWL-S, a formal semantics of the language is highly desirable. In this paper, we present a formal Object-Z semantics of OWL-S. Different aspects of the language have been precisely defined within one unified framework. This model not only provides a formal unambiguous model which can be used to develop tools and facilitate future development, but as demonstrated in the paper, can be used to identify and eliminate errors in the current documentation.
引用
收藏
页码：237 / 248
页数：12
相关论文
共 43 条
  • [1] Formal specification of OWL-S with Object-Z: the static aspect
    Wang, Hai H.
    Saleh, Ahmed
    Payne, Terry
    Gibbins, Nick
    [J]. PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE: WI 2007, 2007, : 431 - 434
  • [2] An Instance to Extend Object-Z Formal Specification
    Hou, Xiaomao
    Ma, Ling
    Wen, Zhicheng
    [J]. ADVANCES IN MECHATRONICS, AUTOMATION AND APPLIED INFORMATION TECHNOLOGIES, PTS 1 AND 2, 2014, 846-847 : 1500 - 1504
  • [3] Formal specification of CORBA services using Object-Z
    Kreuz, D
    [J]. SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 180 - 189
  • [4] A Formal Requirement Specification Method Based On Object-Z
    Xia, Jianxun
    Xia, Liping
    [J]. PROCEEDINGS OF 2010 ASIA-PACIFIC YOUTH CONFERENCE ON COMMUNICATION, VOLS 1 AND 2, 2010, : 209 - +
  • [5] Reasoning about Object-Z formal specification with LTLC
    Huang, Haijun
    Wen, Zhicheng
    [J]. 2018 INTERNATIONAL SEMINAR ON COMPUTER SCIENCE AND ENGINEERING TECHNOLOGY (SCSET 2018), 2019, 1176
  • [6] Extending Object-Z formal specification with Real-Time
    Wen, Zhicheng
    Chen, Zhigang
    [J]. INFORMATION TECHNOLOGY APPLICATIONS IN INDUSTRY, PTS 1-4, 2013, 263-266 : 1642 - 1646
  • [7] Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
    Gruer, JP
    Hilaire, V
    Koukam, A
    Rovarini, P
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2004, 70 (1-2) : 95 - 105
  • [8] Checking the consistency of Object-Z formal specification based on theorem proof
    Wan, Weiqing
    Yu, Yongqing
    Zeng, Qingyan
    Wen, Zhicheng
    [J]. JOURNAL OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING, 2020, 20 (01) : 217 - 226
  • [9] A Rewriting Logic Approach to OWL-S Composite Process Formal Specification
    Wu, JunFeng
    Miao, HuaiKou
    [J]. 2008 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE, VOLS 1-3, PROCEEDINGS, 2008, : 343 - 348
  • [10] Abstract specification in object-Z and CSP
    Smith, G
    Derrick, J
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 108 - 119
12345