Welcome to the InfoSci Platform
Abstracting UML Behavior Diagrams for Verification

Abstracting UML Behavior Diagrams for Verification

María del Mar Gallardo, Jesús Martinez, Pedro Merino, Ernesto Pimentel
Copyright: © 2005 |Pages: 25
ISBN13: 9781591404620|ISBN10: 1591404622|EISBN13: 9781591404644
DOI: 10.4018/978-1-59140-462-0.ch010
Cite Chapter Cite Chapter

MLA

del Mar Gallardo, María, et al. "Abstracting UML Behavior Diagrams for Verification." Software Evolution with UML and XML, edited by Hongji Yang, IGI Global, 2005, pp. 296-320. https://doi.org/10.4018/978-1-59140-462-0.ch010

APA

del Mar Gallardo, M., Martinez, J., Merino, P., & Pimentel, E. (2005). Abstracting UML Behavior Diagrams for Verification. In H. Yang (Ed.), Software Evolution with UML and XML (pp. 296-320). IGI Global. https://doi.org/10.4018/978-1-59140-462-0.ch010

Chicago

del Mar Gallardo, María, et al. "Abstracting UML Behavior Diagrams for Verification." In Software Evolution with UML and XML, edited by Hongji Yang, 296-320. Hershey, PA: IGI Global, 2005. https://doi.org/10.4018/978-1-59140-462-0.ch010

Export Reference

Mendeley
Favorite

Abstract

UML (Unified Modeling Language) and XML (Extensible Markup Language) related technologies have matured, and at present many novel applications of both languages are frequently appearing. This chapter discusses the combined use of both UML and XML in the exciting application domain of software abstraction for verification. In particular, software development environments that use UML notations are now including verification capabilities based on state exploration. This method is effective for many realistic problems, although it is well known that it is affected by the state explosion problem for many complex systems and that some kind of abstraction is needed. This is the point where XML can be used as a powerful technology, due to its features for program transformation. We describe how to use XML-related standards like dom or xmi in order to extend UML verification tools with automatic abstraction.

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.