我们的客户希望我们构建一个基于Web的富Internet应用程序来收集软件需求.基本上,它是一个基于Web的案例工具,遵循从利益相关者那里获取需求的特定流程.我是项目经理,我们还处于项目的早期阶段.
我一直在考虑使用正式的方法来帮助我的客户和开发人员澄清该工具的要求.通过形式方法,我的意思是某种形式的建模,可能是基于数学的.我读过并正在考虑的一些内容包括Z(http://en.wikipedia.org/wiki/Z_notation),状态机,UML 2.0(可能带有OCL等扩展),Petri网和一些编码合同以及前后条件等级别的东西.还有什么我应该考虑的吗？
开发人员经验丰富,但根据使用的形式主义,他们可能需要学习一些数学.
我试图确定是否值得我在这个项目上使用正式方法,如果是这样,在多大程度上.我知道"这取决于"所以对我来说最有用的答案是肯定/否定和支持论点.
如果你参加这个项目,你会使用正式的方法吗？
modeling formal-verification formal-methods requirements web-applications