Preserving Real Concurrency
• SEI Report
Publisher
Software Engineering Institute
Abstract
We are concerned with reasoning about the behavior of assemblies of components from models of components and their patterns of interaction. Behavioral models of assemblies are "composed" from behavioral models of components; the (composed) assembly model is then mapped to one or more reasoning frameworks, each suitable for a particular kind of analysis. Information relevant to each reasoning framework must be faithfully rendered in the assembly model, and it must be preserved under interpretation to the reasoning framework. Our concern in this paper is the faithful rendering of concurrency. Our approach makes use of information provided by components and extracted from static assembly topologies to faithfully model real concurrency. The result is more effective analysis.
Cite This SEI Report
Ivers, J., & Wallnau, K. (2003, July 1). Preserving Real Concurrency. Retrieved August 15, 2026, from https://www.sei.cmu.edu/library/preserving-real-concurrency/.
@techreport{ivers_2003,
author={Ivers, James and Wallnau, Kurt},
title={Preserving Real Concurrency},
month={Jul},
year={2003},
institution={Software Engineering Institute, Carnegie Mellon University},
url={https://www.sei.cmu.edu/library/preserving-real-concurrency/},
note={Accessed: 2026-Aug-15}
}
Ivers, James, and Kurt Wallnau. "Preserving Real Concurrency." Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, July 1, 2003. https://www.sei.cmu.edu/library/preserving-real-concurrency/.
J. Ivers, and K. Wallnau, "Preserving Real Concurrency," Software Engineering Institute, Carnegie Mellon University. Software Engineering Institute, 1-Jul-2003 [Online]. Available: https://www.sei.cmu.edu/library/preserving-real-concurrency/. [Accessed: 15-Aug-2026].
Ivers, James, and Kurt Wallnau. "Preserving Real Concurrency." Software Engineering Institute, Carnegie Mellon University, Software Engineering Institute, 1 Jul. 2003. https://www.sei.cmu.edu/library/preserving-real-concurrency/. Accessed 15 Aug. 2026.
Ivers, James; & Wallnau, Kurt. Preserving Real Concurrency. Software Engineering Institute. 2003. https://www.sei.cmu.edu/library/preserving-real-concurrency/