Please use this identifier to cite or link to this item:
Title: Complementary formalisms - synthesis, verification and visualization
Authors: SUN JUN
Keywords: Synthesis, Verification, Visualization, Z/Object-Z, CSP/Timed CSP, MSC/LSC
Issue Date: 28-Sep-2006
Citation: SUN JUN (2006-09-28). Complementary formalisms - synthesis, verification and visualization. ScholarBank@NUS Repository.
Abstract: Over the last few decades, many specification languages have been proposed. Two complementary approaches have proven useful in practice. Logic-based formalisms are based on mathematical techniques which provide the means for defining consistency, completeness, refinement, etc. Diagrammatic formalisms are widely accepted by industry. One challenge of designing complex computer systems is to find benefiting formalisms from those that may vary significantly in presentation and establish sound connections between them. An important part of this thesis is dedicated to the synthesis problem. For system engineering starting with logic-based models, we developed a method of synthesizing finite state machines from Object-Z models with history invariants. For system development starting with diagrams, we investigated ways of synthesizing distributed object systems from Live Sequence Charts. By combining the two approaches, we achieve the goal of generating implementations from complicated system specifications. This thesis also investigates sound transformations between different formalisms for visualization and verification.
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
thesis.pdf1.03 MBAdobe PDF



Page view(s)

checked on Apr 20, 2019


checked on Apr 20, 2019

Google ScholarTM


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