Benedikt Bollig, Martin Leucker, Philipp Lucas  Home/Search
Context Related
| docs.uu.se/~leucker/Docu...lpar02.ps.gz www4.in.tum.de/~leucker/...lpar02.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: i2.informatik.rwthaachen.d...lit (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We extend the formal developments for message sequence charts (MSCs) to support scenarios with lost and found messages. We define a notion of extended compositional message sequence charts (ECMSCs) which subsumes the notion of compositional message sequence charts in expressive power but additionally allows to define lost and found messages explicitly. As usual, ECMSCs can be combined by means of choice and repetition to (extended) compositional message sequence graphs. We show... (Update)
Context of citations to this paper: More
...regular word languages. Modelchecking procedures for ECMSGs are considered in Section 5. An extended version of the paper appeared as [5]. 2 Message Sequence Charts and Graphs Before we present our extensions, let us start with the customary formal definition of message...
Cited by: More
Extending Compositional Message Sequence Graphs - Bollig, Leucker, Lucas (2002) (Correct)
Active bibliography (related documents): More All
1.5: Generalised Regular MSC Languages - Bollig, Leucker, Noll (2002) (Correct)
0.8: A Theory of Regular MSC Languages - Henriksen, Mukund, Kumar, Sohoni.. (2003) (Correct)
0.5: Modelling, Specifying, and Verifying Message Passing Systems - Bollig, Leucker (2001) (Correct)
Similar documents based on text: More All
0.9: Regular MSC Languages - Bollig, Leucker, Noll (2001) (Correct)
0.8: Beyond Message Sequence Graphs - Madhusudan, Meenakshi (2001) (Correct)
0.6: An algebraic semantics of Message Sequence Charts - Mauw, Reniers (1994) (Correct)
BibTeX entry: (Update)
B. Bollig, M. Leucker, and P. Lucas. Extending compositional message sequence graphs. Technical Report MS-CIS-02-09, University of Pennsylvania, Apr. 2002. http://citeseer.ist.psu.edu/bollig02extending.html More
@misc{ bollig02extending,
author = "B. Bollig and M. Leucker and P. Lucas",
title = "Extending compositional message sequence graphs",
text = "B. Bollig, M. Leucker, and P. Lucas. Extending compositional message sequence
graphs. Technical Report MS-CIS-02-09, University of Pennsylvania, Apr.
2002.",
year = "2002",
url = "citeseer.ist.psu.edu/bollig02extending.html" }
Citations (may not include all citations):202 International Series in Computer Science (context) - Milner, Concurrency - 1989
48 Model checking of message sequence charts - Alur, Yannakakis
35 High-level message sequence charts - Mauw, Reniers - 1997
35 An expressively complete linear time temporal logic for Mazu.. - Thiagarajan, Walukiewicz - 1997
31 Partial commutation and traces - Diekert, Metivier - 1997
22 A trace consistent subset of PTL (context) - Thiagarajan - 1995
18 Regular collections of message sequence charts - Henriksen, Mukund et al. - 2000
16 On message sequence graphs and finitely generated regular ms.. - Henriksen, Mukund et al. - 2000
13 Compositional message sequence charts - Gunter, Muscholl et al. - 2001
10 Reasoning about sequential and branching behaviours of messa.. - Madhusudan - 2001
9 Recognizable sets of message sequence charts (context) - Morin - 2002
7 and Verifying Message Passing Systems (context) - Bollig, Leucker et al. - 2001
7 Beyond message sequence graphs - Madhusudan, Meenakshi - 2001
7 Reasoning about message passing in finite state environments (context) - Meenakshi, Ramanujam - 2000
5 Deciding LTL over Mazurkiewicz traces - Bollig, Leucker - 2001
5 LSC's: Breathing life into message sequence charts (context) - Damm, Harel - 1998
5 Specification and verification of message sequence charts (context) - Peled - 2000
3 Another step towards a theory of regular MSC languages (context) - Kuske - 2002
3 anb: Formal Semantics of Message Sequence Charts (context) - Recommendation - 1998
3 Generalised regular MSC languages - Bollig, Leucker et al. - 2002
3 Formalizing sequence diagrams (context) - Araujo - 1998
1 Extending compositional message sequence graphs - Bollig, Leucker et al. - 2002
Documents on the same site (http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/lit.html): More
Implementation of an Efficient Parallel BDD Package - Stornetta (1995) (Correct)
Composing the user interface with Haggis - Finne, Jones (1996) (Correct)
Model Checking and Other Games - Stirling (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC