Describing software specification by combining SysML with the B method

Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

This paper shows a methodology to describe software specifications combining SysML with the B method. Modeling languages of a system such as SysML do not guarantee the correctness of the specification. In addition, formal methods including the B method are generally difficult to use for describing software specifications from ambiguous requirements at the start of the development, because it is not easy for software developers to denote the formal notations. Our methodology redeems those shortcomings by iterating processes which translate SysML diagrams to the abstract machine notations of the B method. At the last part of this paper, we showed the effectiveness of our methodology with an example.

Original languageEnglish
Title of host publicationProceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages146-151
Number of pages6
ISBN (Electronic)9781479973774
DOIs
Publication statusPublished - 2014 Dec 12
Event25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 - Naples, Italy
Duration: 2014 Nov 32014 Nov 6

Publication series

NameProceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014

Other

Other25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
CountryItaly
CityNaples
Period14/11/314/11/6

    Fingerprint

Keywords

  • B method
  • Software development
  • Specification
  • SysML

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Kinoshita, S., Nishimura, H., Takamura, H., & Mizuguchi, D. (2014). Describing software specification by combining SysML with the B method. In Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014 (pp. 146-151). [6983829] (Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISSREW.2014.66