系统操作规约(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字符串操作技巧之语法、示例与应用场景分析

《Java字符串操作技巧之语法、示例与应用场景分析》在Java算法题和日常开发中,字符串处理是必备的核心技能,本文全面梳理Java中字符串的常用操作语法,结合代码示例、应用场景和避坑指南,可快速掌握字... 目录引言1. 基础操作1.1 创建字符串1.2 获取长度1.3 访问字符2. 字符串处理2.1 子字

Python 中的 with open文件操作的最佳实践

《Python中的withopen文件操作的最佳实践》在Python中,withopen()提供了一个简洁而安全的方式来处理文件操作,它不仅能确保文件在操作完成后自动关闭,还能处理文件操作中的异... 目录什么是 with open()?为什么使用 with open()?使用 with open() 进行

Linux ls命令操作详解

《Linuxls命令操作详解》通过ls命令,我们可以查看指定目录下的文件和子目录,并结合不同的选项获取详细的文件信息,如权限、大小、修改时间等,:本文主要介绍Linuxls命令详解,需要的朋友可... 目录1. 命令简介2. 命令的基本语法和用法2.1 语法格式2.2 使用示例2.2.1 列出当前目录下的文

利用Python快速搭建Markdown笔记发布系统

《利用Python快速搭建Markdown笔记发布系统》这篇文章主要为大家详细介绍了使用Python生态的成熟工具,在30分钟内搭建一个支持Markdown渲染、分类标签、全文搜索的私有化知识发布系统... 目录引言:为什么要自建知识博客一、技术选型:极简主义开发栈二、系统架构设计三、核心代码实现(分步解析

Python FastAPI+Celery+RabbitMQ实现分布式图片水印处理系统

《PythonFastAPI+Celery+RabbitMQ实现分布式图片水印处理系统》这篇文章主要为大家详细介绍了PythonFastAPI如何结合Celery以及RabbitMQ实现简单的分布式... 实现思路FastAPI 服务器Celery 任务队列RabbitMQ 作为消息代理定时任务处理完整

Linux系统中卸载与安装JDK的详细教程

《Linux系统中卸载与安装JDK的详细教程》本文详细介绍了如何在Linux系统中通过Xshell和Xftp工具连接与传输文件,然后进行JDK的安装与卸载,安装步骤包括连接Linux、传输JDK安装包... 目录1、卸载1.1 linux删除自带的JDK1.2 Linux上卸载自己安装的JDK2、安装2.1

Mysql表的简单操作(基本技能)

《Mysql表的简单操作(基本技能)》在数据库中,表的操作主要包括表的创建、查看、修改、删除等,了解如何操作这些表是数据库管理和开发的基本技能,本文给大家介绍Mysql表的简单操作,感兴趣的朋友一起看... 目录3.1 创建表 3.2 查看表结构3.3 修改表3.4 实践案例:修改表在数据库中,表的操作主要

C# WinForms存储过程操作数据库的实例讲解

《C#WinForms存储过程操作数据库的实例讲解》:本文主要介绍C#WinForms存储过程操作数据库的实例,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、存储过程基础二、C# 调用流程1. 数据库连接配置2. 执行存储过程(增删改)3. 查询数据三、事务处

Java使用Curator进行ZooKeeper操作的详细教程

《Java使用Curator进行ZooKeeper操作的详细教程》ApacheCurator是一个基于ZooKeeper的Java客户端库,它极大地简化了使用ZooKeeper的开发工作,在分布式系统... 目录1、简述2、核心功能2.1 CuratorFramework2.2 Recipes3、示例实践3

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

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