Title:Formal Model Driven Design

Speaker: Dr. Liu Zhiming  The United Nations Unviersity,International Institute for Software and Technology

Time: 2£º30pm, Friday£¬March 28

Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS


We discuss how model driven design can help in improving dependability of complex software systems. Through its
application to the benchmark CoCoME, we show how rCOS, a notation for Refinement of Component and Object System,
is used to formalise the key engineering concepts and artifacts in model driven design. We discuss the problems and
experience that we have learnt in this application.