A core theory of interfaces and architecture and its impact on object orientation

Manfred Broy

doi:10.1007/11786160_2

A core theory of interfaces and architecture and its impact on object orientation

Manfred Broy

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

6 Scopus citations

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.

Original language	English
Title of host publication	Architecting Systems with Trustworthy Components - International Seminar, Revised Selected Papers
Publisher	Springer Verlag
Pages	26-47
Number of pages	22
ISBN (Print)	3540358005, 9783540358008
DOIs	https://doi.org/10.1007/11786160_2
State	Published - 2006
Event	International Seminar on Architecting Systems with Trustworthy Components - Dagstuhl Castle, Germany Duration: 12 Dec 2004 → 17 Dec 2004

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3938 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Seminar on Architecting Systems with Trustworthy Components
Country/Territory	Germany
City	Dagstuhl Castle
Period	12/12/04 → 17/12/04

Access to Document

10.1007/11786160_2

Cite this

Broy, M. (2006). A core theory of interfaces and architecture and its impact on object orientation. In Architecting Systems with Trustworthy Components - International Seminar, Revised Selected Papers (pp. 26-47). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3938 LNCS). Springer Verlag. https://doi.org/10.1007/11786160_2

@inproceedings{96fcce243baf4eb4a1ad8990b7c862d6,

title = "A core theory of interfaces and architecture and its impact on object orientation",

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.",

author = "Manfred Broy",

year = "2006",

doi = "10.1007/11786160_2",

language = "English",

isbn = "3540358005",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "26--47",

booktitle = "Architecting Systems with Trustworthy Components - International Seminar, Revised Selected Papers",

note = "International Seminar on Architecting Systems with Trustworthy Components ; Conference date: 12-12-2004 Through 17-12-2004",

}

Broy, M 2006, A core theory of interfaces and architecture and its impact on object orientation. in Architecting Systems with Trustworthy Components - International Seminar, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3938 LNCS, Springer Verlag, pp. 26-47, International Seminar on Architecting Systems with Trustworthy Components, Dagstuhl Castle, Germany, 12/12/04. https://doi.org/10.1007/11786160_2

A core theory of interfaces and architecture and its impact on object orientation. / Broy, Manfred.
Architecting Systems with Trustworthy Components - International Seminar, Revised Selected Papers. Springer Verlag, 2006. p. 26-47 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3938 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A core theory of interfaces and architecture and its impact on object orientation

AU - Broy, Manfred

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33746077704&partnerID=8YFLogxK

U2 - 10.1007/11786160_2

DO - 10.1007/11786160_2

M3 - Conference contribution

AN - SCOPUS:33746077704

SN - 3540358005

SN - 9783540358008

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

SP - 26

EP - 47

BT - Architecting Systems with Trustworthy Components - International Seminar, Revised Selected Papers

PB - Springer Verlag

T2 - International Seminar on Architecting Systems with Trustworthy Components

Y2 - 12 December 2004 through 17 December 2004

ER -

Broy M. A core theory of interfaces and architecture and its impact on object orientation. In Architecting Systems with Trustworthy Components - International Seminar, Revised Selected Papers. Springer Verlag. 2006. p. 26-47. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/11786160_2

A core theory of interfaces and architecture and its impact on object orientation

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this