Stochastically enhanced timed automata

IFIP Advances in Information and Communication Technology

Volumn 49 AICT, Issue , 2000, Pages 327-347

  Blair, Lynne ^a   Jones, Trevor ^a   Blair, Gordon ^a  

^a LANCASTER UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ASSOCIATED TOOL; DISTRIBUTED MULTIMEDIA SYSTEMS; FORMAL SPECIFICATION; TIMED AUTOMATA;

FORMAL LANGUAGES; MULTIMEDIA SYSTEMS; SPECIFICATIONS;

AUTOMATA THEORY;

EID: 84868276043     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35520-7_17     Document Type: Conference Paper

References (26)

1. "Aspect-Oriented Programming Home Page", Xerox PARC, 2000. http://www.parc.xerox.com/csl/projects/aop/
2. M. Bernardo, R. Gorrieri, "Extended Markovian Process Algebra", In Proc. CONCUR'96, U. Montanari, V. Sassone (eds), Pisa, Italy, LNCS 1119, pp 314-330, Berlin: Springer, 1996.
3. E. Biersack, W. Geyer, "Synchronized Delivery and Playout of Distributed Stored Multimedia Streams", Multimedia Systems, 7(1), pp 70-90, Berlin: Springer, 1999.
4. G.S. Blair, L. Blair, H. Bowman, A. G. Chetwynd, "Formal Specitication of Distributed Multimedia Systems", London: UCL Press, 1998.
5. rd International Workshop on Formal Methods tor Open Object-based Distributed Systems (FMOODS'99), P. Ciancarini, A. Fantechi, R. Gorrieri (eds), Florence, Italy, Massachusetts: Kluwer, 1999.
6. L. Blair, T. Jones, G.S. Blair, "A Tool Suite tor Multi-Paradigm Specification", Short paper, Proc. Fundamental Approaches to Software Engineering (FASE'99), J.-P. Finance (ed), Amsterdam, LNCS 1577, pp 234-238, Berlin: Springer, 1999.
7. L. Blair, "A Tool Suite to Support Aspect-Oriented Specitication", Aspect-Oriented Programming Workshop at ECOOP'99, Lisbon, June 1999. Workshop report in "Object-Oriented Technology: ECOOP'99 Workshop Reader", A. Moreira, S. Demeyer (eds), LNCS 1743, pp 288-313, Berlin: Springer, 1999. Paper available from http://www.comp.lancs.ac.uk/ computing/users/lb/v-qos.html.
8. L. Blair, "The Role of Temporal Logic and Timed Automata in Distributed Multimedia Systems", AAAI'99 workshop on Temporal and Modal Logics tor the Planning of Open Networked Multimedia Systems (PONMS'99), Cape Cod, MA, 1999. A vailable from http://www.comp.lancs.ac.uk/computing/users/lb/v- qos.html
9. G. Blakowski, R. Steinmetz, "A Media Synchronization Survey: Reference Model, Specification and Case Studies", IEEE Journal on Selected Areas in Communications, 14(1), Special Issue on Synchronization Issues in Multimedia Communications, pp 5-35, IEEE, 1996.
10. S. Bornot, J. Sifakis, S. Tripakis, "Modelling Urgency in Timed Systems", Proc. Compositionality (COMPOS'97), LNCS 1536, Berlin: Springer, 1998.
11. H. Bowman, "Modelling Timeouts without Timelocks", In Proc. Formal Methods for Real-Time and Probabilistic Systems (ARTS'99), J.-P. Katoen (ed), Bamberg, Germany, LNCS 1601, pp 334-353, Berlin: Springer, 1999.
12. M. Bravetti, R. Gorrieri, "Interactive Generalized Semi-Markov Processes", In Proc. 7th Int. Workshop on Process Algebras and Performance Modelling (PAPM'99), J. Hillston and M. Silva (eds), pp 83-98, Zaragoza, Spain, Sept. 1999.
13. rd Irish Workshop on Formal Methods, Electronic Workshops in Computing pp20, Springer, 1999.
14. P.R. D'Argenio, J.-P. Katoen, E. Brinksma, "An Algebraic Approach to the Specification of Stochastic Systems (extended abstract)", In Proc. Programming Concepts and Methods (Procomet'98), D. Gries, W.-P. de Roever (eds), Shelter Island, New York, pp 126-147, Chapman & Hall, 1998.
15. th IEEE Real-time Systems Symposium, Phoenix, Arizona, pp 104-114, IEEE, December 1999.
16. H. Garavel, "An Overview of the Eucalyptus Toolbox", Proc. International Workshop on Applied Formal Methods in System Design, pp 76-88, Maribor, Slovenia, June 1996. See http://www.inrialpes.fr/vasy/Publications/ Garavel-96.html.
17. P.W. Glynn, "A GSMP Formalism for Discrete Event Simulation", In Proc. of the IEEE, 77(1), pp 14-23, IEEE, 1989.
18. nd edition)", New-York: Wiley, 1985.
19. H. Hermanns, V. Mertsiotakis, M. Rettlebach, "A Construction and Analysis Tool based on the Stochastic Process Algebra TIPP", In Proc. TACAS'96, LNCS 1055, Berlin: Springer p. 427-430, 1996.
20. J. Hillston, "A Compositional Approach to Performance Modelling", Distinguished Dissertation in Computer Science, Cambridge University Press, 1996.
21. ISO, "Information Processing Systems - Open Systems Interconnection - LOTOS, A Formal Description Technique based on the Temporal Ordering of Observational Behaviour", ISO8807, International Organisation for Standardisation, Geneva, 1989.
22. T. Jones, L. Blair, "A tool-suite for simulating, composing and editing timed automata (LUSCETA: Users manual release 1.0)", Internal Report MPG-99-24, 1999. Available at http://www.comp.lancs.ac.uk/computing/ users/jonest/default.htm.
23. T. Jones, "Case study: Synchronized delivery and playout of distributed stored multimedia streams", Powerpoint presentation, 1999. Available from http://www.comp.lancs.ac.uk/computing/users/jonest/default.htm
24. th DIMACS Workshop on Verification and Control of Hybrid Systems, New Brunswick, New Jersey, October 1995.
25. M.A. Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, "Modelling with Generalized Stochastic Petri Nets", John Wiley & Sons, 1995.
26. G.C. Murphy, R.J. Walker, E.L.A. Baniassad, "Evaluating Emerging Software Development Technologies: Lessons Learned from Assessing Aspect-Oriented Programming", IEEE Transactions on Software Engineering (Special Section on Empirical Software Engineering), 25(4), pp 438-455, IEEE, July/August 1999.