Skip to main content

Abstract

Object-oriented models are commonly used in software projects. They may be affected, however, by various defects introduced easily due to e.g. wrong understanding of modelled reality, making wrong assumptions or editorial mistakes. The defects should be identified and corrected as early as possible, preferably before the model is used as the basis for the subsequent representations of the system. To assure the effectiveness of the defect detection process we need both, better analysis methods and effective tool support. The paper introduces a new analytical method called UML-HAZOP and presents a tool supporting the application of this method.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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.

Similar content being viewed by others

References

  1. DRug In Virtual Enterprise, EUIST-DRIVE 1999-12040 research project, http://www.e-mathesis.it/Drive.

    Google Scholar 

  2. Górski J., Jarzębowicz A., ‘Detecting defects in object-oriented diagrams using UML-HAZOP’, Foundations of Computing and Decision Sciences, vol. 27 (2002) no. 4.

    Google Scholar 

  3. HAZOP Studies on Systems Containing Programmable Electronics, MoD Defence Standard 00-58, issue 2, 2000.

    Google Scholar 

  4. Venkatasurbramanian V., Zhao J., Viswanathan S., ‘Intelligent systems for HAZOP analysis of complex process plants’, Computers and chemical engineering 24 (2000).

    Google Scholar 

  5. Winther R., Johnsen O., Gran B., ‘Security assessments of safety critical systems using HAZOPs’, Proceedings of Computer Safety, Reliability and Security, 20th International Conference SAFECOMP 2001, Springer Lecture Notes in Computer Science 2187.

    Google Scholar 

  6. Górski J., Jarzębowicz A, Leszczyna R, Miler J., Olszewski M., ‘An approach to trust case development’, Proc. SAFECOMP 2003, Edinbourgh, UK, 2003

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer Science+Business Media, Inc.

About this paper

Cite this paper

Górski, J., Jarzębowicz, A., Leszczyna, R., Miler, J., Olszewski, M. (2005). Tool support for detecting defects in object-oriented models. In: Pejaś, J., Piegat, A. (eds) Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems. Springer, Boston, MA. https://doi.org/10.1007/0-387-23484-5_10

Download citation

  • DOI: https://doi.org/10.1007/0-387-23484-5_10

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4020-7776-0

  • Online ISBN: 978-0-387-23484-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics