Model checking tool allowing real-time systems verification. This tool is developed with a collaboration between Uppsaala University and Aalborg University.
Published in Chapter:
Measurable and Behavioral Non-Functional Requirements in Web Service Composition
Ilyass El Kassmi (Cadi Ayyad University, Morocco) and Zahi Jarir (Cadi Ayyad University, Morocco)
Copyright: © 2018
|Pages: 22
DOI: 10.4018/978-1-5225-5384-7.ch015
Abstract
Handling non-functional requirements (NFRs) in web service composition has gained increasing attention in the literature. However, this challenge is still open, despite the efforts of the scientific community, due to its complexity. This complexity starts from the fact that NFRs can represent structural constraints, QoS attributes, temporal constraints, or behavioral attributes. Therefore, this characterization makes the task of web service composition lifecycle (e.g., specification, verification, integration, etc.) increasingly complicated. Therefore, this chapter investigates this point of view and suggests a complete approach supporting specification, formalization, validation, and code generation of desired composite web service. This approach has the advantage to tackle with quantifiable (i.e., measurable) and behavioral NFRs, and provide a support for composing NFRs with FRs using seamless weaving.