This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming
July 2006 (vol. 32 no. 7)
pp. 467-485
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 a number of related ideas. In the first, we concentrate on the interobject design approach involving live sequence charts (LSCs) and its support tool, the Play-Engine, 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 interobject approach with the more conventional intraobject 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 intraobject implementation. Finally, we have expanded the Play-Engine's ability to delegate some of the system's functionality to complex GUIs. This enables beneficial interaction with "smart” GUIs that have built-in behavior of their own, and which are more naturally implemented in code.

[1] 3D Game Studio, http:/www.3dgamestudio.com/, 2006.
[2] D. Barak, D. Harel, and R. Marelly, “InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming,” Lectures on Concurrency and Petri Nets, Lecture Notes in Computer Science, J. Desel, W. Reisig, and G. Rozenberg, eds., vol. 3098, pp. 66-86. Springer-Verlag, 2004.
[3] A. Benveniste and G. Berry, “The Synchronous Approach to Reactive and Real-Time Systems,” Proc. IEEE, vol. 79, no. 9, pp. 1270-1282, 1991.
[4] N. Brown and C. Kindel, “Distributed Component Object Model Protocol— DCOM/1.0,” http://www.microsoft.com/oledev/ olecomdraft-brown-dcom-v1-spec-01.txt , 2005.
[5] W. Damm and D. Harel, “LSCs: Breathing Life into Message Sequence Charts,” Formal Methods in System Design, vol. 19, no. 1, pp. 45-80, 2001, preliminary version in Proc. Third IFIP Int'l Conf. Formal Methods for Open Object-Based Distributed Systems (FMOODS '99), P. Ciancarini, A. Fantechi, and R. Gorrieri, eds., pp. 293-312. Kluwer Academic Publishers, 1999.
[6] S. Efroni, D. Harel, and I.R. Cohen, “Reactive Animation: Realistic Modeling of Complex Dynamic Systems,” Computer, vol. 38, no. 1, pp. 38-47, 2005.
[7] EXITE, http://extessy.be-efficient.de/english/content/ leistunen/softwareexite, 2006.
[8] D. Harel, “Statecharts: A Visual Formalism for Complex Systems,” Science of Computer Programming, vol. 8, no. 3, pp. 231-274, 1987, preliminary version appeared as Technical Report CS84-05, Weizmann Inst. of Science, Rehovot, Israel, Feb. 1984.
[9] D. Harel, S. Efroni, and I.R. Cohen, “Reactive Animation,” Proc. First Int'l Symp. Formal Methods for Components and Objects (FMCO '02), pp. 136-153, 2003.
[10] D. Harel and E. Gery, “Executable Object Modeling with Statecharts,” Computer, pp. 31-42, July 1997.
[11] D. Harel and R. Marelly, “Playing with Time: On the Specification and Execution of Time-Enriched LSCs,” Proc. 10th IEEE/ACM Int'l Symp. Modeling, Analysis, and Simulation of Computer and Telecomm. Systems (MASCOTS '02), 2002.
[12] D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
[13] D. Harel and Y. Setty, “Generic and Multi-Party Reactive Animation,” submitted.
[14] I-logix, Inc., http:/www.ilogix.com, 2006.
[15] Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
[16] Microsoft .NET architecture and resources, http://www.micro soft.comnet/, 2006.
[17] OMG— Object Management Group, The Common Object Request Broker: Architecture and Specification. 2.2 ed., 1992.
[18] “Two-Phase Commit, 22-1-22-21,” ORACLE7 Server Concept Manual, (6693-70-1292). Redwood City, Calif.: Oracle, 1992.
[19] A. Sadot, J. Fisher, D. Barak, Y. Admanit, M.J. Stern, E.J.A. Hubbard, and D. Harel, “Towards Verified Biological Models,” submitted.
[20] “Simple Object Access Protocol (SOAP) 1.1,” W3C Note, 08 May 2000, http://www.w3.org/TR/2000NOTE-SOAP-20000508 /.
[21] A. Wollrath, R. Riggs, and J. Waldo, “A Distributed Object Model for the Java System,” USENIX Computing Systems, vol. 9, Nov./Dec. 1996.

Index Terms:
Modeling methodologies, scenario-based programming, InterPlay, play-engine, LSCs, intraobject, interobject, transition to design.
Citation:
Dan Barak, David Harel, Rami Marelly, "InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming," IEEE Transactions on Software Engineering, vol. 32, no. 7, pp. 467-485, July 2006, doi:10.1109/TSE.2006.67
Usage of this product signifies your acceptance of the Terms of Use.