Notion of Semantics in Computer Science - A Systematic Literature Review

In this paper we report on a Systematic Literature Review where we explored the notion of semantics in Computer Science (CSE) literature. Our goal was 1) to surface how the idea of semantics has been used and represented, and 2) to surface its publication pattern in CSE. Our automated search in 5 CSE repositories yielded 653 relevant papers, emerging from multiple disciplines and geographies, spanning a period from year 1967 to 2017. We shortlisted 50 representative samples to study. This literature review was motivated by an external Web Accessibility effort in which we wanted to understand how to influence the various meanings that a variety of human end-user could derive by varying the computer rendering of a given content. The results of the SLR indicate that 44% of papers do have their own definition, almost all are formal in their presentation, and 94% of them have a notion of semantics that favors the computer as a processor. We observe the limited human oriented focus on semantics in CSE, and suggest such semantics focus as an area of potential study.

[1]  Philip J. Scott,et al.  From Geometry of Interaction to Denotational Semantics , 2005, CTCS.

[2]  Fernanda Campos,et al.  CelOWS: An ontology based framework for the provision of semantic web services related to biological models , 2010, J. Biomed. Informatics.

[3]  T. B. Dinesh,et al.  Overcoming the new accessibility challenges using the sweet framework , 2014, W4A.

[4]  Sabine Glesner.  A Proof Calculus for Natural Semantics Based on Greatest Fixed Point Semantics , 2005, Electron. Notes Theor. Comput. Sci..

[5]  Ralph Bergmann,et al.  Similarity assessment and efficient retrieval of semantic workflows , 2014, Inf. Syst..

[6]  Alexey L. Lastovetsky,et al.  An Algebraic Approach to Semantics of Programming Languages , 1994, Theor. Comput. Sci..

[7]  Carlo Strapparava,et al.  An Approach To Multilevel Semantics For Applied Systems , 1992, ANLP.

[8]  Badrish Chandramouli,et al.  Semantic Tuplespace , 2005, ICSOC.

[9]  Boualem Benatallah,et al.  Semantic Service Mediation , 2006, ICSOC.

[10]  Esperanza Marcos,et al.  Model-Driven Engineering as a new landscape for traceability management: A systematic literature review , 2012, Inf. Softw. Technol..

[11]  Simona Ronchi Della Rocca,et al.  Logical Semantics for Stability , 2009, MFPS.

[12]  Dov Dori,et al.  A semantic approach to approximate service retrieval , 2007, TOIT.

[13]  Nikolaos S. Papaspyrou.  Denotational semantics of ANSI C , 2001, Comput. Stand. Interfaces.

[14]  Stuart K. Card,et al.  The cost structure of sensemaking , 1993, INTERCHI.

[15]  Dragan Gašević,et al.  Adaptive hypermedia for the semantic web , 2006, APS '06.

[16]  Vahid Garousi,et al.  Web application testing: A systematic literature review , 2014, J. Syst. Softw..

[17]  Raymond T. Boute,et al.  Systems semantics: principles, applications, and implementation , 1988, TOPL.

[18]  Chris North,et al.  Semantic interaction for visual text analytics , 2012, CHI.

[19]  Robert M. Schwarcz.  Towards a Computational Formalization of Natural Language Semantics , 1969, COLING.

[20]  Simon Perdrix.  A Hierarchy of Quantum Semantics , 2008, Electron. Notes Theor. Comput. Sci..

[21]  Kewen Wang,et al.  Semantic forgetting in answer set programming , 2008, Artif. Intell..

[22]  Franz Puntigam.  Types for Active Objects Based on Trace Semantics , 1997 .

[23]  Dan R. Ghica,et al.  A System-Level Game Semantics , 2012, MFPS.

[24]  Jiaxun Chen,et al.  Semantic retrieval system based on ontology , 2006 .

[25]  Luis Carlos de Sousa Menezes.  Aspect-Oriented Action Semantics Descriptions , 2007, LSFA.

[26]  Howard A. Blair,et al.  The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language , 1982, Inf. Control..

[27]  Sushil Jajodia,et al.  A Semantic-Based Transaction Processing Model for Multilevel Transactions , 1998, J. Comput. Secur..

[28]  Michael G. Strintzis,et al.  Investigating fuzzy DLs-based reasoning in semantic image analysis , 2010, Multimedia Tools and Applications.

