{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:40:06Z","timestamp":1747579206845,"version":"3.40.5"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"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":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018981703781","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"157-187","source":"Crossref","is-referenced-by-count":5,"title":["Formal methods for telecommunication system requirements: A survey of standardized languages"],"prefix":"10.1007","volume":"3","author":[{"given":"Mark A.","family":"Ardis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"326133_CR1","volume-title":"The Theory of Parsing, Translation, and Compiling","author":"A.V. Aho","year":"1972","unstructured":"Aho, A.V. and J.D. Ullman (1972), The Theory of Parsing, Translation, and Compiling, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326133_CR2","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/ICSE.1994.296761","volume-title":"Proceedings of the 16th International Conference on Software Engineering","author":"M. Ardis","year":"1994","unstructured":"Ardis, M. (1994), \u201cLessons from Using Basic LOTOS,\u201d In Proceedings of the 16th International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 5\u201314."},{"issue":"6","key":"326133_CR3","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1109\/32.508312","volume":"22","author":"M. Ardis","year":"1996","unstructured":"Ardis, M., J.A. Chaves, L.J. Jagadeesan, P. Mataga, C. Puchol, M. Staskauskas, and J. VonOlnhausen (1996), \u201cA Framework for Evaluating Specification Methods for Reactive Systems,\u201d IEEE Transactions on Software Engineering 22,6, 378\u2013389.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326133_CR4","series-title":"Technical Report","volume-title":"Synchronous Optical Network (SONET) Transport Systems: Common Generic Criteria","author":"Bellcore","year":"1991","unstructured":"Bellcore (1991), \u201cSynchronous Optical Network (SONET) Transport Systems: Common Generic Criteria,\u201d Technical Report TR-NWT-000253, Issue 2, Bellcore, Red Bank, NJ."},{"key":"326133_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G. and G. Gonthier (1992), \u201cThe ESTEREL Synchronous Programming Language: Design, Semantics, Implementation,\u201d Science of Computer Programming 19, 87\u2013152.","journal-title":"Science of Computer Programming"},{"key":"326133_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1987","unstructured":"Bolognesi, T. and E. Brinksma (1987), \u201cIntroduction to the ISO Specification Language LOTOS,\u201d Computer Networks and ISDN Systems 14, 25\u201359.","journal-title":"Computer Networks and ISDN Systems"},{"key":"326133_CR7","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/B978-0-444-89402-1.50015-1","volume-title":"Proceedings of Formal Description Techniques IV","author":"J.A. Chaves","year":"1992","unstructured":"Chaves, J.A. (1992), \u201cFormal Methods at AT&T \u2014 an Industrial Usage Report,\u201d In Proceedings of Formal Description Techniques IV, North-Holland, Amsterdam, pp. 83\u201390."},{"issue":"1","key":"326133_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., J. Parrow, and B. Steffen (1993), \u201cThe Concurrency Workbench: A Semantics-Based Tool for the Verification of Finite-State Systems,\u201d ACM Transactions on Programming Languages and Systems 15,1, 36\u201372.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"6","key":"326133_CR9","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/52.241969","volume":"10","author":"M. Dauphin","year":"1993","unstructured":"Dauphin, M., G. Fonade, and R. Reed (1993), \u201cSPECS: Making Formal Techniques Usable,\u201d IEEE Software 10,6, 55\u201357.","journal-title":"IEEE Software"},{"key":"326133_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D. (1987), \u201cStatecharts, a Visual Formalism for Complex Systems,\u201d Science of Computer Programming 8, 231\u2013274.","journal-title":"Science of Computer Programming"},{"key":"326133_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R. (1985), Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ."},{"issue":"2","key":"326133_CR12","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0140-3664(92)90132-X","volume":"15","author":"G.J. Holzmann","year":"1992","unstructured":"Holzmann, G.J. (1992), \u201cPractical Methods for the Formal Validation of SDL Specifications,\u201d Computer Communications 15,2, pp. 129\u2013134.","journal-title":"Computer Communications"},{"key":"326133_CR13","volume-title":"International Standard ISO 9074","author":"ISO","year":"1989","unstructured":"ISO (1989), \u201cESTELLE \u2014 A Formal Description Technique Based on an Extended State Transition Model,\u201d International Standard ISO 9074, International Organization for Standardization, Geneva, Switzerland."},{"key":"326133_CR14","volume-title":"International Standard ISO 8807","author":"ISO","year":"1989","unstructured":"ISO (1989), \u201cLOTOS \u2014 A Formal Description Technique Based on the Temporal Ordering of Observational Behavior,\u201d International Standard ISO 8807, International Organization for Standardization, Geneva, Switzerland."},{"key":"326133_CR15","volume-title":"Message Sequence Chart (MSC)","author":"ITU-T","year":"1993","unstructured":"ITU-T (1993), \u201cMessage Sequence Chart (MSC),\u201d Recommendation Z.120, International Telecommunication Union, Geneva, Switzerland."},{"key":"326133_CR16","volume-title":"Specification and Description Language SDL","author":"ITU-T","year":"1993","unstructured":"ITU-T (1993), \u201cSpecification and Description Language SDL,\u201d Recommendation Z.100, International Telecommunication Union, Geneva, Switzerland."},{"key":"326133_CR17","volume-title":"Systematic Software Construction Using VDM","author":"C.B. Jones","year":"1990","unstructured":"Jones, C.B. (1990), Systematic Software Construction Using VDM, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326133_CR18","first-page":"375","volume-title":"Applications of Formal Methods","author":"P.A. Mataga","year":"1995","unstructured":"Mataga, P.A. and P. Zave (1995), \u201cMultiparadigm Specification of an AT&T Switching system,\u201d In Applications of Formal Methods, M.G. Hinchey and J.P. Bowen, Eds., Prentice-Hall, Englewood Cliffs, NJ, pp. 375\u2013398."},{"key":"326133_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R. (1980), A Calculus of Communicating Systems, Lecture Notes in Computer Science, Vol. 92, Springer, Berlin, Germany."},{"issue":"3","key":"326133_CR20","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J.L. Peterson","year":"1977","unstructured":"Peterson, J.L. (1977), \u201cPetri Nets,\u201d ACM Computing Surveys 9,3, 223\u2013252.","journal-title":"ACM Computing Surveys"},{"key":"326133_CR21","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M. (1992), The Z Notation: A Reference Manual, Second Edition, Prentice Hall International, Englewood Cliffs, NJ.","edition":"Second Edition"},{"key":"326133_CR22","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/0304-3975(90)90111-T","volume":"89","author":"C.A. Vissers","year":"1991","unstructured":"Vissers, C.A., G. Scollo, M. van Sinderen, and E. Brinksma (1991), \u201cSpecification Styles in Distributed Systems Design and Verification,\u201d Theoretical Computer Science 89, 179\u2013206.","journal-title":"Theoretical Computer Science"}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018981703781.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018981703781\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018981703781.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:09:54Z","timestamp":1747577394000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018981703781"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326133"],"URL":"https:\/\/doi.org\/10.1023\/a:1018981703781","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}