论文信息 - A formal model for a requirements engineering tool

A formal model for a requirements engineering tool

This paper presents the formal specification for a tool that models the functional requirements of a system based on use case models. The formal model of such a tool is made using Alloy, which is a lightweight modeling language. The structure of the model as well as an analysis of the model are specified using Alloy. As a complement of the formal model, a model diagram is also presented using the Alloy notation.

Fernando Valles Barajas

[1] Manu Sridharan,et al. A micromodularity mechanism , 2001, ESEC/FSE-9.

[2] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .

[3] Philippe Kruchten,et al. The Rational Unified Process Made Easy - A Practitioner's Guide to the RUP , 2003, Addison Wesley object technology series.

[4] Peter Gorm Larsen,et al. A Lightweight Approach to Formal Methods , 1998, FM-Trends.

[5] Daniel Jackson,et al. Lightweight Formal Methods , 2001, FME.

[6] Daniel Jackson,et al. Software Abstractions - Logic, Language, and Analysis , 2006 .

[7] Daniel Jackson,et al. Finding bugs with a constraint solver , 2000, ISSTA '00.

[8] Tina Ann Nolte,et al. Exploring filesystem synchronization with lightweight modeling and analysis , 2002 .

[9] Daniel Jackson,et al. A Comparison of Object Modelling Notations : Alloy , UML and Z , 1999 .

[10] Andreas Schaad,et al. A lightweight approach to specification and analysis of role-based access control extensions , 2002, SACMAT '02.