Broadcast MSCs

Formal Aspects of Computing

Volumn 16, Issue 3, 2004, Pages 194-209

  Kruger I ^a   Prenninger, W ^b   Sandner, R ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Broadcasting; Message sequence charts; Semantics

Indexed keywords

BROADCASTING; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; MULTICASTING; OBJECT ORIENTED PROGRAMMING; REAL TIME SYSTEMS; SEMANTICS; SOFTWARE ENGINEERING;

MATHEMATICAL SEMANTICS; MESSAGE SEQUENCE CHARTS; METHODOLOGICAL MODELING; PROTOTYPE DESIGN;

INFORMATION SERVICES;

EID: 21044451598     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00165-004-0046-5     Document Type: Article

References (33)

1. [AHP96] Alur R, Holzmann GJ, Peled D (1996) An analyzer for message sequence charts. Software Concepts Tools 17:70-77
2. +92] Broy M, Dederichs F, Dendorfer C, Fuchs M, Gritzner TF, Weber R (1992) The design of distributed systems. An introduction to FOCUS, revised version. Technical report TUM-I9202-2
3. [Ber97] Beringer D (1997) Modelling global behaviour with scenarios in object-oriented analysis. PhD Thesis, École Polytechnique Fédérale de Lausanne
4. [BK98] Broy M, Krüger I (1998) Interaction interfaces-towards a scientific foundation of a methodological usage of message sequence charts. In: Staples J, Hinchey MG, Liu Hinchey S, Liu S (eds) Formal engineering methods (ICFEM'98). IEEE Computer Society, pp2-15
5. [Bro99] Broy M (1999) A logical basis for modular systems engineering. In: Broy M, Steinbrüggen R (eds) Calculational system design vol 173. NATO science series F. IOS Press, pp 101-130
6. [BS99] Broy M, Stølen K (2001) Specification and development of interactive systems: focus on streams, interfaces and refinement. Springer, Berlin Heidelberg New York, ISBN 0-387-95073-7
7. [DH99] Damm W, Harel D (1999) LSCs: breathing life into message sequence charts. In: FMOODS'99 IFIP TC6AVG6.1 Third international conference on formal methods for open object-based distributed systems, Florence
8. [GRG93] Graubmann P, Rudolph E, Grabowski J (1993) Towards a petri net based semantics definition for message sequence charts. In: Færgemand O, Sarma A (eds) SDL'93-using objects. Proceedings of the sixth SDL forum pp 179-190
9. [HMKT00] Henriksen JG, Mukund M, Narayan Kumar K, Thiagarajan P (2000) On message sequence graphs and finitely generated regular MSC languages. In: Proceedings of ICAL 2000, number 1853 of LNCS, pp 675-686
10. [InT03] In time homepage (2003) www4.in.tum.de/proj/intime
11. [IT96] ITU-T (1996) ITU-T recommendation Z.120 - message sequence chart (MSC 96). ITU-T, Geneva
12. [IT98] ITU-TS (1998) Recommendation Z.120: Annex B. Geneva
13. [KGSB99] Krüger I, Grosu R, Scholz P, Broy M (1999) From MSCs to statecharts. In: Rammig FJ (ed) Distributed and parallel embedded systems. Kluwer, Dordrect, pp 61-71
14. [KIe98] Klein C (1998) Anforderungsspezifikation durch transitionssysteme und Szenarien. PhD Thesis (in German)
15. [KPS01a] Krüger I, Prenninger W, Sandner R (2001) Architectural design of a broadcasting system using UML-RT. In: Schurr A (ed) OMER-2 workshop des arbeitskreises GROOM der GI fachgruppe 2.1.9 Objektorientierte software-entwicklung, 9-12. Mai 2001, Herrsching
16. [KPS0lb] Krüger I, Prenninger W, Sandner R (2001) Deriving architectural prototypes for a broadcasting system using UML-RT. In: Kruchten P (ed) First ICSE workshop on describing software architecture with UML, 15. Mai 2001, Toronto
17. [KPS01c] Krüger I, Prenninger W, Sandner R (2002) Development of an autonomous transport system using UML-RT. Technical report TUM-I0215, Technische Universität München
18. [KPSB02] Krüger I, Prenninger W, Sandner R, Broy M (2002) From scenarios to hierarchical broadcasting software architectures using UML-RT. Int Software Eng Knowl Eng (IJSEKE) 12(2):155-174
19. [Krü00] Krüger I (2000) Distributed system design with message sequence charts. PhD Thesis, Technische Universität München
20. [Krü03] Krüger HI (2003) Capturing overlapping, triggered, and preemptive collaborations using MSCs. In: Pezzè M (ed) FASE 2003, vol 2621 of LNCS. Springer, Berlin Heidelberg New York, pp 387-402
21. [KW01] Kosiuczenko P, Wirsing M (2001) Towards an integration of message sequence charts and timed maude. J Integrated des process sci
22. [Lam94] Lamport L (1994) The temporal logic of actions. ACM Trans Programming Languages Syst 16(3):872-923
23. [Leu95] Leue S (1995) Methods and semantics for telecommunications systems engineering. PhD Thesis, Universität Bern
24. [Lyo98] Lyons A (1998) UML for real-time overview. Objectime Ltd., http://www.objectime.com/otl/teclmical/umlrt.html cited April 1998
25. [Mö199] Möller B (1999) Algebraic structures for program calculation. In: Broy M, Steinbrüggen R (eds) Calculational system design, vol 173. NATO Science series F. IOS Press, pp 25-97
26. [MP00] Muscholl A, Peled D (2000) Analyzing message sequence charts. In: Proceedings of SAM'00, Grenoble
27. [MR94] Mauw S, Reniers MA (1994) An algebraic semantics of basic message sequence charts. Comput J 37(4):269-277
28. [MR96] Mauw S, Reniers MA (1996) Refinement in interworkings. In: Montanari U, Sassone V (eds) CONCUR'96 vol 1119. LNCS, Springer, Berlin Heidelberg New York, pp 671-686
29. [Ren99] Reniers MA (1999) Message sequence chart, syntax and semantics. PhD Thesis, Eindhoven University of Technology
30. [Rum96] Rumpe B (1996) Formale Methodik des Entwurfs verteilter objektorientierter systeme. PhD Thesis, TU München (in German)
31. [Sch98] Scholz P (1998) Design of reactive systems and their distributed implementation with statecharts. PhD Thesis, Technische Universität München
32. [SR98] Selic B, Rumbaugh J (1998) Using UML for modeling complex real-time systems. http://www.objectime.com/otl/technical cited April 1998
33. [Ste97] Stephens R (1997) A survey of stream processing. Acta Inf 34:491-1