The DOI matches its Crossref record.
Using object-oriented typing to support architectural design in the C2 style
Abstract
Software architectures enable large-scale software development. Component reuse and substitutability, two key aspects of large-scale development, must be planned for during software design. Object-oriented (OO) type theory supports reuse by structuring inter-component relationships and verifying those relationships through type checking in an architecture definition language (ADL). In this paper, we identify the issues and discuss the ramifications of applying OO type theory to the C2 architectural style. This work stems from a series of experiments that were conducted to investigate component reuse and substitutability in C2. We also discuss the limits of applicability of OO typing to C2 and how we addressed them in the C2 ADL.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cited by
A classification and comparison framework for software architecture description languages
Medvidovic, N., & Taylor, R. N. (2000) · IEEE Transactions on Software Engineering · doi:10.1109/32.825767 · Cited by 1,987
Self-citationSoftware architecture: a roadmap
Garlan, D. (2000) · Proceedings of the Conference on The Future of Software Engineering · doi:10.1145/336512.336537 · Cited by 391
The golden age of software architecture
Shaw, M., & Clements, P. (2006) · IEEE Software · doi:10.1109/ms.2006.58 · Cited by 271
Metadata
- Authors
- Medvidovic, N., Oreizy, P., Robbins, J. E., & Taylor, R. N.
- Venue
- Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
- Publisher
- ACM
- Published
- 1996-10
- Pages
- 24-32
- OpenAlex
- W2105324142
- Cited by
- 190
- References
- 0
- FWCI
- 7.21
- Type
- conference paper
- Language
- en
- Open access
- closed
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Using object-oriented typing to support architectural design in the C2 style. https://app.cochat.ai/papers/10.1145/239098.239106
- The paper
- Medvidovic, N., Oreizy, P., Robbins, J. E., & Taylor, R. N. (1996). Using object-oriented typing to support architectural design in the C2 style. Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering. https://doi.org/10.1145/239098.239106
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
