A first attempt to combine SysML requirements diagrams and B

Innovations in Systems and Software Engineering

Volumn 6, Issue 1, 2010, Pages 47-54

  Laleau, Régine ^a   Semmak, Farida ^a   Matoussi, Abderrahman ^a   Petit, Dorian ^b   Hammad, Ahmed ^c   Tatibouet, Bruno ^c  

^a UNIVERSITÉ PARIS EST   (France)

^b UNIV LILLE   (France)

^c UNIVERSITÉ DE FRANCHE COMTÉ   (France)

Author keywords

B method; KAOS goal model; Requirements engineering; SysML

Indexed keywords

ENGINEERING RESEARCH; REQUIREMENTS ENGINEERING;

B METHOD; GOAL MODELING; SYSML; WORK IN PROGRESS;

FORMAL METHODS;

EID: 77949302702     PISSN: 16145046     EISSN: 16145054     Source Type: Journal    
DOI: 10.1007/s11334-009-0119-y     Document Type: Article

References (25)

1. Abrial JR (1996) The B-Book: assigning programs to meanings. Cambridge University Press, Cambridge.
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.
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.
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.
12. Maiden N, Sutcliffe A (1993) Exploiting reusable specifications through analogy. Commun ACM 35(4): 55-64.
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.
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.
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.
20. Rolland C, Souveyet C, Ben Achour C (1998) Guiding goal modeling using scenarios. IEEE Trans Sofw Eng 24(12): 1055-1071.
21. Snook C, Butler B (2006) UML-B: formal modelling and design aided by UML. ACM Trans Softw Eng Methodol 15(1): 92-122.
22. Spivey JM (1988) Understanding Z. Cambridge University Press, Cambridge.
23. Sutcliffe A, Maiden N (1998) The domain theory for requirements engineering. IEEE Trans Sofw Eng 24(3): 174-196.
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.