Skip to main content
SpringerLink
Log in

A first attempt to combine SysML requirements diagrams and B

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

This article describes a work-in-progress in the framework of a research project aiming at combining requirements engineering methods with formal methods. The main idea is to extend the SysML language with concepts of existing requirements engineering methods. In this article we present extensions to SysML with concepts from the goal model of the KAOS method and we give rules to derive a formal B specification from this goal model. The approach is then illustrated on a case study.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abrial JR (1996) The B-Book: assigning programs to meanings. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  2. Anton AI (1996) Goal based requirements analysis. In: Proceedings of international conference on requirements engineering (ICRE96), pp 136–144

  3. Aziz B, Arenas A, Bicarregui J, Ponsard C, Massonet P (2009) From goal-oriented requirements to are Event-B specifications. In: First Nasa formal method symposium (NFM 2009), Moffett Field, California, USA

  4. Badeau F, Amelot A (2005) Using B as a high level programming language in an industrial project: Roissy val. In: Proceedings of ZB’05. LNCS, vol 3455. Springer, Berlin, pp 334–354

  5. Behm P, Benoit P, Faivre A, Meynadier JM (1999) METEOR : a successful application of B in a large project. In: Proceedings of FM ’99. LNCS, vol 1708. Springer, Berlin, pp 369–387

  6. Chung L, Nixon B, Yu E, Mylopoulos J (2000) Non-functional requirements in software engineering. Kluwer Academic, Boston

    MATH  Google Scholar 

  7. Darimont R, van Lamsweerde A (1996) Formal refinement patterns for goal-driven requirements elaboration. In: Proceedings of SIGSOFT ’96. San Francisco, USA, pp 179–190

  8. Friedenthal S, Moore A, Steiner R (2008) A practical guide to SysML. Morgan Kaufmann OMG Press, San Francisco

    Google Scholar 

  9. Goknil A, Kurtev I, van den Berg K (2008) A metamodeling approach for reasoning about requirements. In: Proceedings of ECMDA-FA. LNCS, vol 5095. Springer, Berlin, pp 310–325

  10. Hassan R, Bohner S, El-Kassas S, Eltoweissy M (2008) Goal-oriented, B-based formal derivation of security design specifications from security requirements. In: Proceedings of ARES 2008, Barcelona, Spain. IEEE Computer Society, USA, pp 1443–1450

  11. van Lamsweerde A (2009) Requirements engineering: from system goals to UML models to software specifications. Wiley, New York

    Google Scholar 

  12. Maiden N, Sutcliffe A (1993) Exploiting reusable specifications through analogy. Commun ACM 35(4): 55–64

    Article  Google Scholar 

  13. Mammar A, Laleau R (2006) A formal approach based on UML and B for the specification and development of database applications. Autom Softw Eng 13(4): 497–528

    Article  Google Scholar 

  14. Matoussi A, Laleau R, Petit D (2009) Bridging the gap between KAOS requirements models and B specifications. In: Technical Report TR-LACL-2009-5, LACL, University of Paris-Est (Paris 12), http://lacl.univ-paris12.fr/Rapports/TR/TR-LACL-2009-5.pdf

  15. Mylopoulos J, Chung L, Yu E (1999) From object-oriented to goal-oriented requirements analysis. Commun ACM 42(1): 31–37

    Article  Google Scholar 

  16. Nakagawa H, Taguchi K, Honiden S (2007) Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. In: Proceedings of automated software engineering (ASE 2007). IEEE/ACM, Atlanta, USA, pp 531–532

  17. OMG: SysML V 1.1, http://www.omg.org/spec/SysML/1.1

  18. Ponsard C, Dieul E (2006) From requirements models to formal specifications in B. In: Proceedings of REMO2V’2006, 241 CEUR-WS.org, Luxembourg

  19. Potts C, Takahashi K, Anton AI (1994) Inquiry-based requirements analysis. IEEE Softw 11(2): 21–32

    Article  Google Scholar 

  20. Rolland C, Souveyet C, Ben Achour C (1998) Guiding goal modeling using scenarios. IEEE Trans Sofw Eng 24(12): 1055–1071

    Article  Google Scholar 

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

    Article  Google Scholar 

  22. Spivey JM (1988) Understanding Z. Cambridge University Press, Cambridge

    MATH  Google Scholar 

  23. Sutcliffe A, Maiden N (1998) The domain theory for requirements engineering. IEEE Trans Sofw Eng 24(3): 174–196

    Article  Google Scholar 

  24. TACOS Project. ANR-06-SETIN-017, http://tacos.loria.fr

  25. TACOS Project, deliverable 1.1 (2008) Model for the Land Transport Domain, http://tacos.loria.fr/drupal/?q=node/57

Download references

Author information

Authors and Affiliations

  1. LACL, Université Paris-Est, IUT Fontainebleau, 77300, Fontainebleau, France

    Régine Laleau, Farida Semmak & Abderrahman Matoussi

  2. LAMIH, Université Lille Nord de France, UVHC, 59313, Valenciennes, France

    Dorian Petit

  3. LIFC, Université de Franche Comté, 16 Route de Gray, 25030, Besançon, France

    Ahmed Hammad & Bruno Tatibouet

Authors
  1. Régine Laleau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Farida Semmak
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Abderrahman Matoussi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dorian Petit
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Ahmed Hammad
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Bruno Tatibouet
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Régine Laleau.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Laleau, R., Semmak, F., Matoussi, A. et al. A first attempt to combine SysML requirements diagrams and B. Innovations Syst Softw Eng 6, 47–54 (2010). https://doi.org/10.1007/s11334-009-0119-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-009-0119-y

Keywords

Search

Navigation