MSC-related online publications

MSC-Related Online Publications

Under Construction.

Tutorials : 2 articles
Semantics : 17 articles
Validation-Analysis : 7 articles
Time : 8 articles
Synthesis : 5 articles

Tutorials

E. Rudolph and J. Grabowski and P. Graubmann. Tutorial on Message Sequence Charts. Computer Networks and ISDN Systems ,28(12):1629-1641, 1996.

E. Rudolph, J. Grabowski, P. Graubmann. Tutorial on Message Sequence Charts (MSC'96). In: Tutorials of the First joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification(FORTE/PSTV'96), Kaiserslautern, Germany, October 1996. FORTE'96.

Semantics

S. Mauw and M.A. Reniers. An algebraic semantics of Basic Message Sequence Charts. ComputingScience Notes 94-17, Department of Computing Science, Eindhoven University of Technology, 1994.

S. Mauw and M.A. Reniers. An algebraic semantics of Message Sequence Charts . Computing Science Notes 94-23, Department of Computing Science, Eindhoven University of Technology, 1994.

M.A. Reniers. Syntax requirements of Message Sequence Charts. In R. Braek and A. Sarma, editors, SDL'95 with MSC in CASE, Proceedings of the Seventh SDL Forum, pages 63-74, 1995. Elsevier Science Publishers B.V.

M.A. Reniers. Static Semantics of Message Sequence Charts. Computing Science Reports 96-19, Department of Computing Science, Eindhoven University of Technology, 1996.

S. Mauw and M.A. Reniers. Operational Semantics for MSC'96. In A. Cavalli and D. Vincent, editors, Tutorials of the Eighth SDL Forum SDl'97: Time for Testing - SDL, MSC and Trends, pages 135-152, Institut national des télécommunications, Evry, France, 22 September, 1997.

S. Mauw and M.A. Reniers. High-Level Message Sequence Charts. In A. Cavalli and A. Sarma, editors, SDL'97: Time for Testing - SDL, MSC and Trends, Proceedings of the Eighth SDL Forum, pages 291-306, Evry, France, 23-26 September, 1997. Elsevier Science Publishers B.V.

A. Engels, S. Mauw and M.A. Reniers. A Hierarchy of Communication Models for Message Sequence Charts. In T. Mizuno, N. Shiratori, T. Higashino and A. Togashi, editors, Formal Description Techniques and Protocol Specirfication, Testing and Verification, Proceedings of FORTE X and PSTV XVII '97, pages 75-90, Osaka, Japan, 18-21 November, 1997. Chapman & Hall.

M.A. Reniers. Message Sequence Chart: Syntax and Semantics.PhD Thesis, Eindhoven University of Technology, 1998.

W.Damm, D.Harel. LSCs: Breathing Life into Message Sequence Charts. Weizmann Institute, Reseach Report CS98-09, 1998.

J.-P. Katoen, L. Lambert. Pomsets for Message Sequence Char ts . 1st Workshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, June/July 1998.

Ladkin, P.B., Leue, S.: Interpreting Message Flow Graphs, Formal Aspects of Computing 7(5), p. 473 - 509, Sept./Oct. 1995.

Ladkin, P.B., Leue, S.: What Do Message Sequence Charts Mean? In: R.L. Tenney, P.D. Amer, M.U. Uyar (eds.), Formal Description Techniques VI,IFIP Transactions C, Proceedings of the 6th International Conference on Formal Description Techniques, North-Holland, p. 301 - 316, 1994.

Thomas Gehrke , Michaela Huhn , Arend Rensink , and Heike Wehrheim . An Algebraic Semantics for Message Sequence Charts Documents. In Formal Description Techniques and Protocol Specification, Testing and Verification (FORTE/PSTV `98), p. 3-18,Kluwer,1998.

Stefan Heymer. A Non-Interleaving Semantics for MSC. In: Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC - SAM'98 (Editors: Y. Lahav, A. Wolisz, J. Fischer, E. Holz). Informatik-Berichte Humboldt-Universität zu Berlin, Juni 1998.

Stefan Loidl, Ekkart Rudolph, Ursula Hinkel. MSC'96 and Beyond - a Critical Look In: Proc. SDL Forum '97 - Time for Testing. Ana Cavalli and Armadeo Sarma (ed.). Elsevier 1997.

P. Kosiuczenko. Formalizing MSC'96: Inline Expressions. Technical Report Nr. 9705, Ludwig-Maximilians-Universität München, Institut für Informatik, January 1997.

S. Mauw and M.A. Reniers. Operational semantics for MSC'96. In A. Cavalli and D. Vincent, editors, SDL'97: Time for Testing - SDL, MSC and

Validation-Analysis

H. Ben-Abdallah and S. Leue, Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts, in: E. Brinksma (ed.), Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems TACAS'97, Enschede, The Netherlands, April 1997, Lecture Notes in Computer Science, Volume 1217, p. 259 - 274 Springer-Verlag, 1997

Ladkin, P.B., Leue, S.: Four Issues Concerning the Semantics of Message Flow Graphs, in: D. Hogrefe and S. Leue (eds.) Formal Description Techniques VII, Proceedings of the Seventh IFIP International Conference on Formal Description Techniques FORTE'94, Oct. 4-7, 1994, Chapman & Hall, 1995

H. Ben-Abdallah and S. Leue. Syntactic Analysis of Message Sequence Chart Specifications, Technical Report 96-12, Dept. of Electrical and Computer Engineering, University of Waterloo, October 1996

Anca Muscholl, Doron Peled and Zhendong Su, Deciding properties for message sequence charts,FoSSaCS'98, LNCS 1378, pp.226-242.

Anca Muscholl, Matching Specifications for Message Sequence Charts, FoSSaCS'99.

R. Alur and M. Yannakakis. Model checking of message sequence charts, Proceedings of the Tenth International Conference on Concurrency Theory, Springer Verlag, 1999.

A. Engels, S. Mauw and M.A. Reniers. A Hierarchy of Communication Models for Message Sequence Charts. Computing Science Reports 97-11, Department of Computing Science, Eindhoven University of Technology, 1997.

Time

F. Slomka, J. Zant, L. Lambert. MSC-based Schedulability Analysis. Workshop on Performance and Time in SDL and MSC. Technical Report 1/98, IMMD VII, University of Erlangen-Nuremberg, Erlangen, February 1998.

L. Lambert. PMSC for Performance Evaluation . 1. Workshop on Performance and Time in SDL/MSC, Erlangen, 1998.

H. Ben-Abdallah and S. Leue, Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications, Technical Report 97-04, Dept. of Electrical and Computer Engineering, University of Waterloo, April 1997

H. Ben-Abdallah and S. Leue, Timing Constraints in Message Sequence Chart Specifications, in: Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Osaka, Japan, November 1997, Chapman & Hall.

Chr. Schaffer. MSC/RT: A Real-Time Extension to Message Sequence Charts (MSCs). Technical Report 129-95. Johannes Kepler University, Linz, Dept. Of Systems Theory and Information Engineering, 1995.

P. Kosiuczenko. Formalizing Time Aspects in Message Sequence Charts. Technical Report Nr. 9703, Ludwig-Maximilians-Universität München Institut für Informatik, January 1997.

N. Faltin, L. Lambert, A. Mitschele-Thiel, F. Slomka. An Annotational Extension of Message Sequence Charts to Support Performance Engineering. Eighth SDL Forum, North-Holland, Sept. 1997

A. Mitschele-Thiel, B. Müller-Clostermann. Performance Engineering of SDL/MSC Systems. To appear in Journal on Computer Networks and ISDN Systems, Elsevier, 1999

Synthesis

S. Leue, L. Mehrmann and M. Rezai, Synthesizing ROOM Models from Message Sequence Chart Specifications, Technical Report 98-06, Dept. of Electrical and Computer Engineering, University of Waterloo, April 1998.

S. Leue and P.B. Ladkin. Implementing and Verifying MSC Specifications Using Promela/XSpin. In: J.-C. Gregoire, G. Holzmann and D. Peled (eds.), Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. DIMACS Series Series in Discrete Mathematics and Theoretical Computer Science, Volume 32, American Mathematical Society, Providence, R.I., p. 65-89, 1997

F. Khendek, G. Robert, G. Butler and P. Grogono,Implementability of Message Sequence Charts, Proceedings of the SDL Forum Society International Workshop on SDL and MSC (SAM'98), Berlin, Germany, June 29 - July 01, 1998.

S.Somé, R. Dssouli ,Using a Logical approach for Specification generation from Message Sequence Charts ,IRO Research report no 1064 ,Avril 1997.

. Krüger, R. Grosu, P. Scholz, M. Broy: From MSCs to Statecharts, in: Franz J. Rammig (ed.): Distributed and Parallel Embedded Systems, Kluwer

Last modification : 25/10/1999