CTc – a tool supporting the construction of cTLA-specifications

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

Volumn 1055, Issue , 1996, Pages 407-411

  Heyl, Carsten ^a   Mester, Arnulf ^a   Krumm, Heiko ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

DESIGN TOOL; DISTRIBUTED SOFTWARE SYSTEM; PROCESS PATTERNS; REFINEMENT STEP; STEPWISE REFINEMENT; TOOL SUPPORTING;

FORMAL SPECIFICATION;

EID: 84958759039     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61042-1_60     Document Type: Conference Paper

References (16)

1. M. Abadi, L. Lamport: The existence of refinement mappings. Theoretical Computer Science, 82(2):253-284, May 1991.
2. E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns. Elements of Reusable Object-Oriented Software. 1994
3. J. Grosch, H. Emmelmann: A Tool Box for Compiler Construction. Compiler Generation Report No. 20, GMD Kaxlsruhe, Jan 1990.
4. P. Herrmaaan, H. Krumm: Compositional Specification and Verification of High-Speed Transfer Protocols. In: S.T. Vuong and S.T. Chanson (Eds.) Protocol Specification, Testing, and Verification XIV. 1994.
5. P. Herrmann, H. Krumm: Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations. In: P. Dembinski and M. Sredniawa (Eds.) Protocol Specification, Testing, and Verification XV, 1995.
6. C. Heyl: Tool Support for the Compositional Design of Distributed Systems in TLA. Diploma Thesis (in German), Univ. Dortmund, Informatik IV, 1995.
7. C. Heyl, A. Mester: cTLA syntax definition. Univ. Dortmund, Informatik IV. Technical Report RvS-TLA-95/49, Oct 1995.
8. ISO: LOTOS: Language for the temporal ordering specification of observational behaviour. International Standard ISO/IS 8807, 1987.
9. L. Lamport: TLA+: syntax and semantics. Digital Equipment Corporation, Systems Research Center, Preliminary Version, Feb 1992.
10. L. Lamport: The Temporal Logic of Actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
11. K. Luttmann: Formal Design and Implementation of an Internet Mail System. Diploma Thesis (in German), Univ. Dortmund, Informatik IV, 1996.
12. A. Mester: tTLA+ 1 syntax description. Univ. Dortmund, Informatik IV, Technical Report RvS-TLA-92/4, Jan 1993.
13. A. Mester, P. Herrmann: Tools for TLA-based Specifications. Univ. Dortmund, Informatik IV, Technical Report RvS-TLA-94/35, 1994.
14. A. Mester, H. Krumm: Composition and Refinement Mapping based Construction of Distributed Appfications. In: Uffe H. Engberg, Kim G. Larsen, Arne Skou (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, BRICS NS-95-2, 290-303, Aarlius, Denmark, May 1995
15. O. Meier: Tool Support for getting into TLA Specifications of Distributed Systems. Diploma Thesis (in German), Univ. Dortmund, Informatik IV, 1994.
16. J.B. Postel: Simple Mail Transfer Protocol. Request for Comments 821, August 1982