Linking DC together with TRSL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1945 LNCS, Issue , 2000, Pages 25-44

  Haxthausen, Anne Elisabeth ^a   Yong, Xia ^b  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b UNIVERSITY OF ZURICH   (Switzerland)

Author keywords

Duration calculus; Formal methods; Integration of specification formalisms; RAISE

Indexed keywords

CALCULATIONS; FORMAL METHODS; FORMAL SPECIFICATION; SEMANTICS; SPECIFICATION LANGUAGES; COMPUTATIONAL LINGUISTICS; INTEGRATION; SPECIFICATIONS;

DURATION CALCULUS; OPERATIONAL SEMANTICS; RAISE; REAL TIME REQUIREMENT; REAL-TIME FEATURES; REAL-TIME LOGIC; SATISFACTION RELATION; TIMED PROCESS ALGEBRA; STATE BASED;

INTEGRATION; FORMAL METHODS;

EID: 23044523983     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40911-4_3     Document Type: Conference Paper

References (14)

1. M. Debabi. Integration des paradigmes de programmation parallele, fonc- Tionnelle et imperative: fondements semantiques. Ph.D. Thesis, Universite Paris XI, Centre d'Orsay, July 1994.
2. C. George. Introducing time in RSL: A simple case study. Manuscript, 1998.
3. A. Haxthausen and Y. Xia. Linking DC together with TRSL. Technical Report, Technical University of Denmark, to appear.
4. M. Hennessy and A. Ingolfsdottir. Communicating Process with Value- passing and Assignments. In Formal Aspects of Computing, 5:432-466, Springer-Verlag, 1993.
5. S. Mork, J.C. Godskesen, M.R. Hansen and R. Sharp. A Timed Semantics for SDL. In proceedings of FORTE/PSTV'96, pp. 295-309, Chapman & Hall, 1996.
6. J. He, C A R. Hoare, et al. The ProCoS Approach to the Design of Real-Time Systems: Linking Different Formalisms. Tutorial Paper, Formal Methods Europe 96, Oxford, March 1996.
7. P.K. Pandya and D.V. Hung. Duration Calculus of Weakly Monotonic Time. UNU/IIST Report No. 122, July 1996, revised October 1997.
8. G.D. Plotkin. A Structural Approach to Operational Semantics. In Lecture Notes, DAIMI FN-19, Aarhus University, Denmark, 1981, reprinted 1991.
9. The RAISE Language Group. The RAISE Specification Language. The BCS Practitioners Series. Prentice Hall Int., 1992.
10. The RAISE Method Group. The RAISE Development Method. The BCS Practitioners Series. Prentice Hall Int., 1995.
11. Y. Xia and C. George. An Operational Semantics for Timed RAISE. In Proceedings of the World Congress on Formal Methods, LNCS 1709, pp. 1008-1027, Springer-Verlag, 1999.
12. C. Zhou, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Information Processing Letters, 40(5):269-276, 1991. Revised June 3, 1992.
13. C. Zhou and M.R. Hansen. Chopping a Point. BCS-FACS 7th Refinement Workshop, Electronic Workshops in computing, Springer-Verlag, 1996.
14. C. Zhao, J. Wang and A.P. Ravn. A Formal Description of Hybrid Systems. LNCS 1066, pp. 511-530, Springer-Verlag, 1996.