Identifying Conflicting Requirements in Systems of Systems

A System of Systems (SoS) is an arrangement of useful and independent sub-systems, which are integrated into a larger system. Examples are found in transport systems, nutritional systems, smart homes and smart cities. The composition of component sub-systems into an SoS enables support for complex functionalities that cannot be provided by individual sub-systems on their own. However, to realize the benefits of these functionalities it is necessary to address several software engineering challenges including, but not limited to, the specification, design, construction, deployment, and management of an SoS. The various component sub-systems in an SoS environment are often concerned with distinct domains; are developed by different stake-holders under different circumstances and time; provide distinct functionalities; and are used by different stakeholders, which allow for the existence of conflicting requirements. In this paper, we present a framework to support management of emerging conflicting requirements in an SoS. In particular, we describe an approach to support identification of conflicts between resource-based requirements (i.e. requirements concerned with the consumption of different resources). In order to illustrate and evaluate the work, we use an example of a pilot study of an IoT SoS ecosystem designed to support food security at different levels of granularity, namely individuals, groups, cities, and nations

A semantically-enriched goal-oriented requirements engineering framework for systems of systems using the i* framework applied to cancer care

In recent years, monolithic systems are being composed into bigger systems as Systems of Systems (SoSs). This evolution of SoS raises several software engineering key challenges, such as the management of emerging inconsistent goals and requirements, which may occur among the various Constituent Systems (CSs) themselves, as well as between the entire SoS and the participating CSs. Another significant challenge is that Systems of Systems Engineering (SoSE) involves more stakeholders than traditional systems engineering, i.e. stakeholders at the SoS-level and the CS-level, where each CS has its own needs and objectives which establish a complex stakeholder environment. To respond to these challenges, this research is aimed at investigating the implications of applying a goal-oriented requirements engineering approach in identifying, modelling and managing emerging goals and their conflicts in SoS context. The key artefact of this research is the development of a Semantically-Enriched Goal-Oriented Requirements Engineering Framework for Systems of Systems using the i* framework, namely the OntoSoS.GORE framework.The OntoSoS.GORE is a three-layered framework designed, developed, demonstrated and then evaluated through following multiple iterations of the Design Science Research Methodology (DSRM) phases, to accomplish the following main objectives: (1) identifying and modelling the SoS global goals and the CSs local goals at different levels of an SoS using the i* framework, in which a new process to extract i* modelling elements from existing user documentation is proposed; (2) maintaining the consistency and integrity of SoS goals at multiple levels through developing a semantic Goals Referential Integrity (sGRI) model in SoS context which consists of an SoSGRI model and an ontology-based model; and (3) managing any conflicts that may occur amongst goals at both the SoS-level and the CS-level, by developing and applying a new goal conflict management approach in SoS context, which consists of two main processes: goal conflict detection and goal conflict resolution.The research framework has been instantiated and validated by applying a real Cancer Care case study at King Hussein Cancer Center (KHCC), Amman, Jordan. Results revealed the effectiveness of applying the framework compared to the current approach applied at KHCC, in terms of addressing higher consistency, completeness and correctness with regard to goal management and conflict management in SoS context. Moreover, the framework provides automation of the processes of following the satisfaction of goals and goals’ conflict management at multiple SoS levels, instead of the manual approach applied currently at KHCC. This automation is accomplished through developing a strategic goal-oriented management tool that is anticipated to be delivered and utilised at KHCC, as well as applying it to other SoS organisations as a proposed solution for goal and conflict management. Another contribution to the Cancer Care and SoS domains is developing a reference i* goal-oriented model for access to Cancer Care which provides a wider system engineering perspective and offers an accessible level of abstraction about Cancer Care goals and their dependencies for stakeholders and domain experts. The reference model provides standardisation of common generic concepts about the domain, in which other Cancer Care organisations can considerably reuse to facilitate the process of capturing and specifying goals and requirements for their practice and validating choices among alternative designs

Inconsistencias en requerimientos de software : Un enfoque basado en el lenguaje del dominio

La Ingeniería de Requisitos es una de las etapas preliminares del ciclo de vida del desarrollo de software, donde todos los stakeholders están naturalmente involucrados. El objetivo es adquirir el conocimiento y los requisitos necesarios para el sistema a ser construido. Los ingenieros de requisitos utilizan diferentes tipos de modelos para plasmar los resultados de la elicitación realizada. El Lenguaje Natural aparece como una excelente opción para compartir el conocimiento entre los diferentes stakeholders. En particular el Léxico Extendido del Lenguaje (LEL) es un modelo escrito en Lenguaje Natural, siendo una buena ayuda para definir el vocabulario del dominio de aplicación. La construcción colaborativa del lenguaje del dominio implica la existencia de descripciones de mejor calidad. Pero en todo trabajo colaborativo aparecen conflictos que necesitan ser resueltos para clarificar dichas descripciones con menos contradicciones. En esta tesis se presenta el proceso definido para hallar y resolver los conflictos que surgen en la construcción colaborativa del LEL. Además se presenta una categorización de los conflictos que surgen al crear el LEL de modo colaborativo. Se ha desarrollado también un catálogo de los conflictos y sus soluciones, dando para cada conflicto el nombre del conflicto, un ejemplo, la heurística para hallar los conflictos y la solución propuesta. Se realizaron dos validaciones, la validación del proceso presentado y la validación de las soluciones propuestas a los conflictos.Facultad de Informátic