Q-Automata: Modelling the Resource Usage of Concurrent Components

Electronic Notes in Theoretical Computer Science

Volumn 175, Issue 2, 2007, Pages 153-167

  Chothia, Tom ^a   Kleijn, Jetty ^b  

^a CWI   (Netherlands)

^b LEIDEN UNIVERSITY   (Netherlands)

Author keywords

component based systems; compositionality; concurrency; Q Automata; quality of service

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE; CONCURRENT ENGINEERING; QUALITY OF SERVICE;

COMPONENT BASED SYSTEMS; COMPOSITIONALITY;

AUTOMATA THEORY;

EID: 34250007995     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.03.009     Document Type: Article

References (27)

1. Alur R., and Dill D.L. A theory of timed automata. Theor. Comput. Sci. 126 2 (1994) 183-235
2. Alur R., La Torre S., and Pappas G.J. Optimal paths in weighted timed automata. Theor. Comput. Sci. 318 3 (2004) 297-322
3. Arbab F., Baier C., Rutten J.J.M.M., and Sirjani M. Modeling component connectors in Reo by constraint automata: (extended abstract). Electr. Notes Theor. Comput. Sci. 97 (2004) 25-46
4. F. Arbab, F. de Boer, J. Guillen Scholten, and M. Bonsangue. Mocha: A middleware based on mobile channels. In COMPSAC, pages 667-673, 2002
5. Aziz B. A semiring-based quantitative analysis of mobile systems. Electr. Notes Theor. Comput. Sci. 157 (2006) 3-21
6. Baier C., and Wolf V. Stochastic reasoning about channel-based component connectors. Coordination 2006. Lectures Notes in Computer Science volume 4038 (2006) 1-15
7. ter Beek M.H., Ellis C.A., Kleijn H.C.M., and Rozenberg G. Synchronizations in team automata for groupware systems. CSCW - The Journal of Collaborative Computing 12 1 (2003) 21-69
8. M.H. ter Beek and H.C.M. Kleijn. Team automata satisfying compositionality. In Formal Methods'03, volume 2805 of Lecture Notes in Computer Science, pages 381-400, 2003
9. G. Behrmann, A. Fehnker, T. Hune, K. Guldstrand Larsen, P. Pettersson, J. Romijn, and F.W. Vaandrager. Minimum-cost reachability for priced timed automata. In 4th International Workshop on Hybrid Systems, volume 2034 of Lecture Notes in Computer Science, pages 147-161, 2001
10. Bistarelli S., Montanari U., and Rossi F. Semiring-based constraint satisfaction and optimization. J. of the ACM 44 2 (1997) 201-236
11. Bouyer P., Brihaye T., and Markey N. Improved undecidability results on weighted timed automata. Inf. Process. Lett. 98 5 (2006) 188-194
12. P. Buchholz and P. Kemper. Model checking for a class of weighted automata. CoRR, cs.LO/0304021, 2003
13. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., and Talcott C. The maude 2.0 system. Rewriting Techniques and Applications 2003. Lecture Notes in Computer Science number 2706 (2003) 76-87
14. L. de Alfaro and T.A. Henzinger. Interface automata. In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pages 109-120. ACM Press, 2001
15. De Nicola R., Ferrari G., Montanari U., Pugliese R., and Tuosto E. A process calculus for QoS-aware applications. Coordination 2005. Lectures Notes in Computer Science volume 3454 (2005) 33-48
16. Eilenberg S. Automata, Languages, and Machines (1976), Academic Press, Inc.
17. C.A. Ellis. Team automata for groupware systems. In GROUP'97, pages 415-424. ACM Press, 1997
18. Hoare C.A.R. Communicating sequential processes. Commun. ACM 26 1 (1983) 100-106
19. Kuich W., and Salomaa A. Semirings, Automata, Languages (1986), Springer-Verlag
20. Lynch N.A. Distributed Algorithms (1996), Morgan Kaufmann
21. Lynch N.A., and Tuttle M.R. An introduction to input/output automata. CWI-Quarterly 2 3 (1989) 219-246
22. Milner R. A Calculus of Communicating Systems (1982), Springer-Verlag
23. M. Mohri, F. Pereira, and M. Riley. Weighted automata in text and speech processing. In ECAI'96 Workshop on Extended Finite State Models of Language, pages 46-50, 1996
24. Mohri M., Pereira F., and Riley M. The design principles of a weighted finite-state transducer library. Theor. Comput. Sci. 231 1 (2000) 17-32
25. V. Natarajan and R. Cleaveland. An algebraic theory of process efficiency. In Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, page 63. IEEE Computer Society, 1996
26. Schützenberger M.P. On the definition of a family of automata. Information and Control 4 2-3 (1961) 245-270
27. R. Segala. Modeling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, MIT, Dept. of Elec. Eng. and Comp. Sci., 1995