InterPlay: Horizontal scale-up and transition to design in scenario-based programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3098, Issue , 2004, Pages 66-86

  Barak, Dan ^a   Harel, David ^a   Marelly, Rami ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33947099681     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27755-2_2     Document Type: Article

References (12)

1. N. Brown and C. Kindel. Distributed Component Object Model Protocol - DCOM/1.0. http://www.microsoft.com/oledev/olecom/draft-brown-dcom-vI-spec-01. txt.
2. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design, 19(1), 2001.
3. (Preliminary version in Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), (P. Ciancarini, A. Fantechi and R. Gorrieri, eds.), Kluwer Academic Publishers, 1999, pp. 293-312.).
4. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Prog., 8,3, 231-274,1987. (Preliminary version: Tech. Report CS84-05, The Weizmann Institute of Science, Rehovot, Israel, February 1984.).
5. D. Harel and E. Gery. Executable Object Modeling with Statecharts. Computer, July 1997, pp. 31-42.
6. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003.
7. I-logix,inc., Website: http://www.ilogix.com/products/rhapsody/index.cfm.
8. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
9. Microsoft .NET architecture and resources: http://www.microsoft.com/net/.
10. OMG - Object Management Group. The Common Object Request Broker: Architecture and Specification. 2.2 ed, 1992.
11. Simple Object Access Protocol (SOAP) 1.1. W3C Note 08 May 2000. http://www.w3.org/TR/2000/NOTE-SOAP-20000508/.
12. A. Wollrath, R. Riggs and J. Waldo. A Distributed Object Model for the Java System. USENIX Computing Systems, vol. 9, November/December 1996.