From coordination to stochastic models of QoS

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

Volumn 5521 LNCS, Issue , 2009, Pages 268-287

  Arbab, Farhad ^a   Chothia, Tom ^b   Van Der Mei, Rob ^a,c   Meng, Sun ^a   Moon, Youngjoo ^a   Verhoef, Chrétien ^a  

^a CWI   (Netherlands)

^b UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^c VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Coordination language; Markov chains; Performance evaluation; Reo

Indexed keywords

CONSTRAINT AUTOMATA; CONTINUOUS TIME MARKOV CHAIN; COORDINATION LANGUAGE; COORDINATION MODEL; MARKOV CHAINS; NON-FUNCTIONAL ASPECTS; OPERATIONAL SEMANTICS; PERFORMANCE ANALYSIS; PERFORMANCE EVALUATION; QUANTITATIVE MODELS; REO; TOOLS AND TECHNIQUES;

LINGUISTICS; MARKOV PROCESSES; QUERY LANGUAGES; ROBOTS; STOCHASTIC MODELS; TRANSLATION (LANGUAGES);

AUTOMATA THEORY;

EID: 68749111160     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02053-7_14     Document Type: Conference Paper

References (26)

1. Eclipse Coordination Tools, http://reo.project.cwi.nl/
2. Probabilistic model checker, http://www.prismmodelchecker.org/
3. Arbab, F.: Reo: a channel-based coordination model for component composition. MSCS 14(3), 329-366 (2004)
4. Arbab, F., Chothia, T., Meng, S., Moon, Y.-J.: Component Connectors with QoS Guarantees. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 286-304. Springer, Heidelberg (2007)
5. Arbab, F., Chothia, T., van der Mei, R., Meng, S., Moon, Y.-J., Verhoef, C: From Coordination to Stochastic Models of QoS. Technical report, CWI
6. Arbab, F., Rutten, J.J.M.M.: A Coinductive Calculus of Component Connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2002. LNCS, vol. 2755, pp. 34-55. Springer, Heidelberg (2003)
7. Baier, C., Sirjani, M., Arbab, F., Rutten, J.J.M.M.: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2), 75-113 (2006)
8. Bernardo, M., Gorrieri, R.: Extended Markovian Process Algebra. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 315-330. Springer, Heidelberg (1996)
9. Bernardo, M., Gorrieri, R.: A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time. Theor. Comput. Sci. 202(1-2), 1-54 (1998)
10. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201-236 (1997)
11. Bonsangue, M., Clarke, D., Silva, A.: Automata for context-dependent connectors. In: COORDINATION 2009. LNCS, vol. 5521, pp. 183-202. Springer, Heidelberg (2009)
12. Calzarossa, M.C., Tucci, S. (eds.): Performance 2002. LNCS, vol. 2459. Springer, Heidelberg (2002)
13. Ching, W.-K., Ng, M.K.: Markov Chains: Models, Algorithms and Applications. Springer, Heidelberg (2005)
14. Chothia, T., Kleijn, J.: Q-Automata: Modelling the Resource Usage of Concurrent Components. Electr. Notes Theor. Comput. Sci. 175(2), 153-167 (2007)
15. Costa, D.: Formal Models for Context Dependent Connectors for Distributed Software Components and Services. Ph.D thesis, Vrije Universiteit Amsterdam (2009)
16. Fernandes, P., Plateau, B., Stewart, W.J.: Efficient Descriptor-Vector Multiplications in Stochastic Automata Networks. J. ACM 45(3), 381-414 (1998)
17. Haverkort, B.R., Marie, R., Rubino, G., Trivedi, K.S. (eds.): Performability Modelling: Techniques and Tools. Wiley, Chichester (2001)
18. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
19. Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM: Probabilistic Symbolic Model Checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200-204. Springer, Heidelberg (2002)
20. Meng, S., Arbab, F.: QoS-Driven Service Selection and Composition. In: ACSD, pp. 160-169. IEEE Computer Society, Los Alamitos (2008)
21. Nicola, R.D., Ferrari, G.L., Montanari, U., Pugliese, R., Tuosto, E.: A Process Calculus for QoS-Aware Applications. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 33-48. Springer, Heidelberg (2005)
22. O'Cinneide, C: Characterization of phase-type distributions. Stochastic Models 6(1), 1-57 (1990)
23. Plateau, B., Stewart, W.J.: Stochastic automata networks: product forms and iterative solutions. Technical Report RR-2939, INRIA
24. Sahner, R.A., Trivedi, K.S., Puliafito, A.: Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package. Kluwer Academic Publishers, Norwell (1996)
25. Stewart, W.J., Atif, K., Plateau, B.: The numerical solution of stochastic automata networks. EOR 86(3), 503-525 (1995)
26. Younes, H., Simmons, R.: Solving Generalized Semi-Markov Decision Processes using Continuous Phase-Type Distributions. In: Proceedings of the 19th National Conference on Artificial Intelligence, California, pp. 742-747. AAAI Press, Menlo Park (2004)