Systems Specification by Basic Protocols

Theoretical foundations of requirements formalization and verification based on basic protocols are presented. This approach uses the concept of an attributed transition system. Facets of an implementation of the system VRS are described together with some statistical results of using this tool in large-scale industrial projects.

[1]  Bill Mitchell,et al.  Phase Automaton for Requirements Scenarios , 2003, FIW.

[2]  Alexander A. Letichevsky,et al.  Computations in APS , 1993, Theor. Comput. Sci..

[3]  J. Hooman.  Towards Formal Support for UML-based Development of ded Systems , 2002 .

[4]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[5]  Franz Regensburger,et al.  Formal Verification of SDL Systems at the Siemens Mobile Phone Department , 1998, TACAS.

[6]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[7]  Bill Mitchell,et al.  Automatic Generation of Conformance Tests from Message Sequence Charts , 2002, SAM.

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

[9]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[10]  Yu. V. Kapitonova,et al.  Insertion Programming , 2003 .

[11]  J. Bergstra,et al.  Handbook of Process Algebra , 2001 .

[12]  Edmund M. Clarke,et al.  Model checking and abstraction , 1994, TOPL.

[13]  Karl E. Wiegers,et al.  Software Requirements , 1999 .

[14]  Thomas Weigert,et al.  Leveraging UML to Deliver Correct Telecom Applications , 2003, UML for Real.

[15]  Joseph Sifakis,et al.  IF: An intermediate representation for SDL and its applications , 1999, SDL Forum.

[16]  Thomas Weigert,et al.  Basic protocols, message sequence charts, and the verification of requirements specifications , 2005, Comput. Networks.

[17]  David R. Gilbert,et al.  A Model for Interaction of Agents and Environments , 1999, WADT.