A timed rewriting logic semantics for SDL: A case study of the alternating bit protocol

Electronic Notes in Theoretical Computer Science

Volumn 15, Issue , 1998, Pages 83-104

  Steggles, L J ^a   Kosiuczenko, Piotr ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SPECIFICATION LANGUAGES;

ALGEBRAIC FORMALISMS; BENCH MARKS; DISTRIBUTED REAL TIME SYSTEM; DYNAMIC BEHAVIOURS; EXPRESSIVE POWER; FORMAL DESCRIPTION TECHNIQUES; FORMAL SEMANTICS; HIERARCHICAL STRUCTURES; INDUSTRIAL STANDARDS; OBJECT-ORIENTED SPECIFICATIONS; REAL TIME ASPECTS; REWRITE RULES; REWRITING LOGIC; SDL; STATIC AND DYNAMIC; TIME CONSTRAINTS; TIME ELAPSE; TIMED REWRITING LOGIC; WIDE SPREADS;

REAL TIME SYSTEMS;

EID: 84874246546     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82554-X     Document Type: Conference Paper

References (20)

1. K. A. Bartlett, R. A. Scantlebury and P. T. Wilkinson. A Note on Reliable Full-Duplex Transmission over Half-Duplex Links. Communications of the ACM, 12(5):260-261, 1969.
2. F. Belina and D. Hogrefe. The CCITT Specification and Description Language SDL. Computer Networks and ISDN Systems, 16:311-341, 1989.
3. J. A. Bergstra and C. Middelburg. Process Algebra Semantics-pSDL. In: Proc. of ACP '95, The Second Workshop on Algebra of Communicating Process, Eindhoven University of Technology, Department of Mathematics and Computing Science, pages 309-346, Report No. 95-14, 1995.
4. P. Borovansky, C. Kirchner, H. Kirchner, P.-E. Moreau and M. Vittek. ELAN: A Logical Framework Based on Computational Systems. In: J. Meseguer (ed), 1st Int. Workshop on Rewriting Logic and its Applications, Electronic Notes in Theoretical Computer Science, Vol. 4, 1996.
5. M. Broy. Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing, 3:21-57, 1991.
6. CCITT. Recommendation Z. 100-Functional Specification and Description Language (SDL), BLUE BOOK, Fascile X.l and X.5, Volume X. International Telecommuncation Union, 1988.
7. CCITT. Revised Recommendation Z. 100-CCITT Specification and Description Language (SDL), COM X I! 26, Geneva, May 1992.
8. O. Faergemand and A. Olsen. Introduction to SDL-92. Computer Networks and ISDN Systems, 26:1143-1167, 1994.
9. U. Hinkel. A formal semantics for SDL based on FOCUS. Ph. D. Thesis, Technical University Munich, 1998. (In preparation.)
10. E. Holz and K. Stolen. An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus. In: D. Hogrefe and S. Leue (eds), Formal Description Techniques VII Chapman and Hall, 1995.
11. ITU-TS Recommendation Z.120. Message Sequence Charts (MSC). ITU-TS, Geneva, 1996.
12. P. Kosiuczenko and M. Wirsing. Timed rewriting logic with an application to object-based specification. Science of Computer Programming, 28:225-246, 1997. (Pubitemid 127412775)
13. P. Kosiuczenko. Time in Message Sequence Charts: A Formal Approach. Proceedings of EuroPar '97, LNCS 1300, Springer-Verlag, 1997.
14. S. Leue. Specifying Real-Time Requirements for SDL Specifications-A Temporal Logic-Based Approach. Procs. of 15th Int. Symp. on Protocol Specification, Testing, and Verification, Chapman and Hall, 1995.
15. J. Meseguer. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96:73-155, 1992.
16. J. Meseguer. A logical theory of concurrent objects and its realization in the Maude language. In: G. Agha, P. Wegner and A. Yonezawa (eds), Research Directions in Concurrent Object-Oriented Programming, MIT Press, 1993.
17. S. Mork, J. Godskesen, M. Hansen and R. Sharp. A Timed Semantics for SDL. In R. Gotzhein and J. Bredereke (eds), Formal Description Techniques IX, Chapman and Hall, 1996.
18. P. Olveczky and J. Meseguer. Specifying Real-Time Systems in Rewriting Logic. Electronic Notes in Theoretical Computer Science, 4:283-308, 1996.
19. P. Olveczky, P. Kosiuczenko, and M. Wirsing. Steamboiler specification problem: an algebraic object-oriented solution. In: J. R. Abrial, E. Boerger, H. Lnagmaack (Eds.), Formal Methods for Industrial Applications, Lecture Notes in Computer Science 1165, Springer-Verlag, 1996.
20. M. Wirsing. Algebraic specification. In: J. van Leeuwen (ed) Handbook of Theoretical Computer Science, Vol. B, pages 675-788, North Holland, Amsterdam, 1990.