A service composition framework based on goal-oriented requirements engineering, model checking, and qualitative preference analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7636 LNCS, Issue , 2012, Pages 283-297

  Oster, Zachary J ^a   Ali, Syed Adeel ^b   Santhanam, Ganesh Ram ^a   Basu, Samik ^a   Roop, Partha S ^b  

^a Iowa State University   (United States)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; QUALITY OF SERVICE; REQUIREMENTS ENGINEERING;

BUSINESS PROBLEMS; FUNCTIONAL REQUIREMENT; GOAL-ORIENTED REQUIREMENTS ENGINEERING; NON FUNCTIONAL PROPERTIES; PREFERENCE ANALYSIS; PREFERENCE REASONING; REQUIRED FUNCTIONALITIES; SERVICE COMPOSITIONS;

MODEL CHECKING;

EID: 84868367173     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-34321-6_19     Document Type: Conference Paper

References (18)

1. Ali, S.A., Roop, P.S., Warren, I., Bhatti, Z.E.: Unified management of control flow and data mismatches in web service composition. In: Gao, J.Z., Lu, X., Younas, M., Zhu, H. (eds.) SOSE, pp. 93-101. IEEE (2011)
2. ter Beek, M.H., Gnesi, S., Koch, N., Mazzanti, F.: Formal verification of an automotive scenario in service-oriented computing. In: ICSE, pp. 613-622. ACM, New York (2008)
3. Bouveret, S., Endriss, U., Lang, J.: Conditional importance networks: A graphical language for representing ordinal, monotonic preferences over sets of goods. In: International Joint Conference on Artificial Intelligence, pp. 67-72 (2009)
4. Chinnici, R., Moreau, J.J., Ryman, A., Weerawarana, S.: Web services description language version 2.0 part 1: Core language. W3C Recommendation, World Wide Web Consortium (June 2007), http://www.w3.org/TR/wsdl20/
5. Chung, L., Nixon, B., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic (2000)
6. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359-364. Springer, Heidelberg (2002)
7. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (January 2000)
8. Erl, T.: SOA: Principles of Service Design. Prentice Hall (2008)
9. Haddad, J.E., Manouvrier, M., Rukoz, M.: TQoS: Transactional and QoS-aware selection algorithm for automatic web service composition. IEEE T. Services Computing 3(1), 73-85 (2010)
10. Liu, X., Huang, G., Mei, H.: A user-oriented approach to automated service composition. In: ICWS, pp. 773-776. IEEE Computer Society (2008)
11. Marconi, A., Pistore, M.: Synthesis and Composition ofWeb Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 89-157. Springer, Heidelberg (2009)
12. Miller, G.A.: WordNet: A lexical database for English. Communications of the ACM 38(11), 39-41 (1995)
13. Oster, Z.J., Santhanam, G.R., Basu, S.: Automating analysis of qualitative preferences in goal-oriented requirements engineering. In: Alexander, P., Pasareanu, C.S., Hosking, J.G. (eds.) ASE, pp. 448-451. IEEE (2011)
14. Oster, Z.J., Santhanam, G.R., Basu, S.: Identifying optimal composite services by decomposing the service composition problem. In: ICWS, pp. 267-274. IEEE Computer Society (2011)
15. Ouksel, A.M., Sheth, A.: Semantic interoperability in global information systems. SIGMOD Rec. 28, 5-12 (1999)
16. Pessoa, R.M., da Silva, E.G., van Sinderen, M., Quartel, D.A.C., Pires, L.F.: Enterprise interoperability with SOA: a survey of service composition approaches. In: van Sinderen, M., Almeida, J.P.A., Pires, L.F., Steen, M. (eds.) EDOCW, pp. 238-251. IEEE Computer Society (2008)
17. Santhanam, G.R., Basu, S., Honavar, V.G.: TCP-Compose- -A TCP-Net Based Algorithm for Efficient Composition ofWeb Services Using Qualitative Preferences. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 453-467. Springer, Heidelberg (2008)
18. Yoo, J.W., Kumara, S.R.T., Lee, D., Oh, S.C.: A web service composition framework using integer programming with non-functional objectives and constraints. In: CEC/EEE, pp. 347-350. IEEE (2008)