[29]  William H. Winsborough,et al.  Multiple Specialization using Minimal-Function Graph Semantics , 1992, J. Log. Program..

[30]  Fernanda Campos,et al.  Composer-Science: A semantic service based framework for workflow composition in e-Science projects , 2012, Inf. Sci..

[31]  Pearl Brereton,et al.  Performing systematic literature reviews in software engineering , 2006, ICSE.

[32]  Rafael Bidarra,et al.  Designing Semantic Game Worlds , 2012, PCG@FDG.

[33]  Jayadev Misra,et al.  A timed semantics of Orc , 2008, Theor. Comput. Sci..

[34]  Giuseppe Sansonetti,et al.  Social semantic query expansion , 2013, ACM Trans. Intell. Syst. Technol..

[35]  Brendan A. Juba,et al.  Universal semantic communication I , 2008, Electron. Colloquium Comput. Complex..

[36]  Philip T. Cox,et al.  Semantic comparison of structured visual dataflow programs , 2010, VINCI '10.

[37]  Pearl Brereton,et al.  Systematic literature reviews in software engineering - A systematic literature review , 2009, Inf. Softw. Technol..

[38]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

[39]  David E. Millard,et al.  Mind the semantic gap , 2005, HYPERTEXT '05.

[40]  Chitu Okoli,et al.  A Guide to Conducting a Systematic Literature Review of Information Systems Research , 2010 .

[41]  Amit P. Sheth,et al.  Semantic interoperability in global information systems , 1999, SGMD.

[42]  Jorge Lobo,et al.  Semantics of Horn and Disjunctive Logic Programs , 1991, Theoretical Computer Science.

[43]  Albert Benveniste,et al.  programmi language and its , 2001 .

[44]  Jim Woodcock,et al.  A "Hardware Compiler" Semantics for Handel-C , 2006, MFCSIT.

[45]  Barbara H. Partee,et al.  Anaphora and Semantic Structure , 2008 .

[46]  Pearl Brereton,et al.  Systematic literature review: teaching novices programming using robots , 2011, IET Softw..

[47]  Ivan Titov,et al.  A Bayesian Model for Unsupervised Semantic Parsing , 2011, ACL.

[48]  I. V. Vel'bitskiy.  Metalanguage for formal definition of semantics of programming languages , 1975, Methods of Algorithmic Language Implementation.

[49]  Johan van Benthem.  Guards, Bounds, and Generalized Semantics , 2005, J. Log. Lang. Inf..

[50]  Olaf Owe,et al.  An Open System Operational Semantics for an Object-Oriented and Component-Based Language , 2008, FACS.

[51]  Flemming M. Damm,et al.  An Approach to the Static Semantics of VDM-SL , 1991, VDM Europe.

[52]  Fabio Pittarello,et al.  Semantic description of 3D environments: a proposal based on web standards , 2006, Web3D '06.

[53]  Manfred Broy,et al.  On Denotational versus Predicative Semantics , 1991, J. Comput. Syst. Sci..

[54]  Yong Liu,et al.  Semantic modeling project: building vernacular house of southeast China , 2004, VRCAI.

[55]  Alexandre Sztajnberg,et al.  A Rewriting Semantics for a Software Architecture Description Language , 2005, Electron. Notes Theor. Comput. Sci..

[56]  Yan Zhang,et al.  A progression semantics for first-order logic programs , 2017, Artif. Intell..

[57]  Alessandro Lenci,et al.  Distributional Memory: A General Framework for Corpus-Based Semantics , 2010, CL.

[58]  Tore Dybå,et al.  Evidence-based software engineering , 2016, Perspectives on Data Science for Software Engineering.

[59]  V. S. Vykhovanets,et al.  Description of the semantics of context-free languages by the mathematical induction method , 2008, Automatic Documentation and Mathematical Linguistics.

[60]  Gollapudi V. R. J. Sai Prasad.  Renarrating Web Content to Increase Web Accessibility , 2017, ICEGOV.

[61]  Jorge Lobo,et al.  Modal logics for knowledge representation systems , 1991 .

[62]  Alexander Bochman.  A Logical Foundation for Logic Programming II: Semantics of General Logic Programs , 1998, J. Log. Program..