Producing UML Models from Focal Specifications An Application to Airport Security Regulations

摘要：

We propose an automatic transformation of Focal specifications to UML class diagrams. The main motivation for this work lies within the framework of the EDEMOI project, which aims to integrate and apply several requirements engineering and formal methods techniques to analyze regulations in the domain of airport security. The idea is to provide a graphical documentation of formal models for developers, and in the long-term, for certification authorities. The transformation is formally described and an implementation has been designed. We also provide a concrete example coming from the EDEMOI project.

作者: David Delahaye Jean-Frederic Etienne Veronique Viguie Donzeau-Gouge

作者单位: CEDRIC/CNAM, Paris, France CEDRIC/CNAM, Paris,France

会议类型: 国际会议

会议名称: 第二届IFIP/IEEE软件工程理论基础国际研讨会(TASE 2008)(Second IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering)

会议地点: 南京

会议语种:英文

页码: 121-124

在线出版日期: 2008-06-17（万方平台首次上网日期，不代表论文的发表时间）