Monitoring and diagnosing software requirements

Authors:
Yiqiao Wang;Sheila A. Mcilraith;Yijun Yu;John Mylopoulos
Affiliations:
Department of Computer Science, University of Toronto, Toronto, Canada;Department of Computer Science, University of Toronto, Toronto, Canada;Computing Department, Faculty of Maths & Computing, The Open Univ., Milton Keynes, UK;Department of Computer Science, University of Toronto, Toronto, Canada
Venue:
Automated Software Engineering
Year:
2009

Citing 18
Cited 12

A theory of diagnosis from first principles

Artificial Intelligence
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Characterizing diagnoses and systems

Artificial Intelligence
Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Handling Obstacles in Goal-Oriented Requirements Engineering

IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A machine program for theorem-proving

Communications of the ACM
Chaff: engineering an efficient SAT solver

Proceedings of the 38th annual Design Automation Conference
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach

IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
History-based diagnosis templates in the framework of the situation calculus

AI Communications - Special issue on KI-2001
The Vision of Autonomic Computing

Computer
Reasoning with Goal Models

ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Requirements monitoring in dynamic environments

RE '95 Proceedings of the Second IEEE International Symposium on Requirements Engineering
Reconciling System Requirements and Runtime Behavior

IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
BerkMin: A Fast and Robust Sat-Solver

Proceedings of the conference on Design, automation and test in Europe
Implementing Rule-Based Monitors within a Framework for Continuous Requirements Monitoring

HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences - Volume 07
Reverse Engineering Goal Models from Legacy Code

RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
An Automated Approach for Goal-driven, Specification-based Testing

ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
An automated approach to monitoring and diagnosing requirements

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering

Monitoring and Diagnosing Malicious Attacks with Autonomic Software

ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
On the role of the user in monitoring the environment in self-adaptive systems: a position paper

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Live goals for adaptive service compositions

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Requirements reflection: requirements as runtime entities

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Diagnosing software using statecharts

Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
Adaptation of web services based on QoS satisfaction

ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Specifying and detecting meaningful changes in programs

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Requirements monitoring for adaptive service-based applications

REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
Requirements-Driven root cause analysis using markov logic networks

CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Analysing monitoring and switching problems for adaptive systems

Journal of Systems and Software
Self-tuning of software systems through dynamic quality tradeoff and value-based feedback control loop

Journal of Systems and Software
Deontic Logic Based Ontology Alignment Technique for E-Learning

International Journal of Intelligent Information Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a framework adapted from Artificial Intelligence theories of action and diagnosis for monitoring and diagnosing failures of software requirements. Software requirements are specified using goal models where they are associated with preconditions and postconditions. The monitoring component generates log data that contains the truth values of specified pre/post-conditions, as well as system action executions. Such data can be generated at different levels of granularity, depending on diagnostic feedback. The diagnostic component diagnoses the denial of requirements using the log data, and identifies problematic components. To support diagnostic reasoning, we transform the diagnostic problem into a propositional satisfiability (SAT) problem that can be solved by existing SAT solvers. The framework returns sound and complete diagnoses accounting for observed aberrant system behaviors. Our solution is illustrated with two medium-sized publicly available case studies: a Web-based email client and an ATM simulation. Our experimental results demonstrate the scalability of our approach.