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

Similar Items