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
N1 - Publisher Copyright:
© 2014 IEEE.
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
T3 - Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
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.
T2 - 25th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2014
Y2 - 3 November 2014 through 6 November 2014
ER -