Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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
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)
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)
Harel, D., Gery, E.: Executable Object Modeling with Statecharts. Computer, 31–42 (July 1997)
Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
I-logix,inc., Website: http://www.ilogix.com/products/rhapsody/index.cfm
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1992)
Microsoft. NET architecture and resources, http://www.microsoft.com/net/
OMG - Object Management Group. The Common Object Request Broker: Architecture and Specification, 2.2 edn (1992)
Simple Object Access Protocol (SOAP) 1.1. W3C Note 08 May (2000), http://www.w3.org/TR/2000/NOTE-SOAP-20000508/
Wollrath, A., Riggs, R., Waldo, J.: A Distributed Object Model for the Java System. USENIX Computing Systems 9 (November/December 1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Barak, D., Harel, D., Marelly, R. (2004). InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. In: Desel, J., Reisig, W., Rozenberg, G. (eds) Lectures on Concurrency and Petri Nets. ACPN 2003. Lecture Notes in Computer Science, vol 3098. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27755-2_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-27755-2_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22261-3
Online ISBN: 978-3-540-27755-2
eBook Packages: Springer Book Archive