TY - JOUR
T1 - A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering
AU - Krämer, Bernd J.
AU - Margaria, Tiziana
N1 - Publisher Copyright:
© 2009 World Scientific Publishing Company.
PY - 2009/3/1
Y1 - 2009/3/1
N2 - New research activities sailing under the brands of semantic web, semantic web service, and semantic computing have extended, and partly also confused the classical meaning of the term semantics as the software engineering community established it in the last century. In this article we try to shed some light on the different connotations of meaning with this word. We reflect on the role of semantic definitions and formally defined specifications, modeling and programming languages in software engineering activities. We sketch formally defined construction and validation methods, and discuss contributions of tools that exploit semantic information to enhance the quality of software products and development processes. We explore recent work on the use of semantic computing technology in software engineering and discuss opportunities for successful future applications. We conclude with an outlook on the potential of service-oriented computing to change the way software applications are designed, laid out, delivered, and used.
AB - New research activities sailing under the brands of semantic web, semantic web service, and semantic computing have extended, and partly also confused the classical meaning of the term semantics as the software engineering community established it in the last century. In this article we try to shed some light on the different connotations of meaning with this word. We reflect on the role of semantic definitions and formally defined specifications, modeling and programming languages in software engineering activities. We sketch formally defined construction and validation methods, and discuss contributions of tools that exploit semantic information to enhance the quality of software products and development processes. We explore recent work on the use of semantic computing technology in software engineering and discuss opportunities for successful future applications. We conclude with an outlook on the potential of service-oriented computing to change the way software applications are designed, laid out, delivered, and used.
KW - formal methods
KW - semantic computing in software engineering
KW - Semantics in software engineering
UR - http://www.scopus.com/inward/record.url?scp=85073063006&partnerID=8YFLogxK
U2 - 10.1142/S1793351X09000641
DO - 10.1142/S1793351X09000641
M3 - Article
AN - SCOPUS:85073063006
SN - 1793-351X
VL - 3
SP - 5
EP - 30
JO - International Journal of Semantic Computing
JF - International Journal of Semantic Computing
IS - 1
ER -