J-STAGE Home  >  Publications - Top  > Bibliographic Information

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Vol. E96.A (2013) No. 2 pp. 495-504



Special Section on Mathematical Systems Science and its Applications

Sequence diagrams are often used in the modular design of softwares. In this paper, we propose a method to verify correctness of sequence diagrams. With this method, using the process algebra CSP, concurrent systems can be synthesized from a number of sequence diagrams. We define new CSP operators for the synthesis of sequence diagrams. We also report on a tool implementing our synthesis method and demonstrate how the tool analyzes sequence diagrams.

Copyright © 2013 The Institute of Electronics, Information and Communication Engineers

Share this Article