Thesis (M.Eng.)--Memorial University of Newfoundland, 2000. / Bibliography: leaves 74-79.

Thesis--M. Phil., University of Hong Kong, 1986.

published_or_final_version / Computer Science / Master / Master of Philosophy

No description available.

No description available.

This work is dedicated to the making and research of mobile information system. Following tasks were completed in order to tackle this problem: mobile information system processes analysis; uml modeling analysis; formal modeling methods analysis; composition of system model; system model verification.

The Petri Box Calculus (PBC) consists of an algebra of box expressions, and a corresponding algebra of boxes (a class of labelled Petri nets). A compo- sitional semantics provides a translation from box expressions to boxes. The synthesis problem is to provide an algorithmic translation from boxes to box expressions. The axiomatisation problem is to provide a sound and complete axiomatisation for the fragment of the calculus under consideration, which captures a particular notion of equivalence for boxes. There are several alternative ways of defining an equivalence notion for boxes, the strongest one being net isomorphism. In this thesis, the synthesis and axiomatisation problems are investigated for net semantic isomorphism, and a slightly weaker notion of equivalence, called duplication equivalence, which can still be argued to capture a very close structural similarity of con- current systems the boxes are supposed to represent. In this thesis, a structured approach to developing a synthesis algorithm is proposed, and it is shown how this may be used to provide a framework for the production of a sound and complete axiomatisation. This method is used for several different fragments of the Petri Box Calculus, and for gener- ating axiomatisations for both isomorphism and duplication equivalence. In addition, the algorithmic problems of checking equivalence of boxes and box expressions, and generating proofs of equivalence are considered as extensions to the synthesis algorithm.

Thesis (M.S.)--Ohio University, August, 2000. / Title from PDF t.p.

Thesis (M.S.)--Missouri University of Science and Technology, 2008. / Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed January 21, 2009) Includes bibliographical references.

Thesis (M.S.)--Ohio University, March, 1995. / Title from PDF t.p.