Synthesis of distributed processes from scenario-based specifications

Given a set of sequence diagrams, the problem of synthesis is of deciding whether there exists a satisfying object system and if so, synthesize one automatically. It is crucial in the development of complex systems, since sequence diagrams serve as the manifestation of use cases and if synthesizable...

Full description

Saved in:
Bibliographic Details
Main Authors: SUN, Jun, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2005
Subjects:
LSC
CSP
Online Access:https://ink.library.smu.edu.sg/sis_research/5056
https://ink.library.smu.edu.sg/context/sis_research/article/6059/viewcontent/Synthesis_of_Distributed_Processes_from_Scenario_Based_Specifications.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
id sg-smu-ink.sis_research-6059
record_format dspace
spelling sg-smu-ink.sis_research-60592020-03-12T07:57:49Z Synthesis of distributed processes from scenario-based specifications SUN, Jun DONG, Jin Song Given a set of sequence diagrams, the problem of synthesis is of deciding whether there exists a satisfying object system and if so, synthesize one automatically. It is crucial in the development of complex systems, since sequence diagrams serve as the manifestation of use cases and if synthesizable they could lead directly to implementation. It is even more interesting (and harder) if the synthesized object system is distributed. In this paper, we propose a systematic way of synthesizing distributed processes from Live Sequence Charts. The basic idea is to first construct a CSP specification from the LSC specification, and then use CSP algebraic laws to group the behaviors of each object effectively. The key point is that the behaviors of each object can be decided locally without constructing the global state machine. 2005-07-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/5056 info:doi/10.1007/11526841_28 https://ink.library.smu.edu.sg/context/sis_research/article/6059/viewcontent/Synthesis_of_Distributed_Processes_from_Scenario_Based_Specifications.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University LSC CSP Synthesis Programming Languages and Compilers Software Engineering
institution Singapore Management University
building SMU Libraries
continent Asia
country Singapore
Singapore
content_provider SMU Libraries
collection InK@SMU
language English
topic LSC
CSP
Synthesis
Programming Languages and Compilers
Software Engineering
spellingShingle LSC
CSP
Synthesis
Programming Languages and Compilers
Software Engineering
SUN, Jun
DONG, Jin Song
Synthesis of distributed processes from scenario-based specifications
description Given a set of sequence diagrams, the problem of synthesis is of deciding whether there exists a satisfying object system and if so, synthesize one automatically. It is crucial in the development of complex systems, since sequence diagrams serve as the manifestation of use cases and if synthesizable they could lead directly to implementation. It is even more interesting (and harder) if the synthesized object system is distributed. In this paper, we propose a systematic way of synthesizing distributed processes from Live Sequence Charts. The basic idea is to first construct a CSP specification from the LSC specification, and then use CSP algebraic laws to group the behaviors of each object effectively. The key point is that the behaviors of each object can be decided locally without constructing the global state machine.
format text
author SUN, Jun
DONG, Jin Song
author_facet SUN, Jun
DONG, Jin Song
author_sort SUN, Jun
title Synthesis of distributed processes from scenario-based specifications
title_short Synthesis of distributed processes from scenario-based specifications
title_full Synthesis of distributed processes from scenario-based specifications
title_fullStr Synthesis of distributed processes from scenario-based specifications
title_full_unstemmed Synthesis of distributed processes from scenario-based specifications
title_sort synthesis of distributed processes from scenario-based specifications
publisher Institutional Knowledge at Singapore Management University
publishDate 2005
url https://ink.library.smu.edu.sg/sis_research/5056
https://ink.library.smu.edu.sg/context/sis_research/article/6059/viewcontent/Synthesis_of_Distributed_Processes_from_Scenario_Based_Specifications.pdf
_version_ 1770575201523728384