Abstract
The correctness of a component-based software system depends on the component client’s ability to reason about the behavior of the components that comprise the system, both in isolation and as composed. The soundness of such reasoning is dubious given the current state of the practice. Soundness is especially troublesome for component technologies where source code for some components is inherently unavailable to the client. Fortunately, there is a simple, understandable, teachable, practical, and provably sound and relatively complete reasoning system for component-based software systems that addresses the reasoning problem.
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.
Similar content being viewed by others
References
Aronszajn, M., Sitaraman, M., Atkinson, S., Kulczyski, G.: A System for Predictable Component-Based Software Construction. In: Winter, V., Bhattacharya, S. (eds.) High, Integrity Software. Kluwer Academic Publishers, Dordrecht (2000)
Booch, G.: Software Components With Ada. Benjamin/Cummings, Menlo Park (1987)
de Champeaux, D., Lea, D., Faure, P.: Object-Oriented System Development. Addison-Wesley, Reading (1993)
Fleming, D.: Foundations of Object-Based Specification Design. Ph.D. diss., West Virginia University, Dept. Comp. Sci. and Elec. Eng. (1997)
Freedman, D.P., Weinberg, C.: Handbook of Walkthroughs, Inspections, and Technical Reviews: Evaluating Programs, Projects, and Products, 3rd edn. Dorset House, New York (1990)
Harms, D.E., Weide, B.W.: Copying and Swapping: Influences on the Design of Reusable Software Components. IEEE Trans, on Soft. Eng. 17(5), 424–435 (1991)
Heym, W.D.: Computer Program Verification: Improvements for Human Reasoning. Ph.D. diss., The Ohio State Univ., Dept. of Comp. and Inf. Sci. (1995)
Knuth, D.: "Knuth Comments on Code: An Interview with D. Andrews," Byte (September 1996), http://www.byte.com/art/9609/sec3/artl9.htm (current October 11, 1999)
Leavens, G.T., Cheon, Y.: Extending CORBA IDL to specify behavior with Larch. In: OOPSLA 1993 Workshop Proc: Specification of Behavioral Semantics in OO Info. Modeling, pp. 77–80. ACM, New York (1993); also TR #93-20, Dept. of Comp. Sci., Iowa State Univ. (1993)
Orfali, R., Harkey, D., Edwards, J.: The Essential Distributed Objects Survival Guide. J. Wiley, New York (1996)
Owre, S., Rushby, J., Shankar, N., von Henke, F.: Formal Verification of Fault-Tolerant Architectures: Prolegomena to the Design of PVS. IEEE Trans, on, Soft. Eng. 21(2), 107–125 (1995)
Sitaraman, M.: An Introduction to Software Engineering Using Properly Conceptualized Objects. WVU Publications, Morgantown (1997)
Sitaraman, M., Weide, B.W. (ed.): Component-Based Software Using RESOLVE. ACM Software Eng. Notes 19(4), 21–67 (1994)
van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science. Algorithms and Complexity, vol. A. Elsevier Science Publishers, Amsterdam (1990)
Weide, B.W., Hollingsworth, J.E., Heym, W.D.: Reverse Engineering of Legacy Code Exposed. In: Proc. 17th Intl. Conf. on Software Eng., pp. 327–331. ACM, New York (1995)
Weide, B.W., Edwards, S.H., Heym, W.D., Long, T.J., Ogden, W.F.: Characterizing Observability and Controllability of Software Components. In: Proc. 4th Intl. Conf. on Software Reuse, pp. 62–71. IEEE CS Press, Los Alamitos (1996)
Weide, B.W.: Software Component Engineering, OSU Reprographics, Columbus, OH (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sitaraman, M. et al. (2000). Reasoning about Software-Component Behavior. In: Frakes, W.B. (eds) Software Reuse: Advances in Software Reusability. ICSR 2000. Lecture Notes in Computer Science, vol 1844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-44995-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-44995-9_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67696-6
Online ISBN: 978-3-540-44995-9
eBook Packages: Springer Book Archive