Linking UML with Integrated Formal Techniques

Linking UML with Integrated Formal Techniques

Jing Liu (National University of Singapore, Singapore) and Jin Song (Defence Science and Technology Organization, Australia)
DOI: 10.4018/978-1-930708-05-1.ch013
OnDemand PDF Download:
No Current Special Offers


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).

Complete Chapter List

Search this Book: