Title :
Rapid prototyping of formally modelled distributed systems
Author :
Buchs, Didier ; Buffo, Mathieu
Author_Institution :
Software Eng. Lab., Swiss Federal Inst. of Technol., Lausanne, Switzerland
Abstract :
This paper presents various kinds of prototypes, used in the prototyping of formally modelled distributed systems. It presents the notions of prototyping techniques and prototype evolution, and shows how to relate them to the software life-cycle. It is illustrated through the use of the formal modelling language for distributed systems CO-OPN/2
Keywords :
distributed processing; software prototyping; distributed systems CO-OPN/2; formal modelling language; formally modelled distributed systems; prototype evolution; rapid prototyping; software life-cycle; Application software; Concrete; Context modeling; Laboratories; Object oriented modeling; Petri nets; Programming; Prototypes; Software engineering; Software prototyping;
Conference_Titel :
Rapid System Prototyping, 1999. IEEE International Workshop on
Conference_Location :
Clearwater, FL
Print_ISBN :
0-7695-0246-6
DOI :
10.1109/IWRSP.1999.779023
