SPECTRA: A Markovian Framework for Managing NFR Tradeoffs in Systems with Mixed Observability

Ignatius, Hargyo T N; Bahsoon, Rami; Bencomo, Nelly; Samin, Huma

Abstract

Non-Functional Requirements (NFRs) play a critical role in driving self-adaptation in software systems. In Self-Adaptive Systems (SAS), satisfying multiple NFRs simultaneously introduces significant complexity, as these requirements often conflict-improving one NFR can negatively impact others. Addressing such trade-offs becomes even more challenging due to the varying degrees of observability of NFRs, with some being fully observable and others only partially observable. Traditional approaches to SAS decision-making, such as those based on Markov Decision Processes (MDPs), often assume homogeneous observability, which limits their ability to address these challenges effectively. We argue that treating NFRs as having mixed observability-where some are fully observable and others are partially observable enables more effective decision-making. How can self-adaptive systems model and resolve trade-offs among NFRs with mixed observability to achieve better outcomes? This paper introduces SPECTRA, a multi-objective decision framework based on MDPs. SPECTRA addresses trade-offs among NFRs by leveraging a multi-objective Mixed Observability Markov Decision Process (MOMDP), which models and handles the varying observability of NFRs effectively. The approach is evaluated using scenarios from MirrorNet, a realistic Remote Data Mirroring (RDM) system utilizing Software-Defined Networking (SDN). Results show that SPECTRA achieves higher utility values, faster policy planning, and more effective trade-offs compared to existing approaches.

Citation

Ignatius, H. T. N., Bahsoon, R., Bencomo, N., & Samin, H. (online). SPECTRA: A Markovian Framework for Managing NFR Tradeoffs in Systems with Mixed Observability. ACM Transactions on Autonomous and Adaptive Systems, https://doi.org/10.1145/3735643

• Journal Article Type: Article
• Acceptance Date: Apr 15, 2025
• Online Publication Date: May 14, 2025
• Deposit Date: May 10, 2025
• Publicly Available Date: May 12, 2025
• Journal: ACM Transactions on Autonomous and Adaptive Systems (TAAS)
• Print ISSN: 1556-4665
• Electronic ISSN: 1556-4703
• Publisher: Association for Computing Machinery (ACM)
• Peer Reviewed: Peer Reviewed
• DOI: https://doi.org/10.1145/3735643
• Keywords: CCS Concepts: • Software and its engineering; • Computing methodologies → Control methods; Additional Key Words and Phrases: vector reward, mixed observability, Markov decision process, priorities, non-functional requirements, self-adaptive systems
• Public URL: https://durham-repository.worktribe.com/output/3945030