TY - Jour A2 - Dascalescu，Lucian Au - El Miloudi，Khadija Au - Ettouhami，Aziz Py - 2018 Da - 2018/12/02 TI - 一种使用Z符号的使用案例图的多视图正式模型：迈为改善功能要求质量SP -6854920 VL - 2018 AB - 我们提出了一种新的UML使用案例图的正式模型，使用Z表示法解决其一些缺点。因此，UML使用案例图已经变得常用于结构的功能要求，并且现在软件开发人员面临的最大挑战是提供满足客户要求的高质量产品。然而，UML模型的主要缺点是他们的不精确。此外，它们基本上是一种半正面建模表示和相关的自然语言要求，缺乏任何机制，严格检查一致性，导致其模型受到歧义。本文报告了多视图上下文中的第一种正式建模方法。该方法分为两个步骤。在第一步中，使用z表示法提出了一个正式的UML用例图模型。然后，提出了多视图一致性检查。这种方法保证了软件一致性，提高要求质量。 SN - 2314-4904 UR - https://doi.org/10.1155/2018/6854920 DO - 10.1155/2018/6854920 JF - Journal of Engineering PB - Hindawi KW - ER -