Busca avançada
Ano de início
Entree
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling

Texto completo
Autor(es):
Lana, Cristiane Aparecida [1, 2, 3] ; Guessi, Milena [1] ; Antonino, Pablo Oliveira [2] ; Rombach, Dieter [2, 3] ; Nakagawa, Elisa Yumi [1]
Número total de Autores: 5
Afiliação do(s) autor(es):
[1] Univ Sao Paulo, Inst Math & Comp Sci, BR-13566590 Sao Carlos, SP - Brazil
[2] Fraunhofer Inst Expt Software Engn, D-67663 Kaiserslautern - Germany
[3] Tech Univ Kaiserslautern, D-67663 Kaiserslautern - Germany
Número total de Afiliações: 3
Tipo de documento: Artigo Científico
Fonte: IEEE SYSTEMS JOURNAL; v. 13, n. 3, p. 2201-2212, SEP 2019.
Citações Web of Science: 0
Resumo

Software-intensive systems-of-systems (SoS) refer to an arrangement of managerially and operationally independent systems (i.e., constituent systems), which work collaboratively toward the achievement of global missions. Because some SoS are being developed for critical domains, such as healthcare and transportation, there is an increasing need to attain higher quality levels, which often justifies the additional costs that can be incurred by adopting formal and semi-formal approaches (i.e., languages and techniques) for modeling requirements. Various approaches have been employed, but a detailed landscape is still missing, and it is not well known whether these approaches are appropriate for addressing the inherent characteristics of SoS. The main contribution of this paper is to present this landscape by reporting on the state of the art in SoS requirements modeling. This landscape was built by means of a systematic mapping and shows formal and semi-formal approaches grouped from model-based to property-oriented ones. Most of them have been tested in safety-critical domains, where formal approaches such as finite-state machines are aimed at critical system parts, whereas semi-formal approaches (e.g., unified modeling language and i{*}) address non-critical parts. Although formal and semi-formal modeling is an essential activity, the quality of SoS requirements does not rely solely on the formalism that is used, but also on the availability of supporting tools/mechanisms that enable, for instance, requirements verification along the SoS life cycle. (AU)

Processo FAPESP: 17/22107-2 - Uma arquitetura de software sustentável para o sistema-de-sistemas de eHealth
Beneficiário:Milena Guessi Margarido
Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
Processo FAPESP: 17/06195-9 - RASoS: construção de arquiteturas de referência de sistemas-de-sistemas
Beneficiário:Elisa Yumi Nakagawa
Modalidade de apoio: Auxílio à Pesquisa - Regular
Processo FAPESP: 15/06195-3 - Framework iterativo para modelagem e validação de requisitos para sistemas-de-sistemas
Beneficiário:Cristiane Aparecida Lana
Modalidade de apoio: Bolsas no Brasil - Doutorado