Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification

Chairman: L. Schröder      Vice Chairman: M. Roggenbach      Past Chairmen: T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski

Talk "Model Integration, Refinement and Transformations"

by Zhiming Liu

Wed, 08 January 2014 at 04:00 pm in Theddingworth near Leicester, UK

Abstract: A complex application software system development requires models of different aspects of the system architecture, and different view points of different users. We will discuss how a model integration, refinement and transformations are treated in the rigorous model driven development method, rCOS. We argue for the need of a unified semantic theory that support the separation of concerns, decomposition and refinement.