Please use this identifier to cite or link to this item: https://doi.org/10.1109/TSE.2006.55
Title: Design synthesis from interaction and state-based specifications
Authors: Sun, J. 
Dong, J.S. 
Keywords: Live sequence charts
Specification
Synthesis
Z language
Issue Date: 2006
Source: Sun, J., Dong, J.S. (2006). Design synthesis from interaction and state-based specifications. IEEE Transactions on Software Engineering 32 (6) : 349-364. ScholarBank@NUS Repository. https://doi.org/10.1109/TSE.2006.55
Abstract: Interaction-based and state-based modeling are two complementary approaches of behavior modeling. The former focuses on global interactions between system components. The latter concentrates on the internal states of individual components. Both approaches have been proven useful in practice. One challenging and important research objective is to combine the modeling power of both effectively and then use the combination as the basis for automatic design synthesis. We present a combination of interaction-based and state-based modeling, namely, Live Sequence Charts and Z, for system specification. We then propose a way of generating distributed design from the combinations. Our approach handles systems with intensive interactive behaviors as well as complex state structures. © 2006 IEEE.
Source Title: IEEE Transactions on Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/38958
ISSN: 00985589
DOI: 10.1109/TSE.2006.55
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

35
checked on Dec 7, 2017

WEB OF SCIENCETM
Citations

23
checked on Nov 29, 2017

Page view(s)

31
checked on Dec 11, 2017

Google ScholarTM

Check

Altmetric


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