City University of Hong Kong

CityU Institutional Repository >
3_CityU Electronic Theses and Dissertations >
ETD - Dept. of Computer Science  >
CS - Doctor of Philosophy  >

Please use this identifier to cite or link to this item:

Title: Use-case-driven system design : a synthesis methodology based on labelled petri nets
Other Titles: Ji shi yong ge an ce dong de xi tong she ji : yi ge yi biao ji Piteli wang wei ji chu de he cheng fa
藉使用個案策動的系統設計 : 一個以標記皮特里網為基礎的合成法
Authors: Cheung, King Sing (張景勝)
Department: Dept. of Computer Science
Degree: Doctor of Philosophy
Issue Date: 2002
Publisher: City University of Hong Kong
Subjects: Petri nets
System design
Use cases (Systems engineering)
Notes: CityU Call Number: QA76.9.S88 Z43 2002
Includes bibliographical references (leaves 146-162)
Thesis (Ph.D.)--City University of Hong Kong, 2002
xx, 162 leaves : ill. ; 30 cm.
Type: Thesis
Abstract: The use-case-driven approach has been widely adopted in system design. In this approach, the system functionalities are given as use cases and a system is designed on the basis of use cases. It is essentially required that the design specification should be correct and consistent with respect to the given use cases. In practice, owing to the shortcomings of the existing design methods, there are some unsolved problems in use-case-driven system design. First, the use cases are specified as event trace diagrams or message sequence charts, which are too primitive and do not contain enough details for constructive system design. Moreover, there is a lack of rigorous methods for deriving a system design from the use cases. There are also no effective techniques for verifying the correctness and consistency of the design specification. In this thesis, we contribute a sound methodology for use-case-driven system design that overcomes the unsolved problems. In our methodology, the use cases are represented as labelled Petri nets, in which event occurrences, their pre-conditions and post-conditions are explicitly specified. A system design specification is derived from this Petri-net specification of use cases in three steps. The first step is to synthesise the nets into a single net which serves as a design specification of the integrated system. The second step is to eliminate duplicate event labels and condition labels from the specification through the fusion of common subnets. The third step, which is optional for an object-based design specification, is to project the integrated system on to the objects. The methodology is applied to the design of manufacturing systems, which are typically single integrated systems, and object-oriented systems. Based on a strong theoretical foundation and many computational algorithms, our methodology provides an effective solution for use-case-driven system design with three advantageous features : a formal representation of use cases, a rigorous process for deriving a correct and consistent system design specification, and a systematic and efficient process for eliminating duplicate labels from the design specification. In principle, our methodology can be generally applied to all areas of use-case-driven system design. This thesis specifically shows its applications to manufacturing system design and object-oriented system design. Promising results are obtained that resolve many difficult problems perplexing the designers of these systems. Obviously, our methodology can be applied to other areas of system design, such as in protocol engineering, and resolves similar problems. On the other hand, in the process of developing our synthesis methodology, we obtain a number of results which are themselves new in the general theory of Petri nets. These include a new characterisation of the siphon-trap property for augmented marked graphs, a method for synthesising a set of live and safe marked graphs into a well-behaved system, and a systematic method for eliminating duplicate labels from a labelled Petri net.
Online Catalog Link:
Appears in Collections:CS - Doctor of Philosophy

Files in This Item:

File Description SizeFormat
fulltext.html157 BHTMLView/Open
abstract.html157 BHTMLView/Open

Items in CityU IR are protected by copyright, with all rights reserved, unless otherwise indicated.


Valid XHTML 1.0!
DSpace Software © 2013 CityU Library - Send feedback to Library Systems
Privacy Policy · Copyright · Disclaimer