{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T13:10:17Z","timestamp":1740316217982,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213772"},{"type":"electronic","value":"9783540247562"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24756-2_10","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:18:31Z","timestamp":1280276311000},"page":"168-186","source":"Crossref","is-referenced-by-count":1,"title":["Generating MSCs from an Integrated Formal Specification Language"],"prefix":"10.1007","author":[{"given":"Jin Song","family":"Dong","sequence":"first","affiliation":[]},{"given":"Shengchao","family":"Qin","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Sun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Theoretical Computer Science\u00a018(1) (1990)","DOI":"10.1017\/CBO9780511624193"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-40911-4_6","volume-title":"Integrated Formal Methods","author":"C. Bolton","year":"2000","unstructured":"Bolton, C., Davies, J.: Activity Graphs and Processes. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 77\u201396. Springer, Heidelberg (2000)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1023\/A:1016000201864","volume":"21","author":"H. Bowman","year":"2002","unstructured":"Bowman, H., Steen, M.W.A., Boiten, E.A., Derrick, J.: A Formal Framework for Viewpoint Consistency. Formal Methods in System Design\u00a021, 111\u2013166 (2002)","journal-title":"Formal Methods in System Design"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Integrated Formal Methods","author":"P.J. Brooke","year":"2002","unstructured":"Brooke, P.J., Paige, R.F.: The Design of a Tool-Supported Graphical Notation for Timed CSP. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol.\u00a02335, Springer, Heidelberg (2002)"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48119-2_28","volume-title":"FM\u201999 - Formal Methods","author":"M. Butler","year":"1999","unstructured":"Butler, M.: csp2B: A Practical Approach To Combining CSP and B. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol.\u00a01708, Springer, Heidelberg (1999)"},{"key":"10_CR6","unstructured":"Chen, C.-A., Kalvala, S., Sinclair, J.: Generating b specifications from message sequence charts. In: St.Eve Workshop (September 2003)"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Coombes, A., McDermid, J.A.: Using Diagrams to Give a Formal Specification of Timing Constraints in Z. In: Z User Workshop, pp. 119\u2013130 (1992)","DOI":"10.1007\/978-1-4471-3556-2_9"},{"key":"10_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/978-3-540-39893-6_8","volume-title":"Formal Methods and Software Engineering","author":"J. Davies","year":"2003","unstructured":"Davies, J., Crichton, C.: Using State Diagrams to Describe Concurrent Behaviour. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol.\u00a02885, pp. 105\u2013124. Springer, Heidelberg (2003)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Davies, J., Schneider, S.: A Brief History of Timed CSP. Theoretical Computer Science\u00a0138 (1995)","DOI":"10.1016\/0304-3975(94)00169-J"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Dias, M.S., Richardson, D.J.: Identifying Cause and Effect Relations between Events in Concurrent Event-Based Componenents. In: Richardson, J., Emmerich, W., Wile, D. (eds.) The 17th IEEE International Conference on Automated Software Engineering (ASE 2002) (2002)","DOI":"10.1109\/ASE.2002.1115021"},{"key":"10_CR11","series-title":"Cornerstones of Computing Series","volume-title":"Formal Object Oriented Specification Using Object-Z","author":"R. Duke","year":"2000","unstructured":"Duke, R., Rose, G.: Formal Object Oriented Specification Using Object-Z, March 2000. Cornerstones of Computing Series. Macmillan, Basingstoke (2000)"},{"key":"10_CR12","unstructured":"Feldmann, R.L., Munch, J., Queins, S., Vorwieger, S., Zimmermann, G.: Baselining a Doman-Specific Software Development Process. Tech Report SFB501 TR- 02\/99, University of Kaiserslautern (1999)"},{"key":"10_CR13","volume-title":"IFM 1999: Integrated Formal Methods","author":"C. Fischer","year":"1999","unstructured":"Fischer, C., Wehrheim, H.: Model-Checking CSP-OZ Specifications with FDR. In: Araki, K., Galloway, A., Taguchi, K. (eds.) IFM 1999: Integrated Formal Methods, York, UK, June 1999, Springer, Heidelberg (1999)"},{"key":"10_CR14","series-title":"International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"10_CR15","unstructured":"ITU. Message Sequence Chart(MSC), Series Z: Languages and general software aspects for telecommunication systems (Novomber 1999)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Liu, S., Jeff Offutt, A., Ho-Stuart, C., Sun, Y., Ohba, M.: A formal engineering methodology for industrial applications, pp. 24\u201345 (1998)","DOI":"10.1109\/32.663996"},{"issue":"2","key":"10_CR17","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1109\/32.841115","volume":"26","author":"B. Mahony","year":"2000","unstructured":"Mahony, B., Dong, J.S.: Timed Communicating Object Z. IEEE Transactions on Software Engineering\u00a026(2), 150\u2013177 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10_CR18","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/s001650200004","volume":"13","author":"B. Mahony","year":"2002","unstructured":"Mahony, B., Dong, J.S.: Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects of Computing\u00a013(2), 142\u2013160 (2002)","journal-title":"Formal Aspects of Computing"},{"issue":"1","key":"10_CR19","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/s001650200004","volume":"13","author":"B. Mahony","year":"2002","unstructured":"Mahony, B., Dong, J.S.: Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. Formal Aspects of Computing\u00a013(1), 142\u2013160 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/3-540-36103-0_31","volume-title":"Formal Methods and Software Engineering","author":"M.Y. Ng","year":"2002","unstructured":"Ng, M.Y., Butler, M.: Tool Support for Visualizing CSP in UML. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol.\u00a02495, pp. 287\u2013298. Springer, Heidelberg (2002)"},{"issue":"10","key":"10_CR21","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1109\/32.328995","volume":"20","author":"B. Nuseibeh","year":"1994","unstructured":"Nuseibeh, B., Kramer, J., Finkelstein, A.: A Framework for Expressing the Relationships Between Multiple Views in Requirement Specifications. IEEE Trans. Software Eng.\u00a020(10), 760\u2013773 (1994)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/3-540-40911-4_10","volume-title":"Integrated Formal Methods","author":"L. Petre","year":"2000","unstructured":"Petre, L., Sere, K.: Developing Control Systems Components. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, p. 156. Springer, Heidelberg (2000)"},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"Richardson, D.J., Aha, S.L., O\u2019Malley, T.O.: Specification-Based Test Oracles for Reactive Systems. International Conference on Software Engineering, 105\u2013118 (1992)","DOI":"10.1109\/ICSE.1992.753494"},{"key":"10_CR24","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"10_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language. Advances in Formal Methods","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/A:1011269103179","volume":"18","author":"G. Smith","year":"2001","unstructured":"Smith, G., Derrick, J.: Specification, Refinement and Verification of Concurrent Systems - an Integration of Object-Z and CSP. Formal Methods in System Design\u00a018, 249\u2013284 (2001)","journal-title":"Formal Methods in System Design"},{"issue":"11","key":"10_CR27","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1109\/32.553698","volume":"22","author":"P. Stocks","year":"1996","unstructured":"Stocks, P., Carrington, D.: A Framework for Specification-based Testing. IEEE Trans. Software Eng.\u00a022(11), 777\u2013793 (1996)","journal-title":"IEEE Trans. Software Eng."},{"key":"10_CR28","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1023\/A:1016513914276","volume":"13","author":"J. Sun","year":"2002","unstructured":"Sun, J., Dong, J.S., Liu, J., Wang, H.: A Formal Object Approach to the Design of ZML. Annals of Software Engineering\u00a013, 329\u2013356 (2002)","journal-title":"Annals of Software Engineering"},{"key":"10_CR29","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1109\/ICFEM.1997.630435","volume-title":"The IEEE International Conference on Formal Engineering Methods (ICFEM 1997)","author":"K. Taguchi","year":"1997","unstructured":"Taguchi, K., Araki, K.: The State-Based CCS Semantics for Concurrent Z Specification. In: Hinchey, M., Liu, S. (eds.) The IEEE International Conference on Formal Engineering Methods (ICFEM 1997), Hiroshima, Japan, November 1997, pp. 283\u2013292. IEEE Press, Los Alamitos (1997)"},{"key":"10_CR30","volume-title":"IFM 1999: Integrated Formal Methods","author":"H. Treharne","year":"1999","unstructured":"Treharne, H., Schneider, S.: Using a Process Algebra to Control B Operations. In: Araki, K., Galloway, A., Taguchi, K. (eds.) IFM 1999: Integrated Formal Methods, York, UK, June 1999, Springer, Heidelberg (1999)"},{"key":"10_CR31","volume-title":"Information Systems Engineering: A Formal Approach","author":"K.M. Hee van","year":"1994","unstructured":"van Hee, K.M.: Information Systems Engineering: A Formal Approach. Cambridge University Press, Cambridge (1994)"},{"key":"10_CR32","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1109\/APSEC.2001.991490","volume-title":"The 8th Asia-Pacific Software Engineering Conference (APSEC 2001)","author":"J. Woodcock","year":"2001","unstructured":"Woodcock, J., Cavalcanti, A.: The Steam Boiler in a Unified Theory of Z and CSP. In: He, J., Li, Y., Lowe, G. (eds.) The 8th Asia-Pacific Software Engineering Conference (APSEC 2001), pp. 291\u2013298. IEEE Press, Los Alamitos (2001)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24756-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T12:32:57Z","timestamp":1740313977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24756-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213772","9783540247562"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24756-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}