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 (Print)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

Other

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

Fingerprint

Specifications
Formal methods
Modeling languages

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] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISSREW.2014.66

Describing software specification by combining SysML with the B method. / Kinoshita, Satoko; Nishimura, Hidekazu; Takamura, Hiroki; Mizuguchi, Daichi.

Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc., 2014. p. 146-151 6983829.

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

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., 6983829, Institute of Electrical and Electronics Engineers Inc., pp. 146-151, 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014, Naples, Italy, 14/11/3. https://doi.org/10.1109/ISSREW.2014.66
Kinoshita S, Nishimura H, Takamura H, Mizuguchi D. Describing software specification by combining SysML with the B method. In Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 146-151. 6983829 https://doi.org/10.1109/ISSREW.2014.66
Kinoshita, Satoko ; Nishimura, Hidekazu ; Takamura, Hiroki ; Mizuguchi, Daichi. / Describing software specification by combining SysML with the B method. Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 146-151
@inproceedings{ac9db6a90a174277bca8c3c1e7bd0247,
title = "Describing software specification by combining SysML with the B method",
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.",
keywords = "B method, Software development, Specification, SysML",
author = "Satoko Kinoshita and Hidekazu Nishimura and Hiroki Takamura and Daichi Mizuguchi",
year = "2014",
month = "12",
day = "12",
doi = "10.1109/ISSREW.2014.66",
language = "English",
isbn = "9781479973774",
pages = "146--151",
booktitle = "Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014",
publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - GEN

T1 - Describing software specification by combining SysML with the B method

AU - Kinoshita, Satoko

AU - Nishimura, Hidekazu

AU - Takamura, Hiroki

AU - Mizuguchi, Daichi

PY - 2014/12/12

Y1 - 2014/12/12

N2 - 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.

AB - 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.

KW - B method

KW - Software development

KW - Specification

KW - SysML

UR - http://www.scopus.com/inward/record.url?scp=84922638168&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84922638168&partnerID=8YFLogxK

U2 - 10.1109/ISSREW.2014.66

DO - 10.1109/ISSREW.2014.66

M3 - Conference contribution

AN - SCOPUS:84922638168

SN - 9781479973774

SP - 146

EP - 151

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

PB - Institute of Electrical and Electronics Engineers Inc.

ER -