请问何为系统剧本？

[Phyane]

这几天看到一篇论文，题为《系统剧本的转换与验证》，是台湾高雄第一科技大学的一篇硕士论文，但不理解这其中的系统剧本是什么意思，希望能有高手帮忙解释下，感谢。


下面附上论文的摘要：（是繁体的，有劳费神了）

對系統軟體而言，需求工程(Requirement Engineering)著力於探討
如何實現系統需求之設計目標、功能、和限制等，而以劇本為基礎之
系統需求規格被認為可以有效率且有意義的描述需求工程。在描述劇
本為基礎之系統需求規格的系統劇本時，常以各種 UML圖描述多系
統劇本，但多系統劇本在敘述上有著諸如不一致或不可行等問題，而
在問題的驗證上卻有著因為UML的敘述不易驗證出錯誤的情況。
故本研究提出一個系統劇本轉換方法，轉換系統劇本成為易驗證
之系統需求模型後，對此模型進行需求模型分析，並針對多系統劇本
之一致性及可行性做驗證。此方法以 UML 和派區網(Petri Nets)的轉
換為中心，建立對應規則轉換成派區網，建立與系統劇本吻合之行為
模型；接著，將以派區網所描述之模型做合成，並利用派區網驗證，
找出編輯系統劇本時不一致或不可行等的錯誤。驗證後，透過迴向轉
換指出系統劇本的錯誤位置與可能原因，可以用來讓使用者更快修正
系統劇本錯誤。
研究成果顯示，本研究提出之方法可解決以 UML編輯之系統劇
本問題的驗證，除透過多系統劇本的串列合併與平行合併之合成方
法，可合理推論出劇本間衝突或矛盾外，藉由正向與迴向的唯一對應
性轉換，可明確定位出系統劇本問題之所在。

[Phyane]

为何没人帮忙解答啊？