Skip to main content
SpringerLink
Log in

SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML

  • Conference paper
  • First Online:
Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2016)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9675))

Abstract

We present an approach to transform SysML structural diagrams, BDD and IBD with constraints, into a B Method project skeleton. This project can then be directly used for implementation development through usual B refinement mechanism. We prototyped this approach.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

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 EPUB and 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

Institutional subscriptions

Notes

  1. 1.

    www.github.com/openETCS/toolchain/wiki/User-Documentation.

  2. 2.

    www.github.com/openETCS/toolchain/tree/master/tool/bundles/org.openetcs.sysml2b.transformation.

References

  1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)

    Book  MATH  Google Scholar 

  2. Abrial, J.R.: Formal methods in industry: achievements, problems, future. In: SE 2006 (2006)

    Google Scholar 

  3. Badeau, F., Amelot, A.: Using B as a high level programming language in an industrial project: Roissy VAL. In: Treharne, H., King, S., Henson, M., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 334–354. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Bardot, T.: SysML modeling rules for SysML to B. Technical report, MitsubishiElectric R&D Centre Europe (2014). www.github.com/openETCS/toolchain/blob/master/ToolDescription/MERCE-SysML-to-B/2014_12_04_SysMLModelingRules-for-SysMLtoB_MFR14-ARC-839--MFR14-ECD-530.pdf

  5. Baudin, P., Filliâtre, J.C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISO C Specification Language

    Google Scholar 

  6. Bousse, E.: Requirements management led by formal verification. Master’s thesis, INSA Rennes (2012). www.people.irisa.fr/Benoit.Combemale/research/2012/bousse_erwan_report.pdf

  7. Bousse, E., Mentré, D., Combemale, B., Baudry, B., Katsuragi, T.: Aligning SysML with the B Method to Provide V&V for Systems Engineering. In: MoDeVVa 2012 (2012)

    Google Scholar 

  8. Kinoshita, S., Nishimura, H., Takamura, H., Mizuguchi, D.: Describing software specification by combining SysML with the B method. In: ISSREW 2014 (2014)

    Google Scholar 

  9. Laleau, R., Polack, F.A.C.: Coming and going from UML to B: a proposal to support traceability in rigorous IS development. In: Bert, D., Bowen, J.P., C. Henson, M., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol. 2272, pp. 517–518. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  10. Lano, K., Clark, D., Androutsopoulos, K.: UML to B: formal verification of object-oriented models. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 187–206. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Matoussi, A., Gervais, F., Laleau, R.: A goal-based approach to guide the design of an abstract Event-B specification. In: ICECCS (2011)

    Google Scholar 

  12. Meyer, E., Souquières, J.: A systematic approach to transform OMT diagrams to a B specification. In: Wing, J.M., Woodcock, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 875–895. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  13. Snook, C., Butler, M.: UML-B: formal modelling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15, 92–122 (2006)

    Article  Google Scholar 

Download references

Acknowledgement

The author thanks T. Bardot for his work on the prototype, his very helpful remarks and discussions when designing the approach; and the reviewers for their helpful comments.

Author information

Authors and Affiliations

  1. Mitsubishi Electric R&D Centre Europe, Rennes, 35708, France

    David Mentré

Authors
  1. David Mentré
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to David Mentré .

Editor information

Editors and Affiliations

  1. University of Southampton, Southampton, United Kingdom

    Michael Butler

  2. Software Competence Center, Hagenberg, Austria

    Klaus-Dieter Schewe

  3. Software Competence Center, Hagenberg, Austria

    Atif Mashkoor

  4. Software Competence Center, Hagenberg, Austria

    Miklos Biro

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Mentré, D. (2016). SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML. In: Butler, M., Schewe, KD., Mashkoor, A., Biro, M. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2016. Lecture Notes in Computer Science(), vol 9675. Springer, Cham. https://doi.org/10.1007/978-3-319-33600-8_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-33600-8_26

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-33599-5

  • Online ISBN: 978-3-319-33600-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation