Concern-Driven Requirements for Adaptive Socio-Technical Systems

自适应社会技术系统的关注驱动要求

• 批准号: RGPIN-2014-05408
• 负责人: Mussbacher, Gunter
• 金额: $ 1.82万
• 依托单位: McGill University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2014
• 资助国家: 加拿大
• 起止时间: 2014-01-01 至 2015-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=567152
• 关键词: Concern; Driven; Requirements; Adaptive; Socio

The research program’s vision is to build the next generation, model-based software requirements engineering environment based on large-scale software reuse to address the challenges of *high-impact, socio-technical systems*. Such systems are characterized by the complex interrelatedness of people with conflicting goals, technology, organizational processes, and the diverse social context in which these systems are deployed. For example, providing affordable health care to millions of uninsured US citizens falls into this category, as does a United Nations program to coordinate vaccination regimes around the world. Furthermore, systems like that need to constantly adapt to the ever changing social, economic, and technical environment to remain relevant and useful. Large-scale systems have to take many concerns into account (e.g., availability, security). Separation of concerns is the ability to concentrate on one concern, while temporarily forgetting about all other concerns, allowing humans to handle the complexities of such systems. However, some concerns, called *crosscutting concerns*, are intricately interconnected with many other concerns, making it difficult to analyze concerns individually. Existing techniques for advanced separation of concerns address this issue by formalizing the relationship of a crosscutting concern with other concerns, which enables reasoning about the impact of a crosscutting concern on a system. Consequently, systems can be analyzed and built by composing a set of reusable concern units, regardless of whether concerns crosscut or not. Nevertheless, *concern-driven development*, i.e., the systematic application of large-scale concern units across software development phases, has not yet received significant attention. Much can be learned from success stories for software reuse, ranging from generic, small-scale programming libraries to planned, large-scale Software Product Lines (SPLs). SPLs are product-oriented, i.e., they describe a family of similar products, e.g., a set of hearing aids. This research pursues concern-orientation instead – leading to *Software Concern Lines* – to maximize the potential reuse benefit, because concerns are applicable to not only one product family but across a wide range of product families. In addition, the need for run-time adaptation requires support when selecting a reusable unit out of a set of similar, applicable ones for the current context. The lightning speed with which changes in context propagate through today’s information world means correct selections need to be made quickly for relevant run-time system adaptation. Such support is not yet readily available. This research proposes concern units that include a set of coordinated, heterogeneous, reusable models at different levels of abstraction and use the most abstract, most high-level requirements model possible when composing concerns to adapt to changed context. The research program’s objective is to advance concern-oriented modeling languages, frameworks, and tools for requirements engineering of adaptive socio-technical systems, taking social, economic, and technical context into account for run-time system adaptation with the help of reusable concern units. The research program’s impact is improved large-scale reuse and hence improved productivity, leading to innovation in and increased competitiveness of the many organizations served by the Canadian software industry. Software Concern Lines are expected to become a viable development choice for the Canadian software industry even in the context of rapidly evolving software development projects, and will allow the software industry to further specialize, bringing software engineering more in line with other engineering disciplines.

该研究计划的愿景是建立下一代，基于模型的软件需求工程环境的基础上大规模的软件重用，以解决 * 高影响力，社会技术系统 * 的挑战。这些系统的特点是，人们之间存在复杂的相互关联，他们的目标、技术、组织流程以及这些系统所处的不同社会背景相互冲突。例如，为数百万没有保险的美国公民提供负担得起的医疗保健就福尔斯这一类，联合国协调世界各地疫苗接种制度的计划也属于这一类。此外，这样的系统需要不断适应不断变化的社会、经济和技术环境，以保持相关性和有用性。大型系统必须考虑许多问题（例如，可用性、安全性）。关注点分离是专注于一个关注点的能力，同时暂时忘记所有其他关注点，允许人类处理此类系统的复杂性。然而，一些关注点，称为横切关注点，与许多其他关注点错综复杂地相互关联，使得单独分析关注点变得困难。现有的高级关注点分离技术通过形式化横切关注点与其他关注点的关系来解决这个问题，这使得能够推理横切关注点对系统的影响。因此，无论关注点是否横切，都可以通过组成一组可重用的关注点单元来分析和构建系统。然而，* 关注驱动的发展 *，即，跨软件开发阶段的大规模关注单元的系统应用还没有得到显著的关注。从软件重用的成功案例中可以学到很多东西，从通用的小规模编程库到计划的大规模软件产品线（SPL）。SPL是面向产品的，即，它们描述了一系列类似的产品，例如，一套助听器。这项研究追求关注导向，而不是-导致 * 软件关注线 * -最大限度地提高潜在的重用效益，因为关注不仅适用于一个产品系列，但在广泛的产品系列。此外，运行时自适应的需要需要在从当前上下文的一组类似的、适用的单元中选择可重用单元时得到支持。上下文变化在当今信息世界中传播的闪电般的速度意味着需要快速做出正确的选择，以适应相关的运行时系统。这种支持尚不容易获得。本研究提出关注单元，包括一组协调的，异构的，可重用的模型在不同的抽象层次，并使用最抽象的，最高层次的需求模型时，可能组成的关注，以适应变化的上下文。该研究计划的目标是推进面向关注的建模语言，框架和工具的自适应社会技术系统的需求工程，考虑到社会，经济和技术方面的运行时系统适应与可重用的关注单位的帮助。该研究计划的影响是改善大规模的重用，从而提高生产力，导致创新和加拿大软件行业服务的许多组织的竞争力。软件关注线预计将成为加拿大软件业的一个可行的发展选择，即使在迅速发展的软件开发项目的背景下，并将使软件业进一步专业化，使软件工程更符合其他工程学科。