Title: Formal Modelling, Knowledge Representation and Reasoning for Design and Development of User-centric Pervasive Software: A Meta-review
Authors: Soylu, Ahmet ×
De Causmaecker, Patrick
Preuveneers, Davy
Berbers, Yolande
Desmet, Piet #
Issue Date: 2011
Publisher: Inderscience Publishers
Series Title: International Journal of Metadata, Semantics and Ontologies vol:6 issue:2 pages:96-125
Abstract: Increasing demand for large scale and highly complex systems and applications, particularly with the emergence of pervasive computing and the impact of adaptive systems, introduces significant challenges for software development, as well as for user-machine interaction. Therefore, a perspective shift on software development and user-machine interaction is required. An amalgamation of model driven development and ontologies has been envisaged as a promising direction in recent literature. In this paper, we investigate this merged approach and conclude that a merger of both approaches, from formal modelling and knowledge representation perspective, on the one hand enables use of ontologies at run-time together with rules, prominently in terms of run-time reasoning, dynamic adaptations, software intelligibility, self-expressiveness, user involvement, and user situation awareness; and on the other hand at development time, prominently in terms of automated and incremental code generation, requirement adaptability, preservation of application knowledge, and validation and verification of structural and behavioural properties of the software. The core contribution of this paper lies in providing an elaborate and exploratory discussion of the problem and solution spaces along with a multidisciplinary meta-review and identification of complementary efforts in literature required to realise a merged approach.
ISSN: 1744-2621
VABB publication type: VABB-1
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Computer Science, Campus Kulak Kortrijk
Informatics Section
Faculty of Arts, Campus Kulak Kortrijk
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
IJMSO_6(2)_Soylu_et_al.pdfMain article Published 1273KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.