Paper Info
Title
A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems
Abstract
Abstract The complex requirements of software systems justify the use of the best existing techniques to guar- antee the quality of speciflcations and to preserve this quality during the programming,phase of a software life-cycle. On the one hand, visual speciflcation lan- guages (such as UML) have been widely used for spec- ifying, visualizing, understanding and documenting software systems, but they sufier from the lack of pre- cise semantical basis. Hence, these languages are prac- tical for large-scale information systems rather than for industrial applications which address safety chal- lenges. On the other hand, formal methods (such as B) are speciflcally used for safety critical systems in or- der to rigorously check their correctness but they lead to complex models which may be di‐cult to read and understand. These complementarities between formal and graphical techniques motivate our aim to develop a tool for combining both methods starting from UML and producing B models. Existing works which tried to integrate UML and B proposed model-to-model trans- formation techniques which miss a clear and explicit conceptual foundations. In order to circumvent this shortcoming we propose a metamodel-based transfor- mation technique which is founded by a set of struc- tural and semantic mappings between UML and B. A reusable and evolutive framework is then developed to assist derivation of formal B speciflcations from UML diagrams. Keywords: Integrated methods, B, UML, Safety,
Year
Venue
Keywords
2007
CAINE
meta-modeling,safety,b,model driven architecture mda.,integrated methods,uml,software life cycle,information system,formal method,meta model,software systems
Field
DocType
Citations 
Data mining,UML tool,Life-critical system,Software engineering,Unified Modeling Language,Computer science,Software system,Applications of UML,Systems development life cycle,Formal methods,Metamodeling,Distributed computing
Conference
4
PageRank 
References 
Authors
0.43
8
3
Name
Order
Citations
PageRank
Akram Idani111015.56
Jean-louis Boulanger2224.16
Laurent Philippe37112.95