Skip to main content
SpringerLink
Log in

Scenario-Based Analysis of Component Compositions

  • Conference paper
  • First Online:
Generative and Component-Based Software Engineering (GCSE 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2177))

  • 232 Accesses

Abstract

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 modelling component interfeces 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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Peter Bouwman and Hans de Bruin. Talktalk. In Peter Wisskirchen, editor. Object-Oriented and Mixed Programming paradigms, Eurographics Focus on Computer Series, chapter 9, pages 125–141. Springer-Verlag, Berlin, Germany, 1996.

    Google Scholar 

  2. R.J.A. Buhr. Use Case Maps as architecture entities for complex systems. IEEE Transactions on Software Engineering, 24(12):1131–1155, December 1998.

    Article  Google Scholar 

  3. J. Burch, E. Clarke, K. McMillan, D. Dill, and L. Hwang. Symbolic model checking: 1020 states and beyond. In Fifth Conference on Logic in Computer Science, 1990.

    Google Scholar 

  4. R.H. Campbell and A.N. Habermann. The specification of process synchronization by path expressions. In Lecture Notes in Computer Science 16, pages 89–102. Springer-Verlag, Berlin, Germany, 1974.

    Google Scholar 

  5. Hans de Bruin. DIGIS: a Model Based Graphical User Interface Design Environment for Non-Programmers. PhD thesis, Erasmus University Rotterdam, November 10, 1995.

    Google Scholar 

  6. Hans de Bruin. A grey-box approach to component composition. In Krzysztof Czarnecki and Ulrich W. Eiseneker, editors, Proceedings of the First Symposium on Generative and Component-Based Software Engineering (GCSE’99), Erfurt, Germany, volume 1799 of Lecture Notes in Computer Science (LNCS), Berlin, Germany, September 28-30, 1999. Springer-Verlag.

    Google Scholar 

  7. Hans de Bruin. BCOOPL: A language for controlling component interactions. In H.R. Arbnia, editor, Proceedings of the International Conference of Distributed Processing Techniques and Applications (PDPTA’ 2000), volume 2, pages 801–807, Las vegas, Nevada, USA, June 26-29, 2000. CSREA, CSREA Press.

    Google Scholar 

  8. Hans de Bruin. BCOOPL: Basic Concurrent Object-Oriented Programming Language. Software Practice & Experience, 30(8):849–894, July 2000.

    Article  Google Scholar 

  9. Desmond Francis D’Souza and Alan Cameron Wills. Objects, Components, and Frameworks with UML: The Catalysis Approach. Object Technology Series. Addison-Wesley, Reading, Massachusetts, 1998.

    Google Scholar 

  10. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison-Wesley, Reading, Massachusetts, 1995.

    Google Scholar 

  11. David Garlan, Robert Allen, and John Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, 12(6):17–26, November 1995. Carnegie Mellon University.

    Article  Google Scholar 

  12. David Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8:231–271, 1987.

    Article  MATH  MathSciNet  Google Scholar 

  13. Ole Lehrman Madsen, Birger Møller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, Reading, Massachusetts, 1993.

    Google Scholar 

  14. J.L. Peterson. Petri Net Theory and the Modelling of Systems. Prentice Hall, Englewood Cliffs, New Jersey, 1981.

    MATH  Google Scholar 

  15. Jan van den Bos and Chris Laffra. Procol: a concurrent object language with protocols, delegation and Acta Informatica, 28:511–538, September 1991.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of Sciences, Vrije Universiteit, De Boelelaan 1081a, 1081, HV Amsterdam, The Netherlands

    Hans de Bruin

Authors
  1. Hans de Bruin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Concordia University, 1455 de Maisonneuve Blvd West, Montreal, Quebec, H3G 1M8, Canada

    Greg Butler

  2. School of Computing, Dept. of Computer Science, National University of Singapore, Singapore, 117543

    Stan Jarzabek

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de Bruin, H. (2001). Scenario-Based Analysis of Component Compositions. In: Butler, G., Jarzabek, S. (eds) Generative and Component-Based Software Engineering. GCSE 2000. Lecture Notes in Computer Science, vol 2177. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44815-2_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-44815-2_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-42578-6

  • Online ISBN: 978-3-540-44815-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation