An overview and synthesis on timed process algebras
We present an overview and synthesis of existing results about process algebras for the specification and analysis of timed systems. The motivation is double: present an overview of some relevant and representative approaches and suggest a unifying framework for them.
After presenting fundamental assumptions about timed systems and the nature of abstract time, we propose a general model for them: transition systems whose labels are either elements of a vocabulary of actions or elements of a time domain. Many properties of this model are studied concerning their impact on description capabilities and on realisability issues.
An overview of the language features of the process algebras considered is presented, by focusing on constructs used to express time constraints. The presentation is organised as an exercise of building a timed process algebra from a standard process algebra for untimed systems. The overview is completed by a discussion about description capabilities according to semantic and pragmatic criteria.
Keywordsreal-time specification of timed systems process algebras
Unable to display preview. Download preview PDF.
- [AB84]D. Austry and G. Boudol. Algèbre de processus et synchronisation. Theoretical Computer Science, 30, 1984.Google Scholar
- [BB90]J.C.M. Baeten and J.A. Bergstra. Real Time Process Algebra. Technical Report CS-R9053, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, 1990.Google Scholar
- [BC85]G. Berry and L. Cosserat. The Esterel synchronous programming language and its mathematical semantics. In LNCS 197: Proceedings CMU Seminar on Concurrency, Springer-Verlag, 1985.Google Scholar
- [BL91]T. Bolognesi and F. Lucidi. LOTOS-like process algebra with urgent or timed interactions. In Proceedings of REX Workshop “Real-Time: Theory in Practice”. Mook, the Netherlands, June 1991.Google Scholar
- [CHPP87]P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages, Munich, January 1987.Google Scholar
- [DS89]J. Davies and S. Schneider. An Introduction to Timed CSP. Technical Report PRG-75, Oxford University Computing Laboratory, UK, August 1989.Google Scholar
- [HR90]M. Hennessy and T. Regan. A Temporal Process Algebra. Technical Report 2/90, University of Sussex, UK, April 1990.Google Scholar
- [HR91]M. Hennessy and T. Regan. A Process Algebra for Timed Systems. Technical Report 5/91, University of Sussex, UK, April 1991.Google Scholar
- [Klu91]A.S. Klusener. Completeness in Real Time Process Algebra. Technical Report CS-R9106, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, January 1991.Google Scholar
- [Mil80]R. Milner. A Calculus of Communicating Systems. In LNCS 92, Springer Verlag, 1980.Google Scholar
- [Mil83]R. Milner. Calculi for Synchrony and Asynchrony. Theoretical Computer Science, 25, 1983.Google Scholar
- [Mil91]G. J. Milne. The Formal Description and Verification of Hardware Timing. IEEE Transactions on Computers, 40 (7), July 1991.Google Scholar
- [MT90]F. Moller and C. Tofts. A Temporal Calculus of Communicating Processes. In J.C.M. Baeten and J.W. Klop, editors, LNCS 458. Proceedings of CONCUR '90 (Theories of Concurrency: Unification and Extension), Amsterdam, the Netherlands, pages 401–415, Springer-Verlag, August 1990.Google Scholar
- [NRSV90]X. Nicollin, J.-L. Richier, J. Sifakis, and J. Voiron. ATP: an Algebra for Timed Processes. In Proceedings of the IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Gallilee, Israel, April 1990.Google Scholar
- [NS90]X. Nicollin and J. Sifakis. The algebra of timed processes ATP: theory and application. Technical Report RT-C26, LGI-IMAG, Grenoble, France, December 1990.Google Scholar
- [NSY91]X. Nicollin, J. Sifakis, and S. Yovine. From ATP to Timed Graphs and Hybrid Systems. In Proceedings of REX Workshop “Real-Time: Theory in Practice”. Mook, the Netherlands, June 1991.Google Scholar
- [Plo81]G.D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, Århus University. Computer Science Department, Århus, Denmark, 1981.Google Scholar
- [Sch91]S. Schneider. An Operational Semantics for Timed CSP. Programming Research Group, Oxford University, UK, February 1991.Google Scholar
- [Wan90]Wang Yi. Real-time behaviour of asynchronous agents. In J.C.M. Baeten and J.W. Klop, editors, LNCS 458. Proceedings of CONCUR '90 (Theories of Concurrency: Unification and Extension), Amsterdam, the Netherlands, pages 502–520, Springer-Verlag, August 1990.Google Scholar
- [Wan91]Wang Yi. CCS + Time = an Interleaving Model for Real Time Systems. In Proceedings of ICALP '91, Madrid, Spain, July 1991.Google Scholar