You are here: UCM Web>UCMVirtualLibrary>VirLibGcse00 (10 Nov 2009)


The behavior of a system comprised of collaborating components tend to be difficult to analyze, especially if the system consists of a large number of concurrently operating components. We propose a scenario-based approach for analyzing component compositions that is based on Use Case Maps (UCMs), but is extended with a few additional constructs for modeling component interfaces and connections. UCMs provide a high level, behavioral view on a system that is easy to comprehend by humans. However, UCMs do not have well-defined semantics. For this reason, UCMs are augmented with formal component interface specifications as used in the concurrent, object-oriented programming language BCOOPL. The combination of UCMs and BCOOPL interface specifications enables formal analysis of component compositions. This involves two steps. In the first step, UCMs and BCOOPL interface specifications are translated into a BCOOPL program. In the second step, the interactions between components are analyzed for system properties like deadlock and reachability. An important result of the combination is that the complexity, which arises when concurrently collaborating components are brought together, is tamed by considering only those usages of components that are actually specified in UCM scenarios.


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

Form For Virtual Library edit

Title Scenario-Based Analysis of Component Compositions
Authors H. de Bruin
Type Conference
Conference/Journal Title Generative and Component-Based Software Engineering (GCSE'00)
Volume/Number LNCS 2177
Publisher Springer
Month October
Year 2000
Pages 129-146
DOI 10.1007/3-540-44815-2_10
Keywords BCOOPL, Components, Interfaces, Use Case Maps
Topic attachments
I Attachment Action Size Date Who Comment
pdfpdf gcse00.pdf manage 216.5 K 21 Oct 2005 - 15:29 Unknown User Paper
Topic revision: r3 - 10 Nov 2009 - 10:10:09 - Carlos Villar
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback