In the Future Internet era, the way software will be produced and used will more and more depend on the new challenges deriving from the virtually infinite number of software services that can be composed to build new applications. The integration and composition of existing software, components and services is now gaining a crucial role in the software modeling and production and encompasses several aspects ranging from theoretical issues like modeling and analysis, to practical and implementation ones like run-time management and integration. In the wide set of issues concerning software composition, in this position paper we propose a formalization via a Fuzzy Description Logic for modeling architectural aspects of a software system. The formalism models architectural patterns and non-functional requirements about quality attributes where both the relationships among patterns and the set non-functional requirements are modelled together with their mutual interactions. The declarative approach proposed here would make possible to formally represent and maintain the above mentioned knowledge by keeping the flexibility and fuzziness of modeling thanks to the use of fuzzy concepts as high, low, fair, etc. We also identify the need for a reasoning task able to exploit the fuzzy nature of the adopted logic to retrieve a ranked list of set of patterns covering given user requirements represented in terms of NFRs and families of patterns.

Fuzzy Description Logics for component selection in software design / DI NOIA, Tommaso; Mongiello, Marina; Straccia, Umberto. - 9509:(2015), pp. 228-239. (Intervento presentato al convegno 13th International Conference on Software Engineering and Formal Methods, SEFM 2015 tenutosi a York, UK nel September 07-11, 2015) [10.1007/978-3-662-49224-6_19].

Fuzzy Description Logics for component selection in software design

DI NOIA, Tommaso;MONGIELLO, Marina;
2015-01-01

Abstract

In the Future Internet era, the way software will be produced and used will more and more depend on the new challenges deriving from the virtually infinite number of software services that can be composed to build new applications. The integration and composition of existing software, components and services is now gaining a crucial role in the software modeling and production and encompasses several aspects ranging from theoretical issues like modeling and analysis, to practical and implementation ones like run-time management and integration. In the wide set of issues concerning software composition, in this position paper we propose a formalization via a Fuzzy Description Logic for modeling architectural aspects of a software system. The formalism models architectural patterns and non-functional requirements about quality attributes where both the relationships among patterns and the set non-functional requirements are modelled together with their mutual interactions. The declarative approach proposed here would make possible to formally represent and maintain the above mentioned knowledge by keeping the flexibility and fuzziness of modeling thanks to the use of fuzzy concepts as high, low, fair, etc. We also identify the need for a reasoning task able to exploit the fuzzy nature of the adopted logic to retrieve a ranked list of set of patterns covering given user requirements represented in terms of NFRs and families of patterns.
2015
13th International Conference on Software Engineering and Formal Methods, SEFM 2015
978-3-662-49224-6
Fuzzy Description Logics for component selection in software design / DI NOIA, Tommaso; Mongiello, Marina; Straccia, Umberto. - 9509:(2015), pp. 228-239. (Intervento presentato al convegno 13th International Conference on Software Engineering and Formal Methods, SEFM 2015 tenutosi a York, UK nel September 07-11, 2015) [10.1007/978-3-662-49224-6_19].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11589/55711
Citazioni
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 6
social impact