NDLI: Monitoring and diagnosing software requirements

Content Provider	Springer Nature Link
Author	Wang, Yiqiao McIlraith, Sheila A. Yu, Yijun Mylopoulos, John
Copyright Year	2008
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.
Starting Page	3
Ending Page	35
Page Count	33
File Format	PDF
ISSN	09288910
Journal	Automated Software Engineering
Volume Number	16
Issue Number	1
e-ISSN	15737535
Language	English
Publisher	Springer US
Publisher Date	2008-11-06
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Requirement monitoring Diagnostics Software Engineering/Programming and Operating Systems Artificial Intelligence (incl. Robotics)
Content Type	Text
Resource Type	Article
Subject	Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Overlaps in Requirements Engineering

Requirements and Specification Exemplars

Formal Specifications of User Requirements

Lightweight Formalisation in Support of Requirements Engineering

Finding robust solutions in requirements models

Checking several requirements at once by CEGAR

Model Checking Complete Requirements Specifications Using Abstraction

Debugging and Monitoring Distributed Heterogeneous Systems

Functional Active Monitoring System FLAME

Monitoring and diagnosing software requirements

Similar Documents

Overlaps in Requirements Engineering

Requirements and Specification Exemplars

Formal Specifications of User Requirements

Lightweight Formalisation in Support of Requirements Engineering

Finding robust solutions in requirements models

Checking several requirements at once by CEGAR

Model Checking Complete Requirements Specifications Using Abstraction

Debugging and Monitoring Distributed Heterogeneous Systems

Functional Active Monitoring System FLAME

Monitoring and diagnosing software requirements