Non-functional requirements interdependencies in web service composition - El Kassmi, Ilyass; Jarir, Zahi; Obaid, Abdellatif (2016 Third International Conference on Systems of Collaboration (SysCo), 2016)
Keywords: 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