问题描述
随着专车服务的蓬勃发展，乘客对专车系统的服务质量、安全性、效率、合法性都提出了新的要求。在设计新系统来解决、改善这些问题之前，我们需要基于 KAOS 方法对专车服务系统的需求进行建模分析。
目标模型
首先使用 Generic Goal Pattern 来建立我们的需求框架，将我们的专车系统的大目标分解成两个子目标，【功能性目标】和【非功能性目标】。
pasted-image-34.png
其中，对于专车系统而言，其功能性目标是【乘车请求得到满足】；对于非功能需求，在本报告中我们仅关注【法规得到遵守】方面。
所以接下来我们将着重继续提炼以下两个目标：
- 乘车请求得到满足
- 法规得到遵守
乘车请求得到满足
对这一目标，我们首先使用 Service Requests Pattern 进行提炼
pasted-image-43.png
然后对【专车呼叫】目标使用 Service Requested Pattern 进行提炼
pasted-image-46.png
再对【乘客被运抵指定目的地】目标使用 Milestone Driven Tactic 进行提炼
pasted-image-49.png
法规得到遵守
对这一目标，我们使用 Milestone Driven Tactic 进行提炼
pasted-image-56.png
责任模型
专车平台
pasted-image-59.png
乘客
pasted-image-65.png
司机
pasted-image-68.png
政府
pasted-image-71.png
对象模型
pasted-image-74.png
操作过程模型
pasted-image-78.png
潜在障碍
专车系统运行的最大障碍就是在天气恶劣情况及上下班高峰时专车供不应求。
pasted-image-81.png
