Welcome to the InfoSci Platform
Verification of Non-Functional Requirements by Abstract Interpretation

Verification of Non-Functional Requirements by Abstract Interpretation

Agostino Cortesi, Francesco Logozzo
Copyright: © 2012 |Pages: 14
ISBN13: 9781613504321|ISBN10: 1613504322|EISBN13: 9781613504338
DOI: 10.4018/978-1-61350-432-1.ch002
Cite Chapter Cite Chapter

MLA

Cortesi, Agostino, and Francesco Logozzo. "Verification of Non-Functional Requirements by Abstract Interpretation." Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions, edited by Stephan Reiff-Marganiec and Marcel Tilly, IGI Global, 2012, pp. 22-35. https://doi.org/10.4018/978-1-61350-432-1.ch002

APA

Cortesi, A. & Logozzo, F. (2012). Verification of Non-Functional Requirements by Abstract Interpretation. In S. Reiff-Marganiec & M. Tilly (Eds.), Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions (pp. 22-35). IGI Global. https://doi.org/10.4018/978-1-61350-432-1.ch002

Chicago

Cortesi, Agostino, and Francesco Logozzo. "Verification of Non-Functional Requirements by Abstract Interpretation." In Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions, edited by Stephan Reiff-Marganiec and Marcel Tilly, 22-35. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-61350-432-1.ch002

Export Reference

Mendeley
Favorite

Abstract

This chapter investigates a formal approach to the verification of non-functional software requirements that are crucial in Service-oriented Systems, like portability, time and space efficiency, and dependability/robustness. The key-idea is the notion of observable, i.e., an abstraction of the concrete semantics when focusing on a behavioral property of interest. By applying an abstract interpretation-based static analysis of the source program, and by a suitable choice of abstract domains, it is possible to design formal and effective tools for non-functional requirements validation.

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.