Use cases based requirements engineering

用例是系统行为的黑盒视图。它们以面向用户和直观的方式表达。因此，用例已被证明有助于捕获和记录系统的外部功能需求。不同的软件开发方法使用用例作为需求的一部分。然而，在用例形式化和自动化支持方面做的工作很少。拟议的研究计划是一个正在进行的工作，旨在提供一种方法和工具，以支持基于用例的需求工程的延续。我们专注于用文本自然语言表示的抽象用例。到目前为止，获得的结果包括：-一个正式的定义用例，-一个有限的自然语言的用例，-一个增量算法的层次状态机（状态图）的合成用例，-一种方法的用例捕获和细化结合域模型。我们在一个开源工具中实现了我们的结果，用于通过模拟捕获和验证用例。在拟议的研究计划中，我们计划开展以下工作：- 扩展非功能和横切需求的用例，-应用诸如OCL的形式语言和基于用例的需求验证的模型检查，-通过用例细化到场景，从需求阶段过渡到设计阶段，-开发方法以有效地从用例中导出测试用例，- 使用教学和案例研究的反馈来验证和改进我们的方法。

Use cases are black box views of a system behavior. They are expressed in a user oriented and intuitive way. As such use cases have been proved useful to capture and document external functional requirements of systems. Different software development approaches use use cases as part of requirements. However, very few work have been done on use cases formalization and automated support. The proposed research program is a continuation of an ongoing work that aims at providing an approach and tools to support use cases based requirements engineering. We focus on abstract use cases represented in a textual natural language. Results obtained so far include: - a formal definition of use cases, - a restricted natural language for use cases, - an incremental algorithm for synthesis of hierarchical state machines (statecharts) from use cases, - a methodology for use cases capture and elaboration in conjunction with a domain model. We implemented our results in an open source tool for use cases capture and validation by simulation. In the proposed research program, we plan to work on: - extension of use cases for non-fonctional and crosscutting requirements, - the application of formal languages such as the OCL, and model checking to use cases based requirements validation, - the transition from the requirements phase to the design phase through use cases refinement to scenarios, - development of approaches to effectively derive test cases from use cases, - validation and improvement of our methodology using feedback from teaching and case studies.