Paper • The following article is Open access

Non-functionality analysis and verification based on Aspect-Z

, , and

Published under licence by IOP Publishing Ltd
, , Citation Can Qu et al 2021 J. Phys.: Conf. Ser. 1952 042028 DOI 10.1088/1742-6596/1952/4/042028

Download Article PDF

Article metrics

52 Total downloads

Share this article

Author e-mails

505609551@qq.com

alice.hua@qq.com

1451607395@qq.com

lczhang@gdut.edu.cn

Author affiliations

1 School of Information City College of Huizhou Huizhou, China

2 School of data science Guangzhou Huashang College Guangzhou, China

3 School of Electrical and Computer Engineering Nanfang College Guangzhou Guangzhou, China

4 Lichen Zhang School of computers Guangdong University of Technology Guangzhou, China

Buy this article in print

Journal RSS
Sign up for new issue notifications
1742-6596/1952/4/042028

Abstract

The non-functional requirements of the software system usually cross the whole system, and the object-oriented software development method can lead to the entanglement and dispersion of the code. ASECT-Z proposed a formal method for non-functional requirements, it is the formal specification for the extension of Z language. The language based on set theory and mathematical logic, with strict logic, and the formal specification of reasoning. In this paper, we describe a library management system based on Aspect-Z, and then give a formal proof of the formal specification for formal verification.

Export citation and abstract BibTeX RIS

Previous article in issue
Next article in issue

Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.

Please wait… references are loading.
10.1088/1742-6596/1952/4/042028