InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming

  • Dan Barak
  • David Harel
  • Rami Marelly
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3098)


We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to scale-up the design and development cycle of reactive systems. InterPlay involves two main ideas. In the first, we concentrate on the inter-object design approach involving LSCs and the Play-Engine tool, enabling multiple Play-Engines to run in cooperation. This makes possible the distributed design of large-scale systems by different teams, as well as the refinement of parts of a system using different Play-Engines. The second idea concerns combining the inter-object approach with the more conventional intra-object approach, involving, for example, statecharts and Rhapsody. InterPlay makes it possible to run the Play-Engine in cooperation with Rhapsody, and is very useful when some system objects have clear and distinct internal behavior, or in an iterative development process where the design is implementation-oriented and the ultimate goal is to end up with an intra-object implementation.


External Object Coarse Level External View Simple Object Access Protocol Internal Behavior 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Brown, N., Kindel, C.: Distributed Component Object Model Protocol - DCOM/1.0.,
  2. 2.
    Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19(1) (2001); In: Ciancarini, P., Fantechi, A., Gorrieri, R. (eds.) Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999), pp. 293–312. Kluwer Academic Publishers, Dordrecht (1999)Google Scholar
  3. 3.
    Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Prog. 8(3), 231–274 (1987); Preliminary version: Tech. Report CS84-05, TheWeizmann Institute of Science, Rehovot, Israel (February 1984) zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    Harel, D., Gery, E.: Executable Object Modeling with Statecharts. Computer, 31–42 (July 1997)Google Scholar
  5. 5.
    Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)Google Scholar
  6. 6.
  7. 7.
    Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1992)Google Scholar
  8. 8.
    Microsoft. NET architecture and resources,
  9. 9.
    OMG - Object Management Group. The Common Object Request Broker: Architecture and Specification, 2.2 edn (1992)Google Scholar
  10. 10.
    Simple Object Access Protocol (SOAP) 1.1. W3C Note 08 May (2000),
  11. 11.
    Wollrath, A., Riggs, R., Waldo, J.: A Distributed Object Model for the Java System. USENIX Computing Systems 9 (November/December 1996)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Dan Barak
    • 1
  • David Harel
    • 1
  • Rami Marelly
    • 1
  1. 1.The Weizmann Institute of ScienceRehovotIsrael

Personalised recommendations