Synthesizing state-based object systems from lsc specifications

International Journal of Foundations of Computer Science

Volumn 13, Issue 1, 2002, Pages 5-15

  Harel, David ^a   Kugler, Hillel ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

Object Oriented Systems; Reactive Systems; Sequence Charts; Software Engineering; Statecharts; Synthesis

Indexed keywords

EID: 84862289473     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054102000935     Document Type: Conference Paper

References (33)

1. Amon, T., G. Boriello and C. Sequin, "Operation/Event Graphs: A design representation for timing behavior", Proc. '91 Conf. on Computer Hardware Description Language, pp. 241-260, 1991.
2. Alur, R., K. Etessami and M. Yannakakis, "Inference of Message Sequence Charts", Proc. 22nd Int. Conf. on Software Engineering (ICSE'00), Limerick, Ireland, June 2000.
3. Abadi, M., L. Lamport and P. Wolper, "Realizable and unrealizable concurrent program specifications", Proc. 16th Int. Colloq. on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 372, Springer-Verlag, pp. 1-17, 1989.
4. Alur, R., and M. Yannakakis, "Model Checking of Message Sequence Charts", Proc. 10th Int. Conf. on Concurrency Theory (CONCUR'99), Lecture Notes in Computer Science, vol. 1664, Springer-Verlag, pp. 114-129, 1999.
5. Boriello, G., "A new interface specification methodology and its application to transducer synthesis", Technical Report UCB/CSD 88/430, University of California Berkeley, 1988.
6. Biermann, A.W., and R. Krishnaswamy, "Constructing Programs from Example Computations", IEEE Trans. Softw. Eng., SE-2 (1976), 141-153.
7. Broy, M., and I. Kniger, "Interaction Interfaces - Towards a Scientific Foundation of a Methodological Usage of Message Sequence Charts", In Formal Engineering Methods, (J. Staples, M. G. Hinchey, and Shaoying Liu, eds), IEEE Computer Society, 1998, pp. 2-15.
8. Damm, W., and D. Harel, "LSCs: Breathing Life into Message Sequence Charts", Formal Methods in System Design 19:1 (2001). (Early version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-based Distributed Systems, (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, pp. 293-312, 1999.)
9. Emerson, E.A., "Temporal and modal logic", Handbook of Theoretical Computer Science, (1990), 997-1072.
10. Emerson, E.A., and E.M. Clarke, "Using branching time temporal logic to synthesize synchronization skeletons", Sci. Comp. Prog. 2 (1982), 241-266.
11. Harel, D., "Statecharts: A Visual Formalism for Complex Systems", Sci. Cornput. Prog. 8 (1987), 231-274. (Preliminary version: Tech. Report CS84-05, The Weizmann Institute of Science, Rehovot, Israel, February 1984.)
12. Harel, D., "From Play-In Scenarios To Code: An Achievable Dream", IEEE Computer, (January 2001), 53-60. (Also in Proc. Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science, Vol. 1783 (Tom Maibaum, ed.), Springer-Verlag, March 2000, pp. 22-34.)
13. Harel, D., and E. Gery, "Executable Object Modeling with Statecharts", IEEE Computer, (July 1997), 31-42. (Also in Proc. 18th Int. Conf. Soft. Eng., Berlin, IEEE Press, March, 1996, pp. 246-257.)
14. Harel, D., and O. Kupferman, "On the Inheritance of State-Based Object Behavior", Proc. 34th Int. Conf. on Component and Object Technology, IEEE Computer Society, Santa Barbara, CA, August 2000.
15. Jacobson, I., Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading, MA, 1992.
16. Kriiger, L, R. Grosu, P. Scholz and M. Broy, "From MSCs to Statecharts", Proc. DIPES'98, Kluwer, 1999.
17. Kugler, H., D. Harel, A. Pnueli, Y. Lu and Y. Bontemps, "Temporal Logic for Live Sequence Charts", in preparation.
18. Koskimies, K., and E. Makinen, "Automatic Synthesis of State Machines from Trace Diagrams", Software - Practice and Experience 24:7 (1994), 643-658.
19. Koskimies, K., T. Systa, J. Tuomi and T. Mannisto, "Automated Support for Modeling OO Software", IEEE Software 15:1 (1998), 87-94.
20. Kupferman, O., and M.Y. Vardi, "Synthesis with incomplete information", Proc. 2nd Int. Conf. on Temporal Logic (ICTL97), pp. 91-106, 1997.
21. Klose, J., and H. Wittke, "Automata Representation of Live Sequence Charts", Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'01), 2001.
22. Leue, S., L. Mehrmann and M. Rezai, "Synthesizing ROOM Models from Message Sequence Chart Specifications", University of Waterloo Tech. Report 98-06, April 1998.
23. Mukund, M., K.N. Kumar, and M. Sohoni, "Synthesizing Distributed Finite-State Systems from MSCs", Proc. 11th Int. Conf. on Concurrency Theory (CONCUR' 00), Lecture Notes in Computer Science, vol. 1877, Springer-Verlag, pp. 521-535, 2000.
24. Manna, Z., and R.J. Waldinger, "A deductive approach to program synthesis" ACM Trans. Prog. Lang. Sys. 2 (1980), 90-121.
25. Pnueli, A., and R. Rosner, "On the Synthesis of a Reactive Module", Proc. 16th ACM Symp. on Principles of Programming Languages, Austin, TX, January 1989.
26. Pnueli, A., R. Rosner, "On the Synthesis of an Asynchronous Reactive Module", Proc. 16th Int. Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, vol. 372, Springer-Verlag, pp. 652-671, 1989.
27. Pnueli, A., R. Rosner, "Distributed Reactive Systems are Hard to Synthesize", Proc. 31st IEEE Symp. on Foundations of Computer Science, pp. 746-757, 1990.
28. Schlor, R. and W. Damm, "Specification and verification of system-level hardware designs using timing diagrams", Proc. European Conference on Design Automation, Paris, France, IEEE Computer Society Press, pp. 518-524, 1993.
29. Selic, B., G. Gullekson and P. Ward, Real-Time Object-Oriented Modeling, John Wiley &Sons, New York, 1994.
30. Documentation of the Unified Modeling Language (UML), available from the Object Management Group (OMG), http://www.omg.org.
31. Wong-Toi, H., and D.L. Dill, "Synthesizing processes and schedulers from temporal specifications", In Computer-Aided Verification '90 (Clark and Kurshan, eds.), DIMACS Series in Discrete Mathematics and Theoretical Computer Science, volume 3, pp. 177-186, 1991.
32. Whittle, J. and J. Schumann, "Generating Statechart Designs from Scenarios", Proc. 22nd Int. Conf. on Software Engineering (ICSE'OO), Limerick, Ireland, June 2000.
33. Z.120 ITU-T Recommendation Z.120: Message Sequence Chart (MSC), ITU-T, Geneva, 1996.