A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation

  • Manfred Broy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3938)


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.


State Machine Method Call Object Orientation Interface Specification State Transition Diagram 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Broy, M., Stølen, K.: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, Heidelberg (2001)CrossRefMATHGoogle Scholar
  4. 4.
    Herzberg, D., Broy, M.: Modelling Layered Distributed Communication Systems (to appear)Google Scholar
  5. 5.
    Jacobsen, H.-A., Krämer, B.J.: Modeling Interface Definition Language Extensions. In: TOOLS Pacific 2000, Sydney, pp. 242–252 (November 2000)Google Scholar
  6. 6.
    Krüger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to statecharts. In: Proceedings of DIPES 1998. Kluwer, Dordrecht (1999)Google Scholar
  7. 7.
    Meyer, B.: Object-oriented Software Construction. Prentice Hall, Englewood Cliffs (1988)MATHGoogle Scholar
  8. 8.
    Parnas, D.: On the criteria to be used to decompose systems into modules. Comm. ACM 15, 1053–1058 (1972)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Nierstrasz, O.: Regular Types for Active Objects. In: OOPSLA 1993, pp. 1–15 (1993)Google Scholar
  11. 11.
    Poetzsch-Heffter, A.: Specification and Verification of Object-Oriented Programs. Habilitation thesis, Technical University of Munich (1997)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    Selic, B., Gullekson, G., Ward, P.T.: Real-time Object oriented Modeling. Wiley, New York (1994)MATHGoogle Scholar
  14. 14.
    Spivey, M.: Understanding Z - A Specification Language and Its Formal Semantics. Cambridge Tracts in Theoretical Computer Science, vol. 3. Cambridge University Press, Cambridge (1988)MATHGoogle Scholar
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language for Object-Oriented Development, Version 1.0, RATIONAL Software CooperationGoogle Scholar
  17. 17.
    Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst. 19(2), 292–333 (1997)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Personalised recommendations