{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:24:10Z","timestamp":1775053450467,"version":"3.50.1"},"reference-count":24,"publisher":"Pleiades Publishing Ltd","issue":"1","license":[{"start":{"date-parts":[[2007,2,1]],"date-time":"2007-02-01T00:00:00Z","timestamp":1170288000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2007,2,1]],"date-time":"2007-02-01T00:00:00Z","timestamp":1170288000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2007,2]]},"DOI":"10.1134\/s0361768807010045","type":"journal-article","created":{"date-parts":[[2007,2,5]],"date-time":"2007-02-05T04:12:56Z","timestamp":1170648776000},"page":"24-33","source":"Crossref","is-referenced-by-count":2,"title":["Implementation of the conformation of MSC and SDL diagrams in the REAL technology"],"prefix":"10.1134","volume":"33","author":[{"given":"A. N.","family":"Terekhov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. V.","family":"Sokolov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","reference":[{"key":"1004_CR1","unstructured":"ITU-T Recommendation Z.100: Specification and description language (SDL), 1999."},{"key":"1004_CR2","unstructured":"ITU-T Recommendation Z.120: Message Sequence Chart (MSC), 1999."},{"key":"1004_CR3","unstructured":"ITU-T MSC2000R3 Draft Z.120: Message Sequence Charts ITU-T Recommendation Z.120, 1999."},{"key":"1004_CR4","unstructured":"Terekhov, A.N. et al., RTST++: Methodology and a CASE Tool for the Development of Information Systems and Software For Real-Time Systems, Programmirovanie, 1999, no. 5, pp. 45\u201351 [Programming and Computer Software (Engl. Transl.), 1999, no. 5, pp. 276\u2013281]."},{"key":"1004_CR5","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., and Booch, G., The Unified Modeling Language Reference Manual, Reading, Mass.: Addison-Wesley, 1999."},{"key":"1004_CR6","unstructured":"Server of OMG group engaged in development of UML methodology, Standards, Publications, and Tools, http:\/\/www.omg.com."},{"key":"1004_CR7","unstructured":"Use Case Maps (UCMs) notation. Definitions, Publications, and Tools, http:\/\/www.useCaseMaps.org\/index.shtml."},{"key":"1004_CR8","first-page":"225","volume-title":"Proc. of the 9th SDL Forum (Montreal, Canada, 1999)","author":"N. Mansurov","year":"1999","unstructured":"Mansurov, N. and Zhukov, D., Automatic Synthesis of SDL Models in Use Case Methodology, Proc. of the 9th SDL Forum (Montreal, Canada, 1999), Amsterdam: Elsevier, 1999, pp. 225\u2013240."},{"key":"1004_CR9","first-page":"197","volume-title":"Proc. of the 8th SDL Forum (Evry, France, 1997)","author":"G. Robert","year":"1997","unstructured":"Robert, G., Khendek, F., and Grogono, P., Deriving an SDL Specification with a Given Architecture from a Set of MSCs, Proc. of the 8th SDL Forum (Evry, France, 1997), Amsterdam: Elsevier, 1997, pp. 197\u2013212."},{"key":"1004_CR10","first-page":"55","volume-title":"Proc. of the 9th SDL Forum (Montreal, Canada, 1999)","author":"M. Abdalla","year":"1999","unstructured":"Abdalla, M., Khendek, F., and Butler, G., New Results on Deriving SDL Specifications from MSCs, Proc. of the 9th SDL Forum (Montreal, Canada, 1999), Amsterdam: Elsevier, 1999, pp. 55\u201367."},{"issue":"12","key":"1004_CR11","doi-asserted-by":"publisher","first-page":"1169","DOI":"10.1016\/S0140-3664(99)00244-3","volume":"23","author":"J. Li","year":"2000","unstructured":"Li, J. and Horgan, J., Applying Formal Description Techniques to Software Architectural Design, Comput. Commun., 2000, vol. 23, no. 12, pp. 1169\u20131178.","journal-title":"Comput. Commun."},{"key":"1004_CR12","unstructured":"Khendek, F. and Vincent, D., Enriching SDL Specifications with MSCs, Proc. of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM2000) (Grenoble, France, 2000), pp. 305\u2013319."},{"key":"1004_CR13","unstructured":"ETR 184. Methods for Testing and Specification (MTS). Overview of validation techniques for European Telecommunication Standards (ETSs) containing SDL, 1995."},{"key":"1004_CR14","unstructured":"EG 201 015. Version 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."},{"key":"1004_CR15","unstructured":"ETS 300 414. Methods for Testing and Specification (MTS); Use of SDL in European Telecommunication Standards Rules for Testability and Facilitating Validation, 1999."},{"key":"1004_CR16","unstructured":"Telelogic Tau 4.2 Documentation, 2001."},{"key":"1004_CR17","doi-asserted-by":"crossref","unstructured":"Sinclair, D., Stone, B., and Clynch, G., An Object Oriented Methodology from Requirements to Validation, Proc. of the 2nd Object Oriented Information Systems Conference (OOIS\u201995) (Dublin, Ireland, 1995), pp. 265\u2013286.","DOI":"10.1007\/978-1-4471-1009-5_24"},{"key":"1004_CR18","volume-title":"Design and Validation of Computer Protocols","author":"G. Holzmann","year":"1991","unstructured":"Holzmann, G., Design and Validation of Computer Protocols, Englewood Cliffs, N.J.: Prentice-Hall, 1991."},{"key":"1004_CR19","unstructured":"Description, Publications, and Contact Information of the Tool MOST, http:\/\/www.ispras.ru\/groups\/case\/projects.html?2#2."},{"key":"1004_CR20","unstructured":"Site of the company producing the tool KLOCWork, http:\/\/www.klocwork.com\/."},{"key":"1004_CR21","unstructured":"Annotation of the tool KLOCWork on the site of SDL Forum, http:\/\/www.sdl-forum.org\/Tools\/klocwork.htm."},{"key":"1004_CR22","first-page":"366","volume-title":"Sistemnoe Programmirovanie","author":"V.V. Sokolov","year":"2004","unstructured":"Sokolov, V.V., Checking for Conformity of SDL Diagrams to MSC Documentation under Existing Differences, in Sistemnoe Programmirovanie (System Programming), St. Petersburg: St. Petersburg State Univ., 2004, pp. 366\u2013390."},{"key":"1004_CR23","first-page":"293","volume-title":"Proc. of the 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201999) (Florence, Italy, 1999)","author":"W. Damm","year":"1999","unstructured":"Damm, W. and Harel, D., LSCs: Breathing Life into Message Sequence Charts, Proc. of the 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS\u201999) (Florence, Italy, 1999), Dordrecht: Kluwer, 1999, pp. 293\u2013312."},{"key":"1004_CR24","unstructured":"Concurrent Lanquages review http:\/\/mint.cs.man.ac.uk\/Projects\/UPC\/Languages\/ConcurrentLanguages.html"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807010045.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768807010045","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807010045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768807010045.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:13:13Z","timestamp":1775009593000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768807010045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,2]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2]]}},"alternative-id":["1004"],"URL":"https:\/\/doi.org\/10.1134\/s0361768807010045","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,2]]}}}