next up previous

Final Report of the COST-247 Action

Refinement of Lotos specifications

Timo Karvi

Department of Computer Science
PO Box 26 (Teollisuuskatu 23)
E-mail: Timo.Karvi@cs.Helsinki.FI


It can be claimed that current Lotos environments don't support sufficiently the design of a large specification. Given the requirements and service specification of a protocol, a good Lotos environment should help to develop the final specification gradually step by step. At each step, it should also be possible to verify that the correct final specification is reachable, at least in principle. In this talk we pay attention to the CCS-related works of Celikkan, Cleaveland and Steffen. We examine their notion of partially defined specifications and show its usefulness also with respect to Lotos. However, there are some problems in applying the concept to specifications in full Lotos.

This presentation has been given during the COST-247 9th Management Committee Meeting (Antalya, Turkey, November 4--5, 1996).

COST-247 Working Group(s):

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page