메뉴 건너뛰기




Volumn 95, Issue 1, 2009, Pages 103-128

QoS-driven service selection and composition using quantitative constraint automata

Author keywords

Composition; QoS; Quantitative Constraint Automata; Selection; Service

Indexed keywords

APPLICATION DEVELOPMENT PROCESS; CONSTRAINT AUTOMATA; FUNCTIONAL PROPERTIES; MULTIPLE DIMENSIONS; QOS PROPERTIES; SERVICE ORIENTED; SERVICE SELECTION;

EID: 77049126015     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2009-144     Document Type: Article
Times cited : (11)

References (43)
  • 1
    • 77049125614 scopus 로고    scopus 로고
    • Eclipse Coordination Tools, http://reo.project.cwi.nl/.
  • 2
    • 84926020762 scopus 로고    scopus 로고
    • Reo: A channel-based coordination model for component composition
    • Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition, Mathematical Structures in Computer Science, 14(3), 2004, 329-366.
    • (2004) Mathematical Structures in Computer Science , vol.14 , Issue.3 , pp. 329-366
    • Arbab, F.1
  • 6
    • 0001990888 scopus 로고    scopus 로고
    • A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
    • Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time, Theoretical Computer Science, 202, 1998, 1-54.
    • (1998) Theoretical Computer Science , vol.202 , pp. 51-54
    • Bernardo, M.1    Gorrieri, R.2
  • 7
    • 0031095278 scopus 로고    scopus 로고
    • Semiring-based constraint satisfaction and optimization
    • Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization, Journal of the ACM, 44(2), 1997, 201-236.
    • (1997) Journal of the ACM , vol.44 , Issue.2 , pp. 201-236
    • Bistarelli, S.1    Montanari, U.2    Rossi, F.3
  • 11
    • 34250007995 scopus 로고    scopus 로고
    • Q-Automata: Modelling the resource usage of concurrent components
    • Chothia, T., Kleijn, J.: Q-Automata: Modelling the Resource Usage of Concurrent Components, Electronic Notes in Theoretical Computer Science, 175(2), 2007, 153-167.
    • (2007) Electronic Notes in Theoretical Computer Science , vol.175 , Issue.2 , pp. 153-167
    • Chothia, T.1    Kleijn, J.2
  • 12
  • 13
    • 33745678769 scopus 로고    scopus 로고
    • QoS-Driven web service composition with inter service conflicts
    • (X. Zhou et al. Ed.), LNCS, Springer
    • Gao, A., Yang, D., Tang, S., Zhang, M.: QoS-Driven Web Service Composition with Inter Service Conflicts, in: Frontiers of WWW Research and Development - APWeb 2006 (X. Zhou et al., Ed.), vol.3841 of LNCS, Springer, 2006, 121-132.
    • (2006) Frontiers of WWW Research and Development - APWeb 2006 , vol.3841 , pp. 121-132
    • Gao, A.1    Yang, D.2    Tang, S.3    Zhang, M.4
  • 16
    • 0000490471 scopus 로고    scopus 로고
    • Stochastic process algebras: Between LOTOS and markov chains
    • Hermanns, H., Herzog, U., Mertsiotakis, V.: Stochastic Process Algebras: Between LOTOS and Markov Chains, Computer Networks ISDN Systems, 30(9/10), 1998, 901-924.
    • (1998) Computer Networks ISDN Systems , vol.30 , Issue.9-10 , pp. 901-924
    • Hermanns, H.1    Herzog, U.2    Mertsiotakis, V.3
  • 22
    • 33646699574 scopus 로고    scopus 로고
    • QoS-aware composition of web services: An evaluation of selection algorithms
    • DOI 10.1007/11575771-41, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Proceedings
    • Jaeger, M. C., Mühl, G., Golze, S.: QoS-Aware Composition of Web Services: An Evaluation of Selection Algorithms, in: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, October 31 - November 4, 2005, Proceedings, Part I, vol.3760 of LNCS, Springer, 2005, 646-661. (Pubitemid 43734331)
    • (2005) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol.3760 , pp. 646-661
    • Jaeger, M.C.1    Muhl, G.2    Golze, S.3
  • 23
    • 0030258842 scopus 로고    scopus 로고
    • Distributed processing environment: A platform for distributed telecommunications applications
    • available at
    • Leong, F., Mylavarabhata, S. P., Nguyen, T., Quemada, F.: Distributed Processing Environment: A Platform for Distributed Telecommunications Applications, Hewlett-Packard Journal Online, 47(5), 1996, 1-6, available at http://www.hpl.hp.com/hpjournal/96oct/oct96a2.pdf.
    • (1996) Hewlett-Packard Journal Online , vol.47 , Issue.5 , pp. 1-6
    • Leong, F.1    Mylavarabhata, S.P.2    Nguyen, T.3    Quemada, F.4
  • 24
    • 0029253915 scopus 로고
    • Probabilistic and prioritized models of timed CSP
    • Lowe, G.: Probabilistic and prioritized models of timed CSP, Theoretical Computer Science, 138, 1995, 315-352.
    • (1995) Theoretical Computer Science , vol.138 , pp. 315-352
    • Lowe, G.1
  • 25
    • 84976753721 scopus 로고
    • A class of generalized stochastic Petrinets for the performance evaluation of multiprocessor systems
    • Marsan, M. A., Conte, G., Balbo, G.: A Class of Generalized Stochastic Petrinets for the Performance Evaluation of Multiprocessor Systems, ACM Transactions on Computer Systems, 2(2), 1984, 93-122.
    • (1984) ACM Transactions on Computer Systems , vol.2 , Issue.2 , pp. 93-122
    • Marsan, M.A.1    Conte, G.2    Balbo, G.3
  • 26
    • 11044227202 scopus 로고    scopus 로고
    • Composing web services: A QoS view
    • Menasće, D. A.: Composing Web Services: A QoS View, IEEE Internet Computing, 8(6), 2004, 88-90.
    • (2004) IEEE Internet Computing , vol.8 , Issue.6 , pp. 88-90
    • Menasće, D.A.1
  • 27
    • 11044239442 scopus 로고    scopus 로고
    • Current solutions for web service composition
    • Milanovic, N., Malek, M.: Current Solutions for Web Service Composition, IEEE Internet Computing, 8, 2004, 51-59.
    • (2004) IEEE Internet Computing , vol.8 , pp. 51-59
    • Milanovic, N.1    Malek, M.2
  • 28
    • 84988613226 scopus 로고
    • An algebraic definition of simulation between programs
    • London, UK (D. C. Cooper, Ed.), William Kaufmann, British Computer Society
    • Milner, R.: An algebraic definition of simulation between programs, in: Proceedings of the 2nd International Joint Conference on Artifiial Intelligence, London, UK (D. C. Cooper, Ed.), William Kaufmann, British Computer Society, 1971, 481-489.
    • (1971) Proceedings of the 2nd International Joint Conference on Artifiial Intelligence , pp. 481-489
    • Milner, R.1
  • 32
    • 84958780425 scopus 로고
    • An overview and synthesis on timed process algebras
    • (J. W. de Bakker, Ed.), LNCS, Springer
    • Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras, in: Real-Time: Theory in Practice (J. W. de Bakker, Ed.), vol.600 of LNCS, Springer, 1992, 526-548.
    • (1992) Real-Time: Theory in Practice , vol.600 , pp. 526-548
    • Nicollin, X.1    Sifakis, J.2
  • 34
    • 36749060136 scopus 로고    scopus 로고
    • Service-oriented computing: State of the art and research challenges
    • Papazoglou, M. P., Traverso, P., Dustdar, S., Leymann, F.: Service-Oriented Computing: State of the Art and Research Challenges, IEEE Computer, 2007, 64-71.
    • (2007) IEEE Computer , pp. 64-71
    • Papazoglou, M.P.1    Traverso, P.2    Dustdar, S.3    Leymann, F.4
  • 35
    • 33750914676 scopus 로고    scopus 로고
    • A calculus and logic of resources and processes
    • Pym, D., Tofts, C.: A calculus and logic of resources and processes, Formal Aspects of Computing, 18, 2006, 495-517.
    • (2006) Formal Aspects of Computing , vol.18 , pp. 495-517
    • Pym, D.1    Tofts, C.2
  • 36
    • 33750646143 scopus 로고
    • Performance and reliability analysis using directed acyclic graphs
    • Sahner, R. A., Trivedi, K. S.: Performance and reliability analysis using directed acyclic graphs, IEEE Transactions on Software Engineering, 13(10), 1987, 1105-1114.
    • (1987) IEEE Transactions on Software Engineering , vol.13 , Issue.10 , pp. 1105-1114
    • Sahner, R.A.1    Trivedi, K.S.2
  • 41
    • 33745220038 scopus 로고    scopus 로고
    • The costs and limits of availability for replicated services
    • Yu, H., Vahdat, A.: The Costs and Limits of Availability for Replicated Services, ACM Transactions on Computer Systems, 24(1), 2006, 70-113.
    • (2006) ACM Transactions on Computer Systems , vol.24 , Issue.1 , pp. 70-113
    • Yu, H.1    Vahdat, A.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.