{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T08:29:12Z","timestamp":1649147352121},"reference-count":28,"publisher":"International Academy Publishing (IAP)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.9.7.1707-1717","type":"journal-article","created":{"date-parts":[[2014,7,3]],"date-time":"2014-07-03T18:16:07Z","timestamp":1404411367000},"source":"Crossref","is-referenced-by-count":1,"title":["Specifying Complex Systems in Object-Z: A Case Study of Petrol Supply Systems"],"prefix":"10.17706","volume":"9","author":[{"given":"Yangping","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoheng","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tianming","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sam Yuan","family":"Sung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huaqiang","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2014,7,1]]},"reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref2","volume-title":"An Introduction to Formal Specification and Z","author":"Potter","year":"1990","unstructured":"[3] B. Potter, J. Sinclair, and D. Till, An Introduction to Formal Specification and Z. Prentice Hall International, 1990."},{"issue":"no. 3-4","key":"ref3","first-page":"381","article-title":"Z logic and its consequences","volume":"22","author":"Henson","year":"2012","unstructured":"[4] M. Henson, S. Reeves, and J. Bowen, \"Z logic and its consequences,\" Computing and Informatics, vol. 22, no. 3-4, pp. 381\u2013415, 2012.","journal-title":"Computing and Informatics"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(95)00024-O"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/125083.123051"},{"key":"ref7","volume-title":"An Introduction to Formal Specification and Z","author":"Potter","year":"1996","unstructured":"[8] B. Potter, J. Sinclair, and D. Till, An Introduction to Formal Specification and Z, 2nd ed. Prentice Hall, 1996."},{"key":"ref8","volume-title":"Systematic Software using VDM","author":"Jones","year":"1990","unstructured":"[9] C. B. Jones, Systematic Software using VDM, 2nd ed. Prentice Hal, 1990."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/234426.234431"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"},{"key":"ref13","volume-title":"Communicating Sequential Processes","author":"Hoare","year":"1985","unstructured":"[15] C. Hoare, Communicating Sequential Processes. Prentice Hall, 1985."},{"key":"ref14","volume-title":"R Milner Communication and Concurrency","year":"1989","unstructured":"[16] R.Milner, Communication and Concurrency. Prentice Hall, 1989."},{"key":"ref15","first-page":"767","article-title":"An object-oriented approach to the semantics of programming languages","volume-title":"Proceedings of the 17-th Annual Computer Science Conference","author":"Dong","year":"1994","unstructured":"[18] J. Dong, R. Duke, and G. Rose, \"An object-oriented approach to the semantics of programming languages,\" in Proceedings of the 17-th Annual Computer Science Conference, 1994, pp. 767\u2013775."},{"issue":"no. 12","key":"ref16","first-page":"820","article-title":"Formalization of oil and gas seismic survey using z-notation","volume":"8","author":"Asif","year":"2012","unstructured":"[20] S. Asif, S. Khan, and F. Ahmad, \"Formalization of oil and gas seismic survey using z-notation,\" Journal of American Science, vol. 8, no. 12, pp. 820\u2013826, 2012.","journal-title":"Journal of American Science"},{"key":"ref17","first-page":"111","article-title":"Using bounded fairness to specify and verify ordered asynchronous multi-agent systems","volume-title":"Proceedings of the 18th International Conference on Engineering of Complex Computer Systems","author":"Li","year":"2013","unstructured":"[21] Q. Li and G. Smith, \"Using bounded fairness to specify and verify ordered asynchronous multi-agent systems,\" in Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, 2013, pp. 111\u2013120."},{"key":"ref18","first-page":"93","article-title":"Formal modelling and analysis of aodv","volume-title":"Proceedings of the 18th International Conference on Engineering of Complex Computer Systems","author":"Wu","year":"2013","unstructured":"[22] X. Wu, J. W. Sanders, and H. Zhu, \"Formal modelling and analysis of aodv,\" in Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, 2013, pp. 93\u2013100."},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.7.4.890-899"},{"key":"ref20","first-page":"3107","article-title":"Developing an rov software control architecture: A formal specification approach","volume-title":"Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society","author":"de Assis","year":"2012","unstructured":"[25] F. H. de Assis, F. K. Takase, N. Maruyama, and P. E. Miyagi, \"Developing an rov software control architecture: A formal specification approach,\" in Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012, pp. 3107\u20133112."},{"key":"ref21","first-page":"1","article-title":"Reliable yet flexible software through formal model transformation (rule definition)","author":"Rasoolzadegan","year":"2013","unstructured":"[26] A. Rasoolzadegan and A. A. Barforoush, \"Reliable yet flexible software through formal model transformation (rule definition),\" Knowledge and Information Systems, pp. 1\u201348, 2013, online.","journal-title":"Knowl Inf Syst","ISSN":"http:\/\/id.crossref.org\/issn\/0219-1377","issn-type":"print"},{"key":"ref22","article-title":"The role of secondary attributes in formal object modeling","volume-title":"Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems","author":"Dong","year":"1995","unstructured":"[27] J. Dong, G. Rose, and R. Duke, \"The role of secondary attributes in formal object modeling,\" in Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems, 1995."},{"issue":"no. 1","key":"ref23","first-page":"41","article-title":"The geometry of object containment","volume":"2","author":"Dong","year":"1995","unstructured":"[28] J. S. Dong and R. Duke, \"The geometry of object containment,\" Object-Oriented Systems, vol. 2, no. 1, pp. 41\u201363, 1995.","journal-title":"Object-Oriented Systems"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.8.9.2405-2412"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.841115"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5355-9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213008003790"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.4304\/jcp.6.6.1086-1093"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2015,9,15]],"date-time":"2015-09-15T15:27:59Z","timestamp":1442330879000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/11516"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,1]]},"references-count":28,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2014,7,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.9.7.1707-1717","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2014,7,1]]}}}