An abductive approach for analysing event-based requirements specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2401 LNCS, Issue , 2002, Pages 22-37

  Russo, Alessandra ^a   Miller, Rob ^b   Nuseibeh, Bashar ^c   Kramer, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

^c OPEN UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER CONTROL; CRUISE CONTROL; LOGIC PROGRAMMING; SPECIFICATIONS; RECONFIGURABLE HARDWARE;

ABDUCTIVE LOGIC PROGRAMMING; ABDUCTIVE REASONING; EVENT CALCULUS; EVENT-BASED; REQUIREMENTS SPECIFICATIONS; SAFETY PROPERTY; SYSTEM DESCRIPTION;

COMPUTER CIRCUITS;

EID: 84888249003     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45619-8_3     Document Type: Conference Paper

References (28)

1. Alspaugh, T. et al. (1988). Software Requirements for the A-7E Aircraft. Naval Research Laboratory.
2. Anderson, R., et al. (1996). Model Checking Large Software Specifications. ACM Proc. of 4th Int. Symp. on the Foundation of Software Engineering. 34.
3. Atlee, J. M., and Gannon, J. (1993). State-Based Model Checking of Event-Driven System Requirements. IEEE Transaction on Software Engineering, 19(1): 24-40.
4. Bharadwaj, R., and Heitmeyer, C. (1997). Model Checking Complete Requirements Specifications Using Abstraction. Technical ReportN o. NRL-7999, NRL. 29, 34.
5. Bharadwaj, R., and Sims, S. (2000). Salsa: Combining Solvers with BDDs for Automated Invariant Checking. Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in CS, Springer. 35.
6. Clarke, M., and Wing, M. (1996). Formal Methods, State of the Art and Future Directions. ACM Computing Survey, 28(4): 626-643.
7. Easterbrook, S., and Callahan, J. (1997). Formal Methods for Verification and Validation of Partial Specifications. Journal of Systems and Software. 29.
8. Gilb, T., and Graham, D. (1993). Software Inspection. Addison-Wesley. 34.
9. Heitmeyer, C. L., Labaw, B., and Kiskis, D. (1995). Consistency Checking of SCRstyle Requirements Specifications. Proc. of 2nd Int. Symp. on Requirements Engineering, York, 27-29.
10. Heitmeyer, C. L., Jeffords, R. D., and Labaw, B. G. (1996). Automated Consistency Checking of Requirements Specifications. ACM Transaction of Software Engineering and Methodology, 5(3): 231-261.
11. Heitmeyer, C. L., et al. (1998). Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications. IEEE Transaction on Software Engineering, 24(11): 927-947.
12. Holzmann, G. J. (1997). The Model Checker SPIN. IEEE Transaction on Software Engineering, 23(5): 279-295.
13. Kakas, A. C., and Mancarella, P. (1990). Generalised Stable Models: A Semantics for Abduction. ECAI'90, Stockholm, pages 385-391.
14. Kakas, A. C., and Michael, A. (1995). Integrating Abductive and Constraint Logic Programming. Proc. of 12th Int. Conf. on Logic Programming, Tokyo. 25.
15. Kakas, A. C., and Miller, R. (1997). A Simple Declarative Language for Describing Narratives with Actions. Journal of Logic Programming, Special issue on Reasoning about Actions and Events, 31(1-3): 157-200.
16. Kakas, A. C., Kowalski, R. A., and Toni, F. (1998). The Role of Abduction in Logic Programming. In C. J. Hogger, J. A. Robinson D. M. Gabbay (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming (235-324). OUP.
17. Kowalski, R. A., and Sergot, M. J. (1986). A Logic-Based Calculus of Events. New Generation Computing, 4: 67-95.
18. Magee, J., and Kramer, J. (1999). Concurrency: State Models and Java Programs. John Wiley. 25.
19. McMillian, K. L. (1993). Symbolic Model Checking. Kluwer Academic. 34.
20. Menzies, T. (1996). Applications of Abduction: Knowledge Level Modeling. International Journal of Human Computer Studies. 23, 34.
21. Miller, R. (1997) Deductive and Abductive Planning in the Event Calculus. Poc. 2nd AISB Workshop on Practical Reasoning and Rationality, Manchester, U. K. 24.
22. Miller, R., and Shanahan, M. (1999). The Event Calculus in Classical Logic. Linkoping Electronic Articles in Computer and Information Science, 4(16). 23.
23. Miller, S. (1998). Specifying the mode logic of a Flitght Guidance System in CoRE and SCR. Proceedings of 2nd Workshop of Formal Methods in Software Practice. 29.
24. Owre, S., et al. (1995). Formal verification for fault-tolerant architecture: Prolegomena to the design of PVS. IEEE Transactions on S.E, 21(2): 107-125.
25. Parnas, D. L., and Madey, J. (1995). Functional Documentation for Computer Systems. Technical ReportN o. CRL 309, McMaster University. 29.
26. Russo, A., Miller, R., Nuseibeh, B., and Kramer, J. (2001). An Abductive Approach for Analysing Event-based Specifications. Technical Reportn o. 2001/7, Imperial College. 25, 27.
27. Satoh, K. (1998). Computing Minimal Revised Logical Specification by Abduction. Proc. of Int. Workshop on the Principles of Software Evolution, 177-182.
28. van Lamsweerde, A., Darimont, R., and Letier, E. (1998). Managing Conflicts in Goal-Driven Requirement Engineering. IEEE Transactions on S. E. 34, 35.