Abstract
We discuss – on the basis of a theory of components, architectures, refinement, and interfaces – object orientation with its notions of objects and classes aiming at interfaces of classes and of components as well as their specification. We define and analyze, in particular, concepts of components and interfaces for object oriented software systems and their architecture. We discuss “design by contract” as well as “specification by contract” and analyze their limitations. We discuss how to model interfaces. We treat a formal definition of class composition and analyze semantic complications. We outline, in particular, how we can extend concepts from object orientation towards components and more sophisticated ways to handle interfaces. Our approach is based on the notion of states, state assertions, and state machines.
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
de Alfaro, L., Henzinger, T.A.: Interface-Based Design. In: Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School. Kluwer, Dordrecht (2004)
Broy, M., Hofmann, C., Krüger, I., Schmidt, M.: A Graphical Description Technique for Communication in Software Architectures. In: Joint 1997 Asia Pacific Software Engineering Conference and International Computer Science Conference (APSEC 1997/ ICSC 1997) (1997)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)
Herzberg, D., Broy, M.: Modelling Layered Distributed Communication Systems (to appear)
Jacobsen, H.-A., Krämer, B.J.: Modeling Interface Definition Language Extensions. In: TOOLS Pacific 2000, Sydney, pp. 242–252 (November 2000)
Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: Proceedings of DIPES 1998. Kluwer, Dordrecht (1999)
Meyer, B.: Object-oriented Software Construction. Prentice Hall, Englewood Cliffs (1988)
Parnas, D.: On the criteria to be used to decompose systems into modules. Comm. ACM 15, 1053–1058 (1972)
Müller, P., Poetzsch-Heffter, A.: Modular Specification and Verification Techniques for Object-Oriented Software Components. In: Leavens, G.T., Sitaraman, M. (eds.) Foundations of Component-Based Systems. Cambridge University Press, Cambridge (2000)
Nierstrasz, O.: Regular Types for Active Objects. In: OOPSLA 1993, pp. 1–15 (1993)
Poetzsch-Heffter, A.: Specification and Verification of Object-Oriented Programs. Habilitation thesis, Technical University of Munich (1997)
Reussner, R.H., Schmidt, H.W., Poernomo, I.: Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software – Special Issue of Software Architecture - Engineering Quality Attributes 3(66), 241–252 (2003)
Selic, B., Gullekson, G., Ward, P.T.: Real-time Object oriented Modeling. Wiley, New York (1994)
Spivey, M.: Understanding Z - A Specification Language and Its Formal Semantics. Cambridge Tracts in Theoretical Computer Science, vol. 3. Cambridge University Press, Cambridge (1988)
Wegner, P., Zdonik, S.B.: Inheritance as an Incremental Modification Mechanism or What like Is and Isn’t like. In: Gjessing, S., Nygaard, K. (eds.) ECOOP 1988. LNCS, vol. 322, pp. 55–77. Springer, Heidelberg (1988)
Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software Cooperation
Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292–333 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broy, M. (2006). A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation. In: Reussner, R.H., Stafford, J.A., Szyperski, C.A. (eds) Architecting Systems with Trustworthy Components. Lecture Notes in Computer Science, vol 3938. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11786160_2
Download citation
DOI: https://doi.org/10.1007/11786160_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35800-8
Online ISBN: 978-3-540-35833-6
eBook Packages: Computer ScienceComputer Science (R0)