InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming
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.
KeywordsExternal Object Coarse Level External View Simple Object Access Protocol Internal Behavior
Unable to display preview. Download preview PDF.
- 1.Brown, N., Kindel, C.: Distributed Component Object Model Protocol - DCOM/1.0., http://www.microsoft.com/oledev/olecom/draft-brown-dcom-v1-spec-01.txt
- 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
- 4.Harel, D., Gery, E.: Executable Object Modeling with Statecharts. Computer, 31–42 (July 1997)Google Scholar
- 5.Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)Google Scholar
- 6.I-logix,inc., Website: http://www.ilogix.com/products/rhapsody/index.cfm
- 7.Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1992)Google Scholar
- 8.Microsoft. NET architecture and resources, http://www.microsoft.com/net/
- 9.OMG - Object Management Group. The Common Object Request Broker: Architecture and Specification, 2.2 edn (1992)Google Scholar
- 10.Simple Object Access Protocol (SOAP) 1.1. W3C Note 08 May (2000), http://www.w3.org/TR/2000/NOTE-SOAP-20000508/
- 11.Wollrath, A., Riggs, R., Waldo, J.: A Distributed Object Model for the Java System. USENIX Computing Systems 9 (November/December 1996)Google Scholar