系统操作规约(System Operation Contract)

2024-06-03 04:20

本文主要是介绍系统操作规约(System Operation Contract),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

领域建模补充

问题:

  1.  联系有方向性
  2.  属性有类型
  3.  领域模型尽量避免出现界面相关的东西


习题

问题

考察点

系统操作规约

示例

A)

Operation: MakeSale()

Cross References: UC:Purchase

Preconditions: User has logged in

Postconditions:

An ProductList w was created.

Attributes of w were initialized.

契约CO2

checkEnemyHealth

操作

 checkEnemyHealth(enemyId)

交叉引用

前置条件

·角色c  (Character)和敌人e (Enemy) 已创建

·characterAttack()dealDamage(enemyId)操作已完成

·游戏处于“活动”状态

后置条件

返回敌人e(Enemy)的血量,精度为float

模板 

CO1:

Operation:                

Cross References:          

Preconditions:             

Postconditions:             

原则性问题:

  1.  没有SSD的每一个系统操作编写SSC
  2.  SOC名字对应系统操作的名字
  3.  部分Postcondition 和实际情况有较大差别。

 解析

每个契约均为前面SSD图用户向系统发出的动作

例如

Contract CO1: Login(WorkerId, psw)

Contract CO2: AddItem()

Contract CO3: EnterItemDetails:(Name, PartitionNum, ShelfNum, LayerNum)

Contract CO4: ConfirmAddition()

 Operation:    与Contract CO1相同 

Cross References:   所填内容为SSD图所画的用例名

Preconditions:    前置条件         

Postconditions:    后置条件 

我的答案

  • System Operation Contract

CO1: enterBook(BookID)

Operation:                enterBook(BookID)

Cross References:          UC: Borrow Books

Preconditions:             ongoing book borrowing service

Postconditions:            • The book whose BookID equals the parameter named                                         BookID was associated with b.

CO2: borrowBook(BookID)

Operation:                 borrowBook(BookID)

Cross References:           UC: Borrow Books

Preconditions:              ongoing book borrowing service

Postconditions:             • For all Book instances which were associated with b,

                                        BorrowStatus became “borrowed.”

                                       • b.dueDate was initialized.

可参考第二组的图书管理系统做法,该小组做法更严谨

这篇关于系统操作规约(System Operation Contract)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1025994

相关文章

Java利用JSONPath操作JSON数据的技术指南

《Java利用JSONPath操作JSON数据的技术指南》JSONPath是一种强大的工具,用于查询和操作JSON数据,类似于SQL的语法,它为处理复杂的JSON数据结构提供了简单且高效... 目录1、简述2、什么是 jsONPath?3、Java 示例3.1 基本查询3.2 过滤查询3.3 递归搜索3.4

Python使用DrissionPage中ChromiumPage进行自动化网页操作

《Python使用DrissionPage中ChromiumPage进行自动化网页操作》DrissionPage作为一款轻量级且功能强大的浏览器自动化库,为开发者提供了丰富的功能支持,本文将使用Dri... 目录前言一、ChromiumPage基础操作1.初始化Drission 和 ChromiumPage

利用Go语言开发文件操作工具轻松处理所有文件

《利用Go语言开发文件操作工具轻松处理所有文件》在后端开发中,文件操作是一个非常常见但又容易出错的场景,本文小编要向大家介绍一个强大的Go语言文件操作工具库,它能帮你轻松处理各种文件操作场景... 目录为什么需要这个工具?核心功能详解1. 文件/目录存javascript在性检查2. 批量创建目录3. 文件

Linux系统之主机网络配置方式

《Linux系统之主机网络配置方式》:本文主要介绍Linux系统之主机网络配置方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、查看主机的网络参数1、查看主机名2、查看IP地址3、查看网关4、查看DNS二、配置网卡1、修改网卡配置文件2、nmcli工具【通用

Linux系统之dns域名解析全过程

《Linux系统之dns域名解析全过程》:本文主要介绍Linux系统之dns域名解析全过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、dns域名解析介绍1、DNS核心概念1.1 区域 zone1.2 记录 record二、DNS服务的配置1、正向解析的配置

Redis中管道操作pipeline的实现

《Redis中管道操作pipeline的实现》RedisPipeline是一种优化客户端与服务器通信的技术,通过批量发送和接收命令减少网络往返次数,提高命令执行效率,本文就来介绍一下Redis中管道操... 目录什么是pipeline场景一:我要向Redis新增大批量的数据分批处理事务( MULTI/EXE

使用Python高效获取网络数据的操作指南

《使用Python高效获取网络数据的操作指南》网络爬虫是一种自动化程序,用于访问和提取网站上的数据,Python是进行网络爬虫开发的理想语言,拥有丰富的库和工具,使得编写和维护爬虫变得简单高效,本文将... 目录网络爬虫的基本概念常用库介绍安装库Requests和BeautifulSoup爬虫开发发送请求解

Oracle存储过程里操作BLOB的字节数据的办法

《Oracle存储过程里操作BLOB的字节数据的办法》该篇文章介绍了如何在Oracle存储过程中操作BLOB的字节数据,作者研究了如何获取BLOB的字节长度、如何使用DBMS_LOB包进行BLOB操作... 目录一、缘由二、办法2.1 基本操作2.2 DBMS_LOB包2.3 字节级操作与RAW数据类型2.

JDK多版本共存并自由切换的操作指南(本文为JDK8和JDK17)

《JDK多版本共存并自由切换的操作指南(本文为JDK8和JDK17)》本文介绍了如何在Windows系统上配置多版本JDK(以JDK8和JDK17为例),并通过图文结合的方式给大家讲解了详细步骤,具有... 目录第一步 下载安装JDK第二步 配置环境变量第三步 切换JDK版本并验证可能遇到的问题前提:公司常

Linux系统中配置静态IP地址的详细步骤

《Linux系统中配置静态IP地址的详细步骤》本文详细介绍了在Linux系统中配置静态IP地址的五个步骤,包括打开终端、编辑网络配置文件、配置IP地址、保存并重启网络服务,这对于系统管理员和新手都极具... 目录步骤一:打开终端步骤二:编辑网络配置文件步骤三:配置静态IP地址步骤四:保存并关闭文件步骤五:重