Linking UML with Integrated Formal Techniques

Abstract

The challenge for complex systems specification is how to visually and precisely capture static, dynamic and real-time system properties in a highly structured way. In particular, requirement specifications for composite systems often involve capturing concurrent interactions between software control parts and physical system components/devices. The requirement specifications of such systems need to capture the structure and behavior of each individual physical/software components and their communications. In this chapter, we investigate the links between the graphical notation UML and an integrated formal notation. We present an effective combination of UML and an integrated formal method for the requirement specification of a light control system. This work is supported in part by the research grant (Integrated Formal Methods) from National University of Singapore (No. RP3991615).