Synthesis of distributed processes from scenario-based specifications

Lecture Notes in Computer Science

Volumn 3582, Issue , 2005, Pages 415-431

  Sun, Jun ^a   Dong, Jin Song ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

CSP; LSC; Synthesis

Indexed keywords

COMPUTER PROGRAMMING; MATHEMATICAL TECHNIQUES;

CSP; LSC; SCENERIO-BASED SPECIFICATIONS;

LOGIC PROGRAMMING;

EID: 26444605779     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11526841_28     Document Type: Conference Paper

References (27)

1. R. Alur, K. Etessami, and M. Yannakakis. Inference of Message Sequence Charts. In Proc. of the 22nd International Conference on Software Engineering, pages 304-313. ACM Press, 2000.
2. R. Alur and M. Yannakakis. Model Checking of Message Sequence Charts. In Proc. of the 10th International Conference on Concurrency Theory, pages 114-129. Springer-Verlag, 1999.
3. Y. Bontemps and P. Heymans. Turning High-Level Live Sequence Charts into Automata. In ICSE'02 Workshop: Scenarios and State Machines: Models, Algorithms and Tools, 2002.
4. Y. Bontemps, P. Schobbens, and C. Löding. Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundamenta Informaticae, 62(2):139-169, July 2004.
5. S. D. Brookes and A. W. Roscoe. An Improved Failures Model for Communicating Processes. In Proc. of the Pittsburgh seminar on concurrency LNCS 197, pages 281-305, 1985.
6. J. R. Buchi and L. H. Landweber. Solving Sequential Conditions by Finite State Strategies. Trans. on American Math. Soc., 138:295-311, 1969.
7. D. Harel and R. Marelly. Play-Engine User's Guide, 2003.
8. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1):45-80, 2001.
9. J. Davies. Specification and Proof in Real-Time CSP. Cambridge University Press, 1993.
10. Formal System Europe. Failure Divergence Refinement. http://www.fsel.com/ , 2003.
11. T. Grotker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.
12. UML Group. OMG UML v1.5. http://www.uml.org/, June 2002.
13. D. Harel and E. Gery. Executable Object Modeling with Statecharts. Computer, 30(7):31-42, 1997.
14. D. Harel and H. Kugler. Synthesizing State-Based Object Systems from LSC Specifications. In Proc. of CIAA, volume 2088 of LNCS, pages 1-26, 2001.
15. D. Harel and R. Marelly. Come, Let's Play - Scenario-Based Programming Using LSCs and Play-Engine. Springer-Verlag, 2003.
16. Ø. Haugen and K. Stølen. STAIRS C Steps to Analyze Interactions with Refinement Semantics. In Proc. Sixth International Conference on UML (UML'2003), volume 2863 of LNCS, pages 388-402, 2003.
17. C. A. R. Hoare. Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, 1985.
18. ITU. Message Sequence Chart(MSC), Nov 1999. Series Z: Languages and general software aspects for telecommunication systems.
19. J. Klose and H. Wittke. An Automata Based Interpretation of Live Sequence Charts. In TACAS, pages 512-527, 2001.
20. P. Kosiuczenko and M. Wirsing. Formalizing and Executing Message Sequence Charts via Timed Rewriting. Electr. Notes Theor. Comput. Sci., 25:1-25, 1999.
21. K. Koskimies and E. Mäkinen. Automatic Synthesis of State Machines from Trace Diagrams. Softw. Pract. Exper., 24(7):643-658, 1994.
22. X. S. Li, Z. M. Liu, and J. F. He. A Formal Semantics of UML Sequence Diagram. In Australian Software Engineering Conference, pages 168-177. IEEE Computer Society, 2004.
23. R. Marelly and H. Kugler. Multiple Instances and Symbolic Variables in Executable Sequence Charts. In Proceedings of OOPSLA'02, pages 83-100, 2002.
24. A. Pnueli and R. Rosner. Distributed Reactive Systems are Hard to Synthesis. In Proc. of 31st IEEE Sypm. on Fondation of Computer Science, 1990.
25. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
26. S. Schneider, J. Davies, D. M. Jackson, G. M. Reed, J. N. Reed, and A. W. Roscoe. Timed CSP: Theory and practice. In Real-Time: Theory in Practice, volume 600, pages 640-675. Springer-Verlag, 1992.
27. J. Sun and J. S. Dong. Model Checking Live Sequence Charts. In ICECCS'05, to appear, 2005.