Abstract
A necessary condition for ensuring robustness and safety in reactive systems is to ensure that system specification is complete with respect to the initial requirements. In this paper, we introduce the notion of totality for requirements and formalise the notion of completeness of system specification with respect to requirements. The paper illustrates a method for checking completeness using disjunctive logic programs.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Atlee J, Gannon J. State-based model checking of event-driven system requirements. Software Engineering Notes December 1991
Allen JF. Towards a general theory of action and time. Artificial Intelligence. 23, 1984.
Coleman D, Hayes F, Bear S. Introducing objectcharts or how to use statecharts on object-oriented design. IEEE Trans Soft Engg January 1992
Harel D. Statecharts: a visual formalism for complex systems. Science of Computer Programming. 8, 1987.
Jaffe MS, Leveson NG, Heimdhal MPE, Melhart BE. Software requirements analysis for real-time process-control systems. IEEE Trans Soft Engg. 3, 1991.
Leveson NG, Heimdhal M, Hildreth H, Reese J, Ortega R. Experiences using statecharts for a system requirement specification. In: Proc Sixth Int’l Workshop on Software Specification and Design, 1991
Melhart BE, Leveson NG, Jaffe MS. Analysis capabilities for requirements specified in statecharts. In: Proc Fifth Int’l Workshop on Software Specification and Design, 1989.
Ostroff JS. A verifier for real-time properties. Journal of Real-Time Systems. 4, 1992.
Pnueli A. Application of temporal logic to specification and verification of reactive systems: a survey of current trends. In: de Roever WP, de Bakker JW, Rozenberg G (eds) Current trends in concurrency. Springer-Verlag, 1986 ( Lecture notes in computer science no 224 )
Pnueli A. Specification and development of reactive systems. In: Information processing. Elsevier Science Publishers, 1986
Przymusinski TC. On the declarative semantics of deductive databases and logic programming. In: Minker J (ed) Foundations of deductive databases and logic programming. Morgan-Kaufmann, 1988
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Alagar, V.S., Dong, F., Achuthan, R. (1994). Completeness in Statechart Models for Reactive Systems. In: Alagar, V.S., Bergler, S., Dong, F.Q. (eds) Incompleteness and Uncertainty in Information Systems. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3242-4_9
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3242-4_9
Publisher Name: Springer, London
Print ISBN: 978-3-540-19897-0
Online ISBN: 978-1-4471-3242-4
eBook Packages: Springer Book Archive