MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  An extension to MSC-2000 and its application (2002) [4 citations — 0 self]

Download:
Download as a PDF
by Tong Zheng, Ferhat Khendek
In Proceedings of the 3rd SAM (SDL and MSC) Workshop
http://www.ece.concordia.ca/~khendek/sam2002-1.pdf
Add To MetaCart

Abstract:

Abstract. Message Sequence Charts (MSC) is a standard language widely used in telecommunication software engineering. The latest MSC standard, MSC-2000, includes new features such as time and data. In this paper, we propose a new construct called instance delay as an extension for timed MSC to enhance further its expressiveness. We define formally the semantics of the extension based on a partial order semantics of timed MSC. We demonstrate through an application the need for this extension. 1

Citations

137 An analyzer for message sequence charts – Alur, Holzmann, et al. - 1996
39 Interpreting Message Flow Graphs – Ladkin, Leue - 1995
37 Reniers, “High-level message sequence charts – Mauw, A - 1997
14 Pomsets for Message Sequence Charts – Katoen, Lambert - 1998
8 Expressing and analyzing timing constraints in message sequence chart specifications – Ben-Abdallah, Leue - 1997
8 Reniers, Operational Semantics for MSC’96 – Mauw, A - 1999
4 HyperMSCs with Connectors for Advanced Visual System Modelling and Testing – Grabowski, Graubmann, et al. - 2001
4 Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation – Hogrefe, Koch, et al. - 2001
4 An Execution Semantics for MSC-2000 – Jonsson, Padilla - 2001
3 A (max,+) approach for time – Maigat, Helouët - 2000
1 Distributed System Modeling with Scenarios: The Example of the RMTP2 – Helouët - 2001
1 A Non-Interleaving Semantics for MSC, SAM’98, The 1st – Heymer - 1998
1 A Semantics for Timed – Zheng, Khendek, et al. - 2002
View or Download | Add to My Collection | Correct Errors