Abstract
The web service technology has still proved its effectiveness in the digital revolution we are facing. This success unfortunately raises more and more complex obstacles, particularly related to the service composition. The integration of Non-Functional Requirements (NFRs) in each step of service composition process, starting with abstract service composition specification to the generation of the verified and concrete composed services, represents one of them. Furthermore, this complexity remains more difficult when NFRs are addressed in both quantifiable (i.e. Quality of Service) and behavioral aspects. Despite the relevant contributions present in the literature, this challenge still remains an open issue when considering NFRs modeling, publishing, integrating with each other, and handling conflicts and dependencies in the whole composition’s lifecycle. As a consequence, we suggest this contribution that aims to propose an approach showing how to weave efficiently required NFRs with functional requirements in a complete lifecycle composition supporting specification, formalization, model checking verification and integration steps of desired concrete composite service. Patient Health Records in Regional and University Health Centers in Morocco is used as a case study to experiment our approach.
Highlights
In the digital revolution we are facing, Web Service (WS) technology still proved its effectiveness
To enable our approach to meet the majority of needs in terms of modeling and implementing a complete service composition design process, we are convinced that the use of automata is a better method due to the advantages and the simplicity they offer and satisfactory results obtained during our previous contributions [4][5]
They are translated into an abstract functional automaton (AFA) defining the main functional process describing the interactions between contributing abstract services, (2) Behavioral NonFunctional Requirements (NFRs) representing the desired constraints, policies or restrictions applied to contributing services, and (3) Measurable qualityoriented NFRs dealing with QoS preferences to fit, in order to build the optimal composition
Summary
In the digital revolution we are facing, Web Service (WS) technology still proved its effectiveness. To enable our approach to meet the majority of needs in terms of modeling and implementing a complete service composition design process, we are convinced that the use of automata is a better method due to the advantages and the simplicity they offer and satisfactory results obtained during our previous contributions [4][5] In this contribution we propose an automata modelling approach for Functional and Non-Functional Requirements aimed at providing expert users with increased flexibility to design and integrate numerous complex behavioral NFRs, such as security attributes (e.g. authentication, access-control methods, encryption, etc.), to others custom business-related behavioral NFRs. A varied choice of QoS oriented properties is integrated in our approach to help selecting the optimal service composition based on attributed weights for each property. We conclude by summarizing suggested approach and highlighting future works and upcoming perspectives on Section 7
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
