Languages for analysis and testing of event sequences

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.

[1]  Arend Rensink,et al.  An Algebraic Semantics for Message Sequence Chart Documents , 1998, FORTE.

[2]  G Goce Naumoski,et al.  A discrete-event simulator for systems engineering , 1998 .

[3]  Björn Regnell,et al.  A hierarchical use case model with graphical representation , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

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

[5]  Edwin F. Crabill,et al.  Service processing systems for AT&T's intelligent network , 1994, AT&T Technical Journal.

[6]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[7]  Joao Paulo Saraiva,et al.  Purely Functional Implementation of Attribute Grammars , 1999 .

[8]  Rajeev Alur,et al.  Inference of message sequence charts , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[9]  Robert S. Boyer,et al.  A fast string searching algorithm , 1977, CACM.

[10]  Twan Laan.  The evolution of type theory in logic and mathematics , 1997 .

[11]  Stefan Blom,et al.  Term Graph Rewriting. Syntax and semantics , 2001 .

[12]  G. S. Vermeer,et al.  A FRAMEWORK FOR TESTING TELECOMMUNICATION SERVICES , 1996 .

[13]  Jan A. Bergstra,et al.  Syntax and defining equations for an interrupt mechanism in process algebra , 1985 .

[14]  I. D. van den Ende,et al.  Grammars compared : a study on determining a suitable grammar for parsing and generating natural language sentences in order to facilitate the translation of natural language and MSC use cases , 2000 .

[15]  Cornelis A. Middelburg.  A Simple Language for Expressing Properties of Telecommunication Services and Features , 1994 .

[16]  G Georgina Fabian,et al.  A language and simulator for hybrid systems , 1999 .

[17]  Sjouke Mauw,et al.  An algebraic semantics of message sequence charts , 1994 .

[18]  Dieter Hogrefe,et al.  Formal Description Techniques VII , 1995, IFIP Advances in Information and Communication Technology.

[19]  Gerard J. Holzmann,et al.  Formal Methods for Early Fault Detection , 1996, FTRTFT.

[20]  Douglas Steedman.  Abstract Syntax Notation One (ASN.1) : the tutorial and reference , 1990 .

[21]  Rajeev Alur,et al.  Model Checking of Message Sequence Charts , 1999, CONCUR.

[22]  Mohamed Musa Abdalla.  Automatic generation of SDL specifications from MSCs , 1999 .

[23]  Loe M. G. Feijs,et al.  Natural language and message sequence chart representation of use cases , 2000, Inf. Softw. Technol..

[24]  Emilia I. Barakova,et al.  Learning reliability : a study on dindecisiveness in sample selection , 1999 .

[25]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[26]  Jpl John Segers.  Algorithms for the simulation of surface processes , 1999 .

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

[28]  Ts Ed Voermans.  Inductive datatypes with laws and subtyping : a relational model , 1999 .

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

[30]  Rajeev Alur,et al.  An Analyzer for Message Sequence Charts , 1996, Softw. Concepts Tools.

[31]  J. Verriet.  Scheduling with communication for multiprocessor computation , 1998 .

[32]  Doron A. Peled,et al.  A Toolset for Message Sequence Charts , 1998, CAV.

[33]  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.

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

[35]  Loe M. G. Feijs.  Generating FSMs from interworkings , 1999, Distributed Computing.

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

[37]  Elie Najm,et al.  Formal Description Techniques and Protocol Specification, Testing and Verification , 1998, IFIP — The International Federation for Information Processing.

[38]  Andreas Mitschele-Thiel.  Methodology and tools for the development of high performance parallel systems with SDL/MSCs , 1996, Software Engineering for Parallel and Distributed Systems.

[39]  Donald E. Knuth,et al.  Fast Pattern Matching in Strings , 1977, SIAM J. Comput..

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

[41]  Manfred Broy,et al.  From MSCs to Statecharts , 1998, DIPES.

[42]  Paul Ammann,et al.  Using model checking to generate tests from specifications , 1998, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241).

[43]  P. Azema,et al.  The Fomal Description Technique LOTOS , 2001 .

[44]  F.A.M. van den Beuken,et al.  A functional approach to syntax and typing , 1997 .

[45]  Jan A. Bergstra,et al.  Models for Feature Descriptions and Interactions , 1997, FIW.

[46]  HeitmeyerConstance,et al.  Using model checking to generate tests from requirements specifications , 1999 .

[47]  Jean G. Vaucher,et al.  From scenarios to timed automata: building specifications from users requirements , 1995, Proceedings 1995 Asia Pacific Software Engineering Conference.

[48]  Judi Maria Tirza Romijn,et al.  Analysing Industrial Protocols with Formal Methods , 1999 .

