A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis
详细信息 查看全文
- 作者：Zachary J. Oster (20)
Syed Adeel Ali (21)
Ganesh Ram Santhanam (20)
Samik Basu (20)
Partha S. Roop (21) - 刊名：Lecture Notes in Computer Science
- 出版年：2012
- 出版时间：2012
- 年：2012
- 卷：7636
- 期：1
- 页码：298-312
- 全文大小：730KB
- 参考文献：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-01. 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-22. ACM, New York (2008) CrossRef
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-2 (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-64. Springer, Heidelberg (2002) CrossRef
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-5 (2010) CrossRef
10. Liu, X., Huang, G., Mei, H.: A user-oriented approach to automated service composition. In: ICWS, pp. 773-76. IEEE Computer Society (2008)
11. Marconi, A., Pistore, M.: Synthesis and Composition of Web Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol.?5569, pp. 89-57. Springer, Heidelberg (2009) CrossRef
12. Miller, G.A.: WordNet: A lexical database for English. Communications of the ACM?38(11), 39-1 (1995) CrossRef
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-51. 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-74. IEEE Computer Society (2011)
15. Ouksel, A.M., Sheth, A.: Semantic interoperability in global information systems. SIGMOD Rec.?28, 5-2 (1999) CrossRef
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-51. IEEE Computer Society (2008)
17. Santhanam, G.R., Basu, S., Honavar, V.G.: TCP ?span class="a-plus-plus emphasis fontcategory-non-proportional">Compose ??-/sup> -A TCP-Net Based Algorithm for Efficient Composition of Web Services Using Qualitative Preferences. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.?5364, pp. 453-67. Springer, Heidelberg (2008) CrossRef
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-50. IEEE (2008) - 作者单位：Zachary J. Oster (20)
Syed Adeel Ali (21)
Ganesh Ram Santhanam (20)
Samik Basu (20)
Partha S. Roop (21)
20. Department of Computer Science, Iowa State University, Ames, Iowa, 50011, USA
21. Department of Electrical and Computer Engineering, The University of Auckland, New Zealand - ISSN：1611-3349
文摘
To provide an effective service-oriented solution for a business problem by composing existing services, it is necessary to explore all available options for providing the required functionality while considering both the users-preferences between various non-functional properties (NFPs) and any low-level constraints. Existing service composition frameworks often fall short of this ideal, as functional requirements, low-level behavioral constraints, and preferences between non-functional properties are often not considered in one unified framework. We propose a new service composition framework that addresses all three of these aspects by integrating existing techniques in requirements engineering, preference reasoning, and model checking. We prove that any composition produced by our framework provides the required high-level functionality, satisfies all low-level constraints, and is at least as preferred (w.r.t. NFPs) as any other possible composition that fulfills the same requirements. We also apply our framework to examples adapted from the existing service composition literature.