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

Keywords

  • B method
  • Software development
  • Specification
  • SysML

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'Describing software specification by combining SysML with the B method'. Together they form a unique fingerprint.

Cite this