Welcome to the InfoSci Platform
Formal Approaches to Systems Analysis Using UML: An Overview

Formal Approaches to Systems Analysis Using UML: An Overview

Jonathan Whittle
Copyright: © 2002 |Pages: 18
ISBN13: 9781930708419|ISBN10: 1930708416|EISBN13: 9781591400271
DOI: 10.4018/978-1-930708-41-9.ch017
Cite Chapter Cite Chapter

MLA

Whittle, Jonathan. "Formal Approaches to Systems Analysis Using UML: An Overview." Advanced Topics in Database Research, Volume 1, edited by Keng Siau, IGI Global, 2002, pp. 324-341. https://doi.org/10.4018/978-1-930708-41-9.ch017

APA

Whittle, J. (2002). Formal Approaches to Systems Analysis Using UML: An Overview. In K. Siau (Ed.), Advanced Topics in Database Research, Volume 1 (pp. 324-341). IGI Global. https://doi.org/10.4018/978-1-930708-41-9.ch017

Chicago

Whittle, Jonathan. "Formal Approaches to Systems Analysis Using UML: An Overview." In Advanced Topics in Database Research, Volume 1, edited by Keng Siau, 324-341. Hershey, PA: IGI Global, 2002. https://doi.org/10.4018/978-1-930708-41-9.ch017

Export Reference

Mendeley
Favorite

Abstract

Formal methods, whereby a system is described and/or analyzed using precise mathematical techniques, is a well-established and yet, under-used approach for developing software systems. One of the reasons for this is that project deadlines often impose an unsatisfactory development strategy in which code is produced on an ad hoc basis without proper thought about the requirements and design of the piece of software in mind. The result is a large, often poorly documented and un-modular monolith of code that does not lend itself to formal analysis. Because of their complexity, formal methods work best when code is well structured, e.g., when they are applied at the modeling level. UML is a modeling language that is easily learned by system developers and, more importantly, an industry standard, which supports communication between the various project stakeholders. The increased popularity of UML provides a real opportunity for formal methods to be used on a daily basis within the software lifecycle. Unfortunately, the lack of precision of UML means that many formal techniques cannot be applied directly. If formal methods are to be given the place they deserve within UML, a more precise description of UML must be developed. This chapter surveys recent attempts to provide such a description, as well as techniques for analyzing UML models formally.

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.