Papers about CASL-LTL
G. Reggio, E. Astesiano, C. Choppy
CASL-LTL, a CASL extension for dynamic systems, Summary,
Version 1, 8 August 2003
ps
pdf
The intended semantics is described in the above Summary, and
details on the Labelled Transition Logic (LTL) are available in:
-
G. Costa and G. Reggio: Specification of Abstract Dynamic Data Types:
A Temporal Logic Approach; T.C.S.173(2), 1997.
ps.Z
-
E. Astesiano and G. Reggio: Labelled Transition Logic: An Outline;
Acta Informatica 37(11-12), 2001.
ps
Large case studies in CASL-LTL are available in:
- C. Choppy and G. Reggio: Using Casl to Specify the Requirements and the
Design: A Problem Specific Approach; Recent Trends in Algebraic Development
Techniques, Selected Papers of the 14th International Workshop WADT'99,
LNCS 1827, 2000.
A complete version is available
here
- C. Choppy and G. Reggio: Towards a Formally Grounded Software Development
Method; Technical Report, 2003.
pdf
ps
- C. Choppy and G. Reggio. Improving Use Case Based Requirements Using
Formally Grounded Specifications. In Proc. FASE 2004.
pdf
ps
- short ones are given in the above mentioned Summary.
CASL-LTL was also used to present the semantics of some parts of UML:
-
G. Reggio, E. Astesiano, C. Choppy and H. Hussmann: Analysing UML Active
Classes and Associated State Machines -- A Lightweight Formal Approach
FASE 2000, LNCS 1783.
- G. Reggio and M. Cerioli and E. Astesiano: Towards a Rigorous Semantics of
UML Supporting its Multiview Approach; FASE 2001, LNCS 2029.