A Formal Semantics for a Quality of Service Contract Language

Electronic Notes in Theoretical Computer Science

Volumn 203, Issue 7, 2009, Pages 103-120

  Braga, Christiano ^a   Chalub, Fabricio ^b   Sztajnberg, Alexandre ^c  

^a UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

^b FLUMINENSE FEDERAL UNIVERSITY   (Brazil)

^c STATE UNIVERSITY OF RIO DE JANEIRO   (Brazil)

Author keywords

Maude; MSOS; QoS contracts; software architecture description languages

Indexed keywords

APPLICATIONS; FORMAL METHODS; INFORMATION THEORY; INTERNET; LARGE SCALE SYSTEMS; LINGUISTICS; MODEL CHECKING; QUERY LANGUAGES; SEMANTICS; SOFTWARE ARCHITECTURE; SPECIFICATIONS; VIDEO ON DEMAND;

ACCEPTABLE LIMITS; CPU UTILIZATIONS; FORMAL SEMANTICS; MAUDE; MSOS; NON-FUNCTIONAL ASPECTS; NON-FUNCTIONAL REQUIREMENTS; OPERATIONAL SEMANTICS; PROTOTYPE TOOLS; QOS CONTRACTS; SOFTWARE ARCHITECTURE DESCRIPTION LANGUAGES; STRUCTURAL OPERATIONAL SEMANTICS; SYSTEM DEVELOPMENT; VIDEO-ON-DEMAND APPLICATIONS;

QUALITY OF SERVICE;

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

References (16)

1. Cardoso L., Sztajnberg A., and Loques O. Self-adaptive applications using adl contracts. In: Keller A., and Martin-Flatin J.-P. (Eds). Proceedings of The Second IEEE International Workshop on Self-Managed Networks. SelfMan 2006. LNCS volume 3996 (2006), Springer 87-101
2. F. Chalub. An implementation of modular structural operational semantics in maude. Master's thesis, Universidade Federal Fluminense, 2005
3. Chalub F., and Braga C. Maude MSOS Tool. In: Talcott C., and Denker G. (Eds). Proceedings of the Sixth International Workshop on Rewriting Logic and its Applications. WRLA 2006. Electronic Notes in Theoretical Computer Science (2006), Elsevier 3-17
4. Clavel M., Durán F., Eker S., Meseguer J., and Sther M.-O. Maude as a formal meta-tool. In: Wing J., Woodcock J., and Davies J. (Eds). Proceedings of the World Congress on Formal Methods in the Development of Computing Systems. FM'99. Lecture Notes in Computer Science volume 1709 (1999), Springer 1684-1703 Volume II
5. M. Clavel, F. Durn, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and C. Talcott All About Maude: A High-Performance Logical Framework. Springer, To appear (2007)
6. Feitelson D. Workload characterization and modeling book. http://www.cs.huji.ac.il/~feit/wlmod/
7. S. Frolund and J. Koistinen. QML: A language for quality of service specification. Technical Report HPL-9810, Hewlett Packard, 1998
8. Hattingh C., and Szigeti T. End-to-End QoS Network Design: Quality of Service in LANs, WANs, and VPNs (2004), Cisco Press
9. Jin J., and Nahrstedt K. QoS specification languages for distributed multimedia applications: a survey and taxonomy. IEEE Multimedia 11 3 (July-September 2004) 74-87
10. Loques O., Curty R., Ansaloni S., and Sztajnberg A. A contract-based approach to describe and deploy non-functional adaptations in software architectures. Journal of the Brazilian Computer Society 10 1 (July 2004)
11. Loques O., and Sztajnberg A. Customizing component-based architectures by contract. Proceedings of the Second International Conference on Component Deployment. LNCS volume 3083 (2004), Springer 18-34
12. Meseguer J. Conditional rewriting as a unified model of concurrency. Theoretical Computer Science 96 1 (April 1992) 73155
13. Miras D., and Internet2 QoS Working Group. Network QoS needs of advanced internet applications - A survey (2002). http://qos.internet2.edu/wg/apps/fellowship/Docs/Internet2AppsQoSNeeds.pdf
14. Navratil J., and Cottrell R. A Practical Approach to Available Bandwidth Estimation. Passive / Active Measurement Workshop, La Jolla, CA (April, 2003) 1-11
15. Steinmetz R. Human Perception of Jitter and Media Synchronization. IEEE J. Selected Areas on Communication 14 1 (January, 1996) 61-72
16. Steinmetz R., and Nahrstedt K. Multimedia: Computing, Communications and Applications (1995), Prentice Hall, Upper Saddle River, N.J.