Ontology Driven Software Engineering: A Review of Challenges and Opportunities

被引:13
作者
Isotani, S. [1 ]
Bittencourt, I. I. [2 ]
Barbosa, E. F. [1 ]
Dermeval, D. [3 ]
Paiva, R. O. A. [4 ]
机构
[1] Univ Sao Paulo, ICMC, BR-09500900 Sao Paulo, Brazil
[2] Univ Fed Alagoas UFAL, Maceio, Alagoas, Brazil
[3] Univ Fed Campina Grande, Campina Grande, Paraiba, Brazil
[4] Univ Fed Campina Grande, Ciencia Comp, Campina Grande, Paraiba, Brazil
关键词
Ontology; Semantic Web; Software Engineering; WEB;
D O I
10.1109/TLA.2015.7069116
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Ontologies are formal representations of knowledge about a given domain. Based on them, it is possible to create more expressive knowledge bases that can be shared, extended and reused in different scenarios. In software engineering, ontologies can contribute in many different ways to improve the models, methods, techniques and processes of software development. Nevertheless, the use and benefits of ontologies and Semantic Web technologies in Software Engineering is spread across several articles and books available in the literature. In this context, this paper aims at compiling and presenting the research findings and potential benefits when applying ontologies to address three major challenges in software engineering: (1) difficulty in communicating and sharing information; (2) effective management of software development phases; and (3) development techniques and environments to support the production of semantic software through an interdisciplinary approach. We believe that the review of the literature and discussions presented in this work can contribute to disseminate best practices of using ontologies in software development as well as to give directions about this field of research, its challenges and opportunities.
引用
收藏
页码:863 / 869
页数:7
相关论文
共 49 条
[1]  
[Anonymous], 2013, SPARQL 11 OVERVIEW
[2]  
[Anonymous], 1998, REQUIREMENTS ENG PRO
[3]  
[Anonymous], 2010, GLOBAL J RES ENG
[4]  
[Anonymous], 2014, RESOURCE DESCRIPTION
[5]   Proving invariants of I/O automata with TAME [J].
Archer M. ;
Heitmeyer C. ;
Riccobene E. .
Automated Software Engineering, 2002, 9 (03) :201-232
[6]   A Flexible Infrastructure for Multilevel Language Engineering [J].
Atkinson, Colin ;
Gutheil, Matthias ;
Kennel, Bastian .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2009, 35 (06) :742-755
[7]   Intelligent systems and formal methods in software engineering [J].
Beckert, Bernhard ;
Hoare, Tony ;
Hahnle, Reiner ;
Smith, Douglas R. ;
Green, Cordell ;
Ranise, Silvio ;
Tinelli, Cesare ;
Ball, Thomas ;
Rajamani, Sriram K. .
IEEE INTELLIGENT SYSTEMS, 2006, 21 (06) :71-81
[8]   7 MORE MYTHS OF FORMAL METHODS [J].
BOWEN, JP ;
HINCHEY, MG .
IEEE SOFTWARE, 1995, 12 (04) :34-41
[9]  
Cardoso J., 2008, SEMANTIC WEB REAL WO
[10]  
Cesare S., 2009, P 24 ACM SIGPLAN C C, P723