Consistency Checking for Component Reuse in Open Systems | SpringerLink
Skip to main content
Springer Nature Link
Log in

Consistency Checking for Component Reuse in Open Systems

  • Conference paper
Formal Foundations of Reuse and Domain Engineering (ICSR 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5791))

Included in the following conference series:

  • 633 Accesses

Abstract

Large scale Open Systems are built from reusable components in such a way that enhanced system functionality can be deployed, quickly and effectively, simply by plugging in a few new or revised components. At the architectural level, when new variations of a system are being planned by (re)configuring reusable components, the architecture description can itself become very large and complex. Consequently, the opportunities for inconsistency abound. This paper describes a method of architecture description that allows a significant amount of consistency checking to be done throughout the process of developing a system architecture description. An architectural design tool is described that supports consistency checking. This tool is designed to support component reuse, incremental development and collaborative working, essential for developing the architecture description of large systems.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Henderson, P., Henderson, M.J.: Collaborative development of system architecture - a tool for coping with inconsistency. In: 21st International Conference on Software Engineering and Knowledge Engineering (SEKE 2009). Knowledge Systems Institute, Skokie (2009)

    Google Scholar 

  2. Kruchten, P.: Architectural Blueprints - the 4+1 view model of software architecture. IEEE Software 12(6), 42–50 (1995)

    Article  Google Scholar 

  3. Shaw, M., Garlan, D.: Software Architecture - Perspectives on an emerging discipline. Addison-Wesley, Upper Saddle River (1996)

    MATH  Google Scholar 

  4. Maier, M.W., Rechtin, E.: The Art of System Architecting, 2nd edn. CRC Press LLC, Boca Raton (2002)

    MATH  Google Scholar 

  5. Henderson, P.: Laws for dynamic systems. In: International Conference on Software Re-Use (ICSR 1998). IEEE, Los Alamitos (1998)

    Google Scholar 

  6. Henderson, P., Yang, J.: Reusable web services. In: 8th International Conference on Software Reuse (ICSR 2004). IEEE, Los Alamitos (2004)

    Google Scholar 

  7. Rozanski, N., Woods, E.: Software Systems Architecture. Addison-Wesley, Upper Saddle River (2005)

    Google Scholar 

  8. Shaw, M., Clements, P.: The golden age of software architecture. Software, 31–39 (March/April 2006)

    Google Scholar 

  9. OMG: Unified Modeling Language, superstructure (2007), http://www.uml.org

  10. OMG: OMG Systems Modeling Language (2006), http://www.uml.org

  11. Holt, R.C.: Binary relational algebra applied to software architecture. In: CSRI Technical Report 345. University of Toronto (1996)

    Google Scholar 

  12. Hadar, E., Hadar, I.: Effective preparation for design review - using UML arrow checklist leveraged on the guru’s knowledge. In: OOPSLA. ACM, New York (2007)

    Google Scholar 

  13. Balasubramanian, K., Balasubramanian, J., Parsons, J., Gokhale, A., Schmidt, D.C.: A platform independent component modeling language for distributed real-time and embedded systems. J. Comput. Syst. Sci. 73(2), 171–185 (2007)

    Article  MATH  Google Scholar 

  14. Dekel, U., Herbsleb, J.D.: Notation and representation in collaborative object-oriented design: an observational study. In: SIGPLAN Notices, vol. 42(10). ACM, New York (2007)

    Google Scholar 

  15. Egyed, A.: UML/analyzer: A tool for the instant consistency checking of UML models. In: ICSE 2007: Proceedings of the 29th international conference on Software engineering. ACM, New York (2007)

    Google Scholar 

  16. Nejati, S., Sabetzadeh, M., Chechik, M., Easterbrook, S., Zave, P.: Matching and merging of statecharts specifications. In: 29th International Conference on Software Engineering (ICSE 2007), pp. 54–64 (2007)

    Google Scholar 

  17. Balzer, B.: Tolerating inconsistency. In: ICSE 1991: Proceedings of the 13th international conference on Software engineering. ACM, New York (1991)

    Google Scholar 

  18. Egyed, A.: Instant consistency checking for the UML. In: ICSE 2006: Proceedings of the 28th international conference on Software engineering, pp. 381–390. ACM, New York (2006)

    Google Scholar 

  19. Egyed, A.: Fixing inconsistencies in UML design models. In: ICSE 2007: Proceedings of the 29th international conference on Software engineering. ACM, New York (2007)

    Google Scholar 

  20. Sabetzadeh, M., Nejati, S., Liaskos, S., Easterbrook, S., Chechik, M.: Consistency checking of conceptual models via model merging. In: RE, pp. 221–230 (2007)

    Google Scholar 

  21. Sabetzadeh, M., Nejati, S., Easterbrook, S., Chechik, M.: Global consistency checking of distributed models with tremer. In: 30th International Conference on Software Engineering (ICSE 2008), Formal Research Demonstration (2008) (to appear)

    Google Scholar 

  22. Nuseibeh, B., Easterbrook, S., Russo, A.: Making inconsistency respectable in software development. Journal of Systems and Software 58, 171–180 (2001)

    Article  Google Scholar 

  23. OMG: MDA guide (2003), http://www.uml.org

  24. Beyer, D., Noack, A., Lewerenz, C.: Efficient relational calculation for software analysis. Transactions on Software Engineering 31(2), 137–149 (2005)

    Article  Google Scholar 

  25. Chang, K.N.: Consistency checks on UML diagrams. In: International Conference on Software Engineering Research and Practice, SERP 2007. IEEE, Los Alamitos (2007)

    Google Scholar 

  26. Koo, B.H.Y., Simmons, W.L., Crawley, E.F.: Algebra of systems: An executable framework for model synthesis and evaluation. In: Proceedings of the 2007 International Conference on Systems Engineering and Modeling. IEEE, Los Alamitos (2007)

    Google Scholar 

  27. Henderson, P., de Silva, N.: System architecture induces document architecture. In: 20th International Conference on Software Engineering and Knowledge Engineering (SEKE 2008). IEEE, Los Alamitos (2008)

    Google Scholar 

  28. Date, C.: Database in Depth - Relational Theory for Practitioners. O’Reilly Media Inc., Sebastopol (2006)

    Google Scholar 

  29. Beyer, D.: Relational programming with CrocoPat. In: ICSE. IEEE, Los Alamitos (2006)

    Google Scholar 

  30. Jackson, D.: Software Abstraction. MIT Press, Cambridge (2006)

    Google Scholar 

  31. Alexander, C.: Notes on the Synthesis of Form (with 1971 preface). Harvard University Press, Cambridge (1964)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electronics and Computer Science, University of Southampton, Southampton, UK

    Peter Henderson

  2. Mathematics and Computer Science, Berea College, Berea, KY, 40404, USA

    Matthew J. Henderson

Authors
  1. Peter Henderson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Matthew J. Henderson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Virginia Tech, VA 24061, Blacksburg, USA

    Stephen H. Edwards

  2. Computer Science Department, Virginia Tech, VA 22043, Falls Church, USA

    Gregory Kulczycki

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Henderson, P., Henderson, M.J. (2009). Consistency Checking for Component Reuse in Open Systems. In: Edwards, S.H., Kulczycki, G. (eds) Formal Foundations of Reuse and Domain Engineering. ICSR 2009. Lecture Notes in Computer Science, vol 5791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04211-9_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04211-9_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04210-2

  • Online ISBN: 978-3-642-04211-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics