WWW.DISSERS.RU

...
    !

 >> 
Pages:     | 1 | 2 ||

[8] Ben-Abdallah H., Leue S. Syntactic detection of process divergence and nonlocal choice in message sequence charts // Proc. of the Tools and Algorithms for the Construction and Analysis of Systems, Third International Workshop (TACAS97) 1217 in Lecture Notes in Computer Science Enschede, The Netherlands: Springer, 1997.

P. 259-274.

[9] Damm W., Harel D. LSCs: Breathing Life into Message Sequence Charts // Proc. in 3rd IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS99) Kluwer Academic Publishers, 1999. P. 293-312.

[10] Daveau J.-M., Marchioro G., Valderrama C., Jerraya A. VHDL generation from SDL specifications // Proc. of the XIII IFIP Conf. on Computer Hardware Description Languages (CHDL97) Toledo, Spain 1997.

[11] EG 201 015 Ver. 1.2.1, Methods for Testing and Specification (MTS);

Specification of protocols and services; Validation methodology for standards using Specification and Description Language (SDL); Handbook 1999. 28 p.

[12] ETR 184 : Methods for Testing and Specification (MTS); Overview of validation techniques for European Telecommunication Standards (ETSs) containing SDL 1995. 27 p.

[13] Holzmann G. Design and Validation of Computer Protocols // PrenticeHall, 1991 ISBN 0-13-539834-7. 512 p.

[14] ITU-T MSC2000R3 Draft Z.120: Message Sequence Charts ITU-T Recommendation Z.120. 1999.

[15] ITU-T Recommendation Z.100: Specification and description language (SDL). 1999. 244 p.

[16] ITU-T Recommendation Z.120: Message Sequence Chart (MSC). 1999. 136 p.

[17] Khendek F., Vincent D. Enriching SDL Specifications with MSCs // Proc. of 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000) 2000. P. 305-319.

[18] Kurshan R. Computer-Aided Verification of Coordinating Processes // Princeton Series in Computer Science, 1994. ISBN 0691034362. 270 p.

[19] Li J., Horgan J. Applying formal description techniques to software architectural design // Computer Communications Vol. 23 12.

2000. P. 1169-1178.

[20] Mansurov N., Zhukov D. Automatic synthesis of SDL models in Use Case Methodology // Proc. of 9th SDL Forum 1999. P. 225-240.

[21] Robert G., Khendek F., Grogono P. Deriving an SDL specification with a given architecture from a set of MSCs // Proc. of 8th SDL Forum 1997. P. 197-212.

[22] Roychoudhury A., Thiagarajan P.S. Communicating Transaction Processes // Proc. in IEEE International Conference on Application of Concurrency in System Design (ACSD2003) 2003. P. 157-166.

[23] Rumbaugh J., Jacobson I., Booch G. The Unified Modeling Language Reference Manual Addison-Wesley, 1999. 576 p.

[24] Som S., Dssouli R., Vaucher J. Toward an Automation of Requirements Engineering using Scenarios //Journal of Computing and Information 2(1) 1996. P. 1110-1132.

1. .. SDL MSC // .

.: 2004. . 366-390.

2. .., .. REAL // . .-. -. . 10., 2005. . 1-2. . 64-77.

3. .., .. MSC SDL REAL // . 2007.

1. . 35-50.

Terekhov A., Sokolov V. Implementation of the Conformation of MSC and SDL Diagrams in the REAL Technology // Programming and Computer Software (Engl., Transl.) 2007. 1. P. 24-33.

DOI: 10.1134/S0361768807010045.

Pages:     | 1 | 2 ||
 >> 






2011 www.dissers.ru -