[49]  Rmc Rene Ahn,et al.  Agents, objects and events : a computational approach to knowledge, observation and communication , 2001 .

[50]  Øystein Haugen,et al.  From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams , 2001, SDL Forum.

[51]  Dieter Hogrefe,et al.  Autolink - Putting SDL-Based Test Generation Into Practice , 1998, IWTCS.

[52]  Piotr Kosiuczenko,et al.  Time in Message Sequence Charts: A Formal Approach (Extended Abstract) , 1997, Euro-Par.

[53]  R Rene Schiefer,et al.  Viper : a visualisation tool for parallel program construction , 1999 .

[54]  Aa Twan Basten,et al.  In terms of nets : system design with Petri nets and process algebra , 1998 .

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

[56]  Ina Schieferdecker,et al.  Development of a MSC/UML Test Format , 2000, FBT.

[57]  Paulo S. Muniz Silva,et al.  Extended message sequence charts with time-interval semantics , 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).

[58]  Jelasity Márk,et al.  The shape of evolutionary search: discovering and representingsearch space structure , 2001 .

[59]  Cj Roel Bloo,et al.  Preservation of termination for explicit substitution , 1997 .

[60]  K. Leeuw.  Cryptology and statecraft in the Dutch Republic , 2000 .

[61]  Ad M. G. Peeters,et al.  An asynchronous low-power 80C51 microcontroller , 1998, Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems.

[62]  Tiziana Margaria,et al.  An Environment for the Creation of Intelligent Network Services , 1995 .

[63]  R. S. Venema,et al.  Aspects of an integrated neural prediction system , 1999 .

[64]  Michel A. Reniers,et al.  Operational Semantics for MSC'96 , 1999, Comput. Networks.

[65]  P. Severi.  Normalisation in lambda calculus and its relation to type inference , 1996 .

[66]  Thierry Jéron,et al.  An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology , 1997, Sci. Comput. Program..

[67]  Dieter Hogrefe,et al.  The CCITT-Specification and Description Language SDL , 1989, Comput. Networks.

[68]  Rick Reed,et al.  Telecommunications systems engineering using SDL , 1989 .

[69]  Sjouke Mauw,et al.  A LATEX macro package for Message Sequence Charts , 1999 .

[70]  Dennis Dams,et al.  Abstract interpretation and partition refinement for model checking , 1996 .

[71]  Sjouke Mauw,et al.  A Process Algebra for Interworkings , 2001, Handbook of Process Algebra.

[72]  M. Franssen.  Cocktail : a tool for deriving correct programs , 2000 .

[73]  B. D. Fluiter.  Algorithms for graphs of small treewidth , 1997 .

[74]  Stanislaw Budkowski,et al.  An Introduction to Estelle: A Specification Language for Distributed Systems , 1987, Comput. Networks.

[75]  Anca Muscholl,et al.  Deciding Properties of Message Sequence Charts , 2003, Scenarios: Models, Transformations and Tools.

[76]  Jan A. Bergstra,et al.  Process Algebra for Synchronous Communication , 1984, Inf. Control..

[77]  André Engels.  Design Decisions on Data and Guards in MSC2000 , 2000, SAM.

[78]  Lex Heerink,et al.  Ins and Outs in Refusal Testing , 1998 .

[79]  Pedro R. D'Argenio,et al.  Algebras and Automata for Timed and Stochastic Systems , 1999 .

[80]  Cees van Kemenade,et al.  Recombinative evolutionary search , 1999 .

[81]  P. Black,et al.  Mutation of model checker specifications for test generation and evaluation , 2001 .

[82]  Sjouke Mauw,et al.  Message sequence charts in the software engineering process , 2001 .

[83]  John R. Callahan,et al.  Automated Software Testing Using Model-Checking , 1996 .

[84]  P.K. Bohacek,et al.  Service Creation: The Real Key To Intelligent Network Revenue , 1994, Workshop on Intelligent Network.

[85]  M. Bonsangue,et al.  Topological Dualities in Semantics , 1996 .

[86]  Mohammad Reza Mousavi,et al.  Synthesizing software architecture descriptions from Message Sequence Chart specifications , 1998, Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239).

[87]  Jan Tretmans,et al.  On-the-fly conformance testing using SPIN , 2000, International Journal on Software Tools for Technology Transfer.

[88]  J Jan Zwanenburg,et al.  Object-oriented concepts and proof rules : formalization in type theory and implementation in Yarrow , 1999 .

[89]  H. Velthuijsen,et al.  Feature interactions in telecommunications systems , 1993, IEEE Communications Magazine.

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

[91]  Michel A. Reniers,et al.  Static semantics of message sequence charts , 1996 .