Enhanced Semantic Access to Formal Software Models

被引：0
作者：
Wang, Hai H. [1 ]
Damljanovic, Danica [2 ]
Sun, Jing [3 ]
机构：
[1] Aston Univ, Sch Engn & Appl Sci, Birmingham B4 7ET, W Midlands, England
[2] Univ Sheffield, Dept Comp Sci, Sheffield S10 2TN, S Yorkshire, England
[3] Univ Auckland, Dept Comp Sci, Auckland 1, New Zealand
来源：
FORMAL METHODS AND SOFTWARE ENGINEERING | 2010年 / 6447卷
关键词：
Semantic Web; OWL; Formal Methods; Z/Object-Z;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. In this paper, a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them.
引用
收藏
页码：237 / +
页数：3
相关论文
共 20 条
  • [1] AMARDEILH F, 2009, D122 TAO PROJ
  • [2] Bechhofer S., 2004, W3C recommendation
  • [3] BONTCHEVA K, 2007, D31 TAO PROJ
  • [4] Bowen JP, 1998, LECT NOTES COMPUT SC, V1493, P66, DOI 10.1007/BFb0056026
  • [5] Brickley D., 2004, RESOURCE DESCRIPTION
  • [6] Ciancarini P, 1998, LECT NOTES COMPUT SC, V1493, P81, DOI 10.1007/BFb0056027
  • [7] DONG JS, 2002, LNCS, V2391, P587
  • [8] DUKE R, 2000, CORNERSTONES COMPUTI
  • [9] FUTATSUGI K, 1997, IEEE INT C FORM ENG, P170
  • [10] GREAR M, 2008, D222 TAO PROJ
12