Skip to main content
SpringerLink
Log in
Book cover

Joint Conference on Knowledge-Based Software Engineering

JCKBSE 2014: Knowledge-Based Software Engineering pp 603–616Cite as

A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD)

  • Conference paper

  • 1776 Accesses

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 466))

Abstract

After producing the D-case based on DFD, a question about the consistency of the produced D-case was raised. In this paper we will be discussing consistency checks for the produced D-case according to DFD and D-case rules and propose some approaches based on it . There are some rules used to define and formalize the DFD, in the same manner we will define the syntax and semantics of the produced D-case.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ibrahim, R., YenYen, S.: A Formal Model for Data Flow Diagram Rules. International Journal of Software Engineering & Applications 1(2), 60–69 (2010)

    Google Scholar 

  2. The Agda Wiki, http://wiki.portal.chalmers.se/agda/pmwiki.php

  3. Dependability Case Editor with Pattern LibraryYutaka Matsuno, Hiroki Takamura,Yutaka Ishikawa Information Technology Center/ The University of Tokyo

    Google Scholar 

  4. Tong, L., Tang, C.S.: Semantic Specification and Verification of Data Flow Diagrams. Journal of Computer Science and Technology 6(1), 21–31 (1991)

    Article  MATH  Google Scholar 

  5. Yutaka, M., Takai, T., Yamamoto, S.: D- Case Pocket Book Let’s write Dependability Cases! Asset Management Co. Ltd., (2012) ISBN: 978-4-86293-080-4

    Google Scholar 

  6. Bruza, P.D., Van der Weide, T.P.: The Semantics of Data Flow Diagrams. University of Nijmegen (1993)

    Google Scholar 

  7. Olayan, N., Patu, V., Matsuno, Y., Yamamoto, S.: A Dependability Assurance Method Based on Data Flow Diagram (DFD). In: 2013 European Modeling Symposium (EMS), pp. 113–118 (2013)

    Google Scholar 

  8. Dennis, A., Wixom, B.H., Roth, R.M.: System Analysis and Design, 4th edn. John Wiley and sons, USA (2008)

    Google Scholar 

  9. Kelly, T., Weaver, R.: The Goal Structuring Notation - A Safety Argument Notation. In: Proceedings of the Dependable Systems and Networks 2004 Workshop on Assurance Cases (July 2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Graduate School of Information Sciences, Nagoya University, Nagoya, Aichi, 464-8601, Japan

    Nada Olayan

  2. Strategy Office of Information and Communications Headquarters, Nagoya University furocho, Chikusa-ku, Nagoya, Aichi, 464-8601, Japan

    Shuichiro Yamamoto

Authors
  1. Nada Olayan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shuichiro Yamamoto
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Volgograd State Technical University, Lenin av., 64/1, k.20, Volgograd, Russia

    Alla Kravets

  2. Volgograd State Technical University, Lenin av., 28, k.1406, Volgograd, Russia

    Maxim Shcherbakov

  3. Volgograd State Technical University, Lenin av., 28, k.904, Volgograd, Russia

    Marina Kultsova

  4. Department of Administration Engineering, Keio University, 3-14-1 Hiyoshi, Kohoku-ku, P.O. Box, 223-8522, Yokohama-shi, Kanagawa-ken, Japan

    Tadashi Iijima

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Olayan, N., Yamamoto, S. (2014). A Consistency Check of Dependability Case (D-case) Produced from Data Flow Diagram (DFD). In: Kravets, A., Shcherbakov, M., Kultsova, M., Iijima, T. (eds) Knowledge-Based Software Engineering. JCKBSE 2014. Communications in Computer and Information Science, vol 466. Springer, Cham. https://doi.org/10.1007/978-3-319-11854-3_53

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11854-3_53

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11853-6

  • Online ISBN: 978-3-319-11854-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation