Welcome to the InfoSci Platform
Reference Hub2
Linking UML with Integrated Formal Techniques

Linking UML with Integrated Formal Techniques

Jing Liu, Jin Song
Copyright: © 2001 |Pages: 14
ISBN13: 9781930708051|ISBN10: 193070805X|EISBN13: 9781930708990
DOI: 10.4018/978-1-930708-05-1.ch013
Cite Chapter Cite Chapter

MLA

Liu, Jing, and Jin Song. "Linking UML with Integrated Formal Techniques." Unified Modeling Language: Systems Analysis, Design and Development Issues, edited by Keng Siau and Terry Halpin, IGI Global, 2001, pp. 211-224. https://doi.org/10.4018/978-1-930708-05-1.ch013

APA

Liu, J. & Song, J. (2001). Linking UML with Integrated Formal Techniques. In K. Siau & T. Halpin (Eds.), Unified Modeling Language: Systems Analysis, Design and Development Issues (pp. 211-224). IGI Global. https://doi.org/10.4018/978-1-930708-05-1.ch013

Chicago

Liu, Jing, and Jin Song. "Linking UML with Integrated Formal Techniques." In Unified Modeling Language: Systems Analysis, Design and Development Issues, edited by Keng Siau and Terry Halpin, 211-224. Hershey, PA: IGI Global, 2001. https://doi.org/10.4018/978-1-930708-05-1.ch013

Export Reference

Mendeley
Favorite

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

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.