Formal model for SDL specifications based on Timed Rewriting Logic

Automated Software Engineering

Volumn 7, Issue 1, 2000, Pages 61-90

  Steggles, L J ^a   Kosiuczenko, P ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE PORTABILITY; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SOFTWARE ENGINEERING; STANDARDS; TELECOMMUNICATION SYSTEMS;

ALGEBRAIC FORMALISM; FORMAL DESCRIPTION TECHNIQUE; FORMAL SEMANTICS; SPECIFICATION AND DESCRIPTION LANGUAGE; TIMED REWRITING LOGIC;

FORMAL LANGUAGES;

EID: 0033878642     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008717317533     Document Type: Article

References (30)

1. Bartlett, K.A., Scantlebury, R.A., and Wilkinson, P.T. 1969. A note on reliable full-duplex transmission over half-duplex links. Communications of the ACM, 12(5):260-261.
2. Belina, F. and Hogrefe, D. 1989. The CCITT specification and description language SDL. Computer Networks and ISDN Systems, 16:311-341.
3. Belina, F., Hogrefe, D., and Sarma, A. 1991. SDL with Applications from Protocol Specification. Prentice Hall.
4. Bergstra, J.A. and Middelburg, C. 1995. Process algebra semantics φSDL. In Proc. of ACP '95, The Second Workshop on Algebra of Communicating Process, Department of Mathematics and Computing Science, Eindhoven University of Technology. Report No. 95-14, pp. 309-346.
5. Borovanský, P., Kirchner, C., Kirchner, H., Moreau, P.-E., and Vittek, M. 1996. ELAN: A logical framework based on computational systems. In Proc. 1st Int. Workshop on Rewriting Logic and its Applications. Electronic Notes in Theoretical Computer Science, 4.
6. Borovanský, P., Kirchner, C., Kirchner, H., Moreau, P.-E., and Ringeissen, C. 1998. An overview of ELAN. In Proc. Int. Workshop on Rewriting Logic and its Applications '98. Electronic Notes in Theoretical Computer Science, 15.
7. Broy, M. 1991. Towards a formal foundation of the specification and description language SDL. Formal Aspects of Computing, 3:21-57.
8. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., and Quesada, J.F. 1998. Maude as a metalanguage. In Proc. Int. Workshop on Rewriting Logic and its Applications'98. Electronic Notes in Theoretical Computer Science, 15.
9. Diaconescu, R., Futatsugi, K., Ishisone, M., Nakagawa, A.T., and Sawada, T. 1998. An overview of CafeObj. In Proc. Int. Workshop on Rewriting Logic and its Applications'98. Electronic Notes in Theoretical Computer Science, 15.
10. Ellsberger, J., Hogrefe, D., and Sarma, A. 1997. Formal Object-Oriented Language for Communicating Systems. Prentice Hall.
11. Færgemand, O. and Olsen, A. 1994. Introduction to SDL-92. Computer Networks and ISDN Systems, 26:1143-1167.
12. Fleischhack, H. and Tapken, J. 1997. An M-Net semantics for a real-time extension of μSDL. In Proc. FME '97: Industrial Applications and Strengthened Foundations of Formal Methods. Lecture Notes in Computer Science 1313, Springer-Verlag, pp. 162-181.
13. Haugen, Ø. 1996. Special Issue on SDL and MSC. Computer Networks and ISDN Systems, 28(12).
14. Hinkel, U. 1998. Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL. Ph.D. Thesis, Technical University Munich.
15. Holz, E. and Stølen, K. 1995. An attempt to embed a restricted version of SDL as a target language in focus. Formal Description Techniques VII. Chapman and Hall.
16. ITU-T. 1993. Revised recommendation Z. 100-CCITT Specification and Description Language (SDL), ITU, COM X-R 26.
17. ITU-T. 1996. Recommendation Z.120. Message Sequence Charts (MSC). ITU, Geneva.
18. Klop, J.W. 1992. Term rewriting systems. Handbook of Logic in Computer Science, Vol. II. Oxford University Press.
19. Kosiuczenko, P. 1997. Time in message sequence charts: A formal approach. In Proc. of EuroPar '97. Lecture Notes in Computer Science 1300, Springer-Verlag.
20. Kosiuczenko, P. and Wirsing, M. 1997a. Timed rewriting logic with an application to object-based specification. Science of Computer Programming, 28:225-246.
21. Kosiuczenko, P. and Wirsing, M. 1997b. Timed rewriting logic with an application to time-sensitive systems. In Proc. of Int. Summer School on Proof and Computation, Marktoberdorf, Springer-Verlag.
22. Leue, S. 1995. Specifying real-time requirements for SDL specifications - A temporal logic-based approach. In Proc. of 15th Int. Symp. on Protocol Specification, Testing, and Verification, Chapman and Hall.
23. Meseguer, J. 1992. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science, 96:73-155.
24. Meseguer, J. 1993. A logical theory of concurrent objects and its realization in the Maude language. Research Directions in Concurrent Object-Oriented Programming. MIT Press.
25. Mork, S., Godskesen, J., Hansen, M., and Sharp, R. 1996. A timed semantics for SDL. Formal Description Techniques IX. Chapman and Hall.
26. Olveczky, P. and Meseguer, J. 1996. Specifying real-time systems in rewriting logic. Electronic Notes in Theoretical Computer Science, 4.
27. Olveczky, P., Kosiuczenko, P., and Wirsing, M. 1996. Steamboiler specification problem: An algebraic object-oriented solution. Formal Methods for Industrial Applications, Lecture Notes in Computer Science 1165. Springer-Verlag.
28. Orava, F. 1988. Formal semantics of SDL specifications. Protocol Specification, Testing and Verification VIII, North-Holland, pp. 143-157.
29. Steggles, L.J. and Kosiuczenko, P. 1998. A timed rewriting logic semantics for SDL: A case study of the alternating bit protocol. In Proc. Int. Workshop on Rewriting Logic and its Applications'98. Electronic Notes in Theoretical Computer Science, 15.
30. Wirsing, M. 1990. Algebraic specification. Handbook of Theoretical Computer Science, Vol. B. Amsterdam: North Holland, pp. 675-788.