Skip to main content

Towards Checking Architectural Rules in Component-Based Design

  • Conference paper
On the Move to Meaningful Internet Systems: OTM 2008 Workshops (OTM 2008)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 5333))

  • 1200 Accesses

Abstract

Current component-based software development (CBSD) approaches rather focus on the design of software systems than on the system’s high-level, coarse-grained architecture. They provide modeling techniques to describe the concrete structure of components and their interfaces, how they are connected and how they interact. As an effect of their focus on the design, they are not appropriate to explicitly model the fundamental rules of a software architecture like architectural patterns or reference architectures that restrict the component-based design.

In this paper, we are going to identify some architectural rules in a small example. Furthermore, we will outline how these rules can be used to constrain the component design based upon a modeling approach called DisCComp.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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. Szyperski, C., Gruntz, D., Murer, S.: Component Software. In: Beyond Object-Oriented Programming, Addison-Wesley, Reading (2002)

    Google Scholar 

  2. Rausch, A., Reussner, R., Mirandola, R., Plášil, F. (eds.): The Common Component Modeling Example. LNCS, vol. 5153. Springer, Heidelberg (2008)

    Google Scholar 

  3. Rausch, A.: DisCComp: A Formal Model for Distributed Concurrent Components. In: Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (2006)

    Google Scholar 

  4. Juric, M.B.: Professional J2EE EAI. Wrox Press (2002)

    Google Scholar 

  5. Aleksy, M., Korthaus, A., Schader, M.: Implementing Distributed Systems with java and CORBA. Springer, Heidelberg (2005)

    MATH  Google Scholar 

  6. Appel, A., Herold, S., Klus, H., Rausch, A.: Modelling the CoCoME with DisCComp. In: Rausch, A., Reussner, R., Mirandola, R., Plášil, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 267–299. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  7. Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P.: Pattern-Oriented Software Architecture. A System of Patterns, vol. 1. Wiley & Sons, Chichester (1996)

    Google Scholar 

  8. Taibi, T. (ed.): Design Pattern Formalization Techniques. IGI Publishing, London (2007)

    Google Scholar 

  9. Maplesden, D., Hosking, J., Grundy, J.: A Visual Language for Design Pattern Modeling and Instantiation. In: Taibi, T. (ed.) Design Pattern Formalization Techniques, IGI Publishing, London (2007)

    Google Scholar 

  10. Kim, D.: The Role-Based Metamodeling Language for Specifying Design Patterns. In: Taibi, T. (ed.) Design Pattern Formalization Techniques, IGI Publishing, London (2007)

    Google Scholar 

  11. De Volder, K.: JQuery: A Generic Code Browser with a Declarative Configuration Language. In: Van Hentenryck, P. (ed.) PADL 2006. LNCS, vol. 3819, pp. 88–102. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  12. Störrle, H.: A PROLOG-based Approach to Representing and Querying Software Engineering Models. In: Cox, P.T., Fish, A., Howse, J. (eds.) Proceedings of the VLL 2007 workshop on Visual Languages and Logic, CEUR-WS.org (2007)

    Google Scholar 

  13. JQuery – a query-based code browser, http://jquery.cs.ubc.ca/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Herold, S. (2008). Towards Checking Architectural Rules in Component-Based Design. In: Meersman, R., Tari, Z., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2008 Workshops. OTM 2008. Lecture Notes in Computer Science, vol 5333. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88875-8_69

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88875-8_69

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88874-1

  • Online ISBN: 978-3-540-88875-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics