Message sequence charts in the software engineering process

The software development process benefits from the use of Message Sequence Charts (MSC), which is a graphical language (or displaying the interaction behaviour of a system. We describe canonical applications of MSC independent of any software development methodology. We illustrate the use of MSC with a case study: the Meeting Scheduler.

[1]  van den Gja Gino Bergen,et al.  Maintenance of the union of intervals on a line revisited , 1998 .

[2]  Roland Carl Backhouse,et al.  Deriving a systolic regular language recognizer , 1997, Algorithmic Languages and Calculi.

[3]  Amardeo Sarma,et al.  SDL '95 with MSC in CASE : proceedings of the Seventh SDL Forum, Oslo, Norway, 26-29 September 1995 , 1995 .

[4]  S. Andova.  Process algebra with interleaving probabilistic parallel composition , 1999 .

[5]  Jan Friso Groote,et al.  An algorithm for the asynchronous Write-All problem based on process collision , 2001, Distributed Computing.

[6]  Ag Engels,et al.  Why men (and octopuses) cannot juggle a four ball cascade , 1997 .

[7]  Jos C. M. Baeten,et al.  Real time process algebra with time-dependent conditions , 2001, J. Log. Algebraic Methods Program..

[8]  Cyrille Gindre,et al.  A development in Eiffel: design and implementation of a network simulator , 1989 .

[9]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[10]  Michel A. Reniers,et al.  A hierarchy of communication models for Message Sequence Charts , 1997, Sci. Comput. Program..

[11]  Peter Grogono,et al.  Deriving an SDL specification with a given architecture from a set of MSCs , 1997, SDL Forum.

[12]  Øystein Haugen,et al.  Using MSC-92 effectively , 1995 .

[13]  W.M.P. van der Aalst,et al.  Structural characterizations of sound workflow nets , 1996 .

[14]  W. W. Royce,et al.  Managing the development of large software systems , 1970 .

[15]  van de Pol,et al.  Requirements specification and analysis of command and control systems , 2001 .

[16]  Lmg Loe Feijs,et al.  A rigorous and practical approach to service testing , 1996 .

[17]  R. Veltkamp,et al.  Efficient evaluation of triangular B-splines , 1999 .

[18]  Lmg Loe Feijs.  Algebraic specification and simulation of lazy functional programs in a concurrent environment , 1996 .

[19]  Jozef Hooman,et al.  Semantical aspects of an architecture for distributed embedded systems , 2000, SAC '00.

[20]  P.D.V. van der Stok,et al.  Real-time distributed concurrency control algorithms with mixed time constraints , 1996 .

[21]  van Km Kees Hee,et al.  A framework for component based software architectures , 1999 .

[22]  Anders Olsen,et al.  Systems Engineering Using SDL-92 , 1994 .

[23]  Dieter Hogrefe,et al.  SDL - with applications from protocol specification , 1991, BCS practitioner series.

[24]  Ana R. Cavalli,et al.  SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings , 1997, SDL Forum.

[25]  J. Bergstra,et al.  Mode transfer in process algebra , 2000 .

[26]  van Km Kees Hee,et al.  An analytical method for assessing business processes , 1998 .

[27]  van der Wmp Wil Aalst,et al.  Conservative adaption of workflow , 1996, PAKM.

[28]  Ekkart Rudolph,et al.  Tutorial on Message Sequence Charts , 1996, Comput. Networks ISDN Syst..

[29]  Michel A. Reniers,et al.  An Algebraic Semantics of Basic Message Sequence Charts , 1994, Comput. J..

[30]  Loe M. G. Feijs,et al.  Test Generation for Intelligent Networks Using Model Checking , 1997, TACAS.

[31]  Twan Basten,et al.  A process-algebraic approach to life-cycle inheritance : inheritance = encapsulation + abstraction , 1996 .

[32]  Mgj Franssen,et al.  Tools for the construction of correct programs : an overview , 1997 .

[33]  Dieter Hogrefe,et al.  Test Case Specification Based on MSCs and ASN.1 , 1995 .

[34]  Richard Bentley,et al.  Basic support for cooperative work on the World Wide Web , 1997, Int. J. Hum. Comput. Stud..

[35]  Stefan Leue,et al.  Synthesizing ROOM Models from Message Sequence Chart Specifications , 1998 .

[36]  Jjm Jozef Hooman,et al.  A programming-language extension for distributed real-time systems , 1997 .

[37]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .

[38]  Dieter Hogrefe,et al.  Applying SaMsTaG to the B-ISDN protocol SSCOP , 1997 .

[39]  Wil M. P. van der Aalst,et al.  Diagnosing Workflow Processes using Woflan , 2001, Comput. J..

[40]  Jcm Jos Baeten,et al.  Process algebra with explicit termination , 2000 .

[41]  Roland Carl Backhouse,et al.  Calculating a Round-Robin Scheduler , 1998, MPC.

[42]  Michel A. Reniers,et al.  Message sequence chart : syntax and semantics , 1999 .

[43]  Øystein Haugen,et al.  MSC-2000 interaction diagrams for the new millennium , 2001, Comput. Networks.

[44]  Jozef Hooman,et al.  Process Algebra in PVS , 1999, TACAS.

[45]  Sjouke Mauw,et al.  The Formalization of Message Sequence Charts , 1996, Comput. Networks ISDN Syst..

[46]  Dieter Hogrefe,et al.  Partial Order Simulation of SDL Specifications , 1995 .

[47]  Ekkart Rudolph,et al.  Towards a harmonization of UML-sequence diagrams and MSC , 1999, SDL Forum.

[48]  Geir Amsjø,et al.  SDL-based software development in Siemens A/S - experience of introducing rigorous use of SDL and MSC , 1995 .

[49]  Vaj Tijn Borghuis.  Priorean tense logics in modal pure type systems , 1996 .

[50]  Jan A. Bergstra,et al.  Deadlock Behaviour in Split and ST Bisimulation Semantics , 1998, EXPRESS.

[51]  E. Algaba,et al.  A pragmatic approach to test generation , 1997 .

[52]  W.M.P. van der Aalst,et al.  Parallel computation of reachable dead states in a free-choice Petri net , 1996 .

[53]  Gjpm Geert-Jan Houben,et al.  A software architecture for generating hypermedia applications for ad-hoc database output , 1999 .

[54]  H. T. Riele,et al.  Centrum Voor Wiskunde En Informatica , 1996 .

[55]  M. Voorhoeve.  Structural Petri net equivalence , 1996 .

[56]  Atm Ad Aerts,et al.  Multi-user publishing in the Web: DReSS, a Document Repository Service Station , 1996 .

[57]  Fairouz Kamareddine,et al.  A correspondence between Nuprl and the Ramified Theory of Types , 1996 .

[58]  Twan Basten,et al.  Partial-Order Process Algebra (and its Relation to Petri Nets) , 2001, Handbook of Process Algebra.

[59]  E. Algaba,et al.  Harpo: Testing Tools Development , 1997 .

[60]  Barry W. Boehm,et al.  A spiral model of software development and enhancement , 1986, Computer.

[61]  Raymond T. Yeh,et al.  An alternative paradigm for software evolution , 1989 .

[62]  Wil M.P. van der Aalst,et al.  WOFLAN : a Petri-net-based workflow analyzer , 1999 .

[63]  M Marc Voorhoeve,et al.  State-event net equivalance , 1998 .

[64]  Ana R. Cavalli,et al.  Test generation for the SSCOP-ATM networks protocol , 1997, SDL Forum.

[65]  Wil M. P. van der Aalst,et al.  Life-Cycle Inheritance: A Petri-Net-Based Approach , 1997, ICATPN.

[66]  Michel A. Reniers,et al.  High-level message sequence charts , 1997, SDL Forum.

[67]  Rachida Dssouli,et al.  Using a Logical Approach for Speciication Generation from Message Sequence Charts , 1997 .

[68]  Jan Friso Groote,et al.  Checking Verifications of Protocols and Distributed Systems by Computer , 1998, CONCUR.