Non-functional requirements interdependencies in web service composition

Web services composition has been an active area of Service-oriented computing research. Where in literature the subjects around the functional composition of web service has gained increasing attention, some other efforts have been deployed to integrate the Non-functional requirements to be taken i...

Full description

Saved in:
Bibliographic Details
Published in2016 Third International Conference on Systems of Collaboration (SysCo) pp. 1 - 6
Main Authors El Kassmi, Ilyass, Jarir, Zahi, Obaid, Abdellatif
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.11.2016
Subjects
Access control
Authentication
Automata
Finite State Automaton
Model checking
Non-functional Interdependencies
Non-Functional Requirement
Privacy
Security Requirements
Service-oriented architecture
UPPAAL
Web Service Composition
Online AccessGet full text
DOI10.1109/SYSCO.2016.7831332

Cover

More Information
Summary:Web services composition has been an active area of Service-oriented computing research. Where in literature the subjects around the functional composition of web service has gained increasing attention, some other efforts have been deployed to integrate the Non-functional requirements to be taken in consideration by the web service composition. However, integrating different Non-functional requirements in a composition of web services is a highly complex task and can lead to undesirable interactions that negatively affect service quality and the expected result. In this paper we propose a Finite State Automata based approach for modeling and integrating Non-functional requirements taking in consideration their interdependencies. To validate our formalization UPPAAL model checking tool is used. In this work we applied our approach to Security as Non-functional Requirements, and proposed a Health Care case study for experimentations.
DOI:10.1109/SYSCO.2016.7831332