Integrating UML and B Specification Techniques
作者： Hung Ledang , Jeanine Souquières
DOI:
关键词: UML tool 、 Requirements elicitation 、 Formal specification 、 B-Method 、 Unified Modeling Language 、 Computer science 、 Software development 、 Programming language 、 Executable 、 Applications of UML
摘要: An appropriate approach for integrating UML and B specification techniques allows us to map specifications into specifications. Therefore, we can formally analyze an via the corresponding formal specification. This point is significant because support tools are available. We also use as a tool building Thus, practical rigorous software development, which based on object from requirements elicitation executable code, proposed. In this paper, address problem of modeling behavioral diagrams in B, up now open issue. For purpose, class operations show way apply collaboration
参考文章(9)
Kevin Lano, The B Language and Method: A Guide to Practical Formal Development ,(1996)
Alexander Malioukov, An Object-Based Approach to the B Formal Method Lecture Notes in Computer Science. pp. 162- 181 ,(1998) , 10.1007/BFB0053360
Grady Booch, James Rumbaugh, Ivar Jacobson, The unified modeling language reference manual ,(1998)
C Snook, R Harrison, Practitioners' views on the use of formal methods: an industrial survey by structured interview Information & Software Technology. ,vol. 43, pp. 275- 283 ,(2001) , 10.1016/S0950-5849(00)00166-X
Eric Meyer, Jeanine Souquières, A Systematic Approach to Transform OMT Diagrams to a B Specification formal methods. pp. 875- 895 ,(1999) , 10.1007/3-540-48119-2_48
R. Laleau, A. Mammar, An overview of a method and its support tool for generating B specifications from UML notations automated software engineering. pp. 269- 272 ,(2000) , 10.1109/ASE.2000.873675
Grady Booch, James Rumbaugh, Ivar Jacobson, The Unified Modeling Language User Guide ,(1999)
Emil Sekerinski, Graphical Design of Reactive Systems Lecture Notes in Computer Science. pp. 182- 197 ,(1998) , 10.1007/BFB0053361
Eric A. Meyer, Développements formels par objets : Utilisation conjointe de B et d'UML Nancy 2. ,(2001)