Document Type
Article
Publication Date
6-2014
Publication Title
International Journal of Software Engineering and Knowledge Engineering
Volume
24
Abstract
In this paper, we present a logical framework to facilitate users in assessing a software system in terms of the required survivability features. Survivability evaluation is essential in linking foreign software components to an existing system or obtaining software systems from external sources. It is important to make sure that any foreign components/systems will not compromise the current system’s survivability properties. Given the increasing large scope and complexity of modern software systems, there is a need for an evaluation framework to accommodate uncertain, vague, or even ill-known knowledge for a robust evaluation based on multi-dimensional criteria. Our framework incorporates user-defined constrains on survivability requirements. Necessity-based possibilistic uncertainty and user survivability requirement constraints are effectively linked to logic reasoning. A proof-of-concept system has been developed to validate the proposed approach. To our best knowledge, our work is the first attempt to incorporate vague, imprecise information into software system survivability evaluation.
Issue
5
First Page
777
Last Page
800
DOI
10.1142/S0218194014500302
ISSN
1793-6403
Rights
Electronic version of an article published in International Journal of Software Engineering and Knowledge Engineering, 24(5), 777-800. https://doi.org/10.1142/S0218194014500302 © Copyright World Scientific Publishing Company: https://www.worldscientific.com/worldscinet/ijseke
Recommended Citation
Yanjun Zuo. "A Constrained, Possibilistic Logical Approach for Software System Survivability Evaluation" (2014). Accountancy Faculty Publications. 1.
https://commons.und.edu/acc-fac/1