{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T12:35:32Z","timestamp":1725885332000},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319577074"},{"type":"electronic","value":"9783319577081"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-57708-1_1","type":"book-chapter","created":{"date-parts":[[2017,4,20]],"date-time":"2017-04-20T12:03:37Z","timestamp":1492689817000},"page":"3-14","source":"Crossref","is-referenced-by-count":0,"title":["Orchestration Combinators in Apla+ Language"],"prefix":"10.1007","author":[{"given":"Zhen","family":"You","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinyun","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,21]]},"reference":[{"key":"1_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/BFb0019998","volume-title":"VDM \u201891 Formal Software Development Methods","author":"C George","year":"1991","unstructured":"George, C.: The RAISE specification language a tutorial. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 552, pp. 238\u2013319. Springer, Heidelberg (1991). doi: 10.1007\/BFb0019998"},{"key":"1_CR2","series-title":"Lecture Notes in Electrical Engineering","doi-asserted-by":"publisher","first-page":"2699","DOI":"10.1007\/978-94-007-7618-0_339","volume-title":"Frontier and Future Development of Information Technology in Medicine and Education","author":"Y Zhao","year":"2014","unstructured":"Zhao, Y., Bao, T., Han, L., Liu, S., Chen, Q.: A formal framework for domain software analysis based on raise specification language. In: Li, S., Jin, Q., Jiang, X., Park, James J.(Jong Hyuk) (eds.) Frontier and Future Development of Information Technology in Medicine and Education. LNEE, vol. 269, pp. 2699\u20132705. Springer, Dordrecht (2014). doi: 10.1007\/978-94-007-7618-0_339"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Woodcock, J., Cavalcanti, A.: A concurrent language for refinement. In: IWFM 2001: 5th Irish Workshop in Formal Methods, Dublin, Ireland, 16\u201317 July 2001","DOI":"10.14236\/ewic\/IWFM2001.7"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/3-540-45614-7_26","volume-title":"FME 2002:Formal Methods\u2014Getting IT Right","author":"A Sampaio","year":"2002","unstructured":"Sampaio, A., Woodcock, J., Cavalcanti, A.: Refinement in circus. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 451\u2013470. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45614-7_26"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Miyazawa, A., Cavalcanti, A.: SCJ-Circus: a refinement-oriented formal notation for safety-critical Java. In: Refinement Workshop 2015 (Refine 2015) EPTCS, vol. 209, pp. 71\u201386 (2016). doi: 10.4204\/EPTCS.209.6","DOI":"10.4204\/EPTCS.209.6"},{"key":"1_CR6","unstructured":"Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented programming, Ph.D. thesis. ETH No. 17061 (2007)"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-13010-6_3","volume-title":"Advanced Lectures on Software Engineering","author":"B Morandi","year":"2010","unstructured":"Morandi, B., Bauer, Sebastian S., Meyer, B.: SCOOP \u2013 A contract-based concurrent object-oriented programming model. In: M\u00fcller, P. (ed.) LASER 2007-2008. LNCS, vol. 6029, pp. 41\u201390. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-13010-6_3"},{"issue":"11","key":"1_CR8","doi-asserted-by":"publisher","first-page":"2519","DOI":"10.1016\/j.jss.2012.05.076","volume":"85","author":"B Morandi","year":"2012","unstructured":"Morandi, B., Nanz, S., Meyer, B.: Performance analysis of SCOOP programs. J. Syst. Softw. 85(11), 2519\u20132530 (2012)","journal-title":"J. Syst. Softw."},{"key":"1_CR9","unstructured":"Caltais, G., Meyer, B.: On the Verification of SCOOP Programs. Computer Science (2015)"},{"key":"1_CR10","volume-title":"Temporal Logic and Temporal Logic Programming","author":"Z Duan","year":"2005","unstructured":"Duan, Z.: Temporal Logic and Temporal Logic Programming. Science Press, Beijing (2005)"},{"issue":"1","key":"1_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/s00236-007-0062-z","volume":"45","author":"Z Duan","year":"2008","unstructured":"Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45(1), 43\u201378 (2008)","journal-title":"Acta Informatica"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.tcs.2011.12.014","volume":"461","author":"C Tian","year":"2012","unstructured":"Tian, C., Duan, Z., Zhang, N.: An efficient approach for abstraction refinement in model checking. Theoret. Comput. Sci. 461, 76\u201385 (2012)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR13","volume-title":"Parallel Program Design: a Foundation","author":"KM Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: a Foundation. Addison-Wesley Publishing Co., Boston (1988)"},{"key":"1_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8528-6","volume-title":"A Discipline of Multiprogramming: A Programming Theory for Distributed Applications","author":"J Misra","year":"2001","unstructured":"Misra, J.: A Discipline of Multiprogramming: A Programming Theory for Distributed Applications. Springer, New York (2001)"},{"issue":"1","key":"1_CR15","first-page":"10","volume":"6","author":"J Misra","year":"2006","unstructured":"Misra, J., Cook, W.R.: Computation orchestration: a basis for wide-area computing. Softw. Syst. Model. 6(1), 10\u20131007 (2006)","journal-title":"Softw. Syst. Model."},{"key":"1_CR16","unstructured":"Kitchin, D.: Orchestration and Atomicity, Ph.D. dissertation, The University of Texas at Austin, August 2013"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-02138-1_1","volume-title":"Formal Techniques for Distributed Systems","author":"D Kitchin","year":"2009","unstructured":"Kitchin, D., Quark, A., Cook, W., Misra, J.: The orc programming language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS\/FORTE -2009. LNCS, vol. 5522, pp. 1\u201325. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-02138-1_1"},{"key":"1_CR18","unstructured":"Misra, J.: Structured Concurrent Programming (Pre-publication book), 4 December 2014"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-319-17404-4_10","volume-title":"Structured Object-Oriented Formal Language and Method","author":"Z You","year":"2015","unstructured":"You, Z., Xue, J., Hu, Q., Hong, Y.: Formal semantics of orc based on TLA+. In: Liu, S., Duan, Z. (eds.) SOFL+MSVL 2014. LNCS, vol. 8979, pp. 147\u2013163. Springer, Cham (2015). doi: 10.1007\/978-3-319-17404-4_10"},{"issue":"4","key":"1_CR20","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1007\/BF02943151","volume":"12","author":"J Xue","year":"1997","unstructured":"Xue, J.: A unified approach for developing efficient algorithm of programs. J. Comput. Sci. Technol. 12(4), 314\u2013329 (1997)","journal-title":"J. Comput. Sci. Technol."},{"key":"1_CR21","unstructured":"Xue, J.: PAR method and its supporting platform. In: Proceedings of the 1st Asian Working Conference on Verified Software (AWCVS 2006), pp. 29\u221231 (2006)"},{"key":"1_CR22","unstructured":"Xue, J.: Abstract programming language Apla in PAR method and PAR platform. Technical report. Key Laboratory of high performance computing technology, Jiangxi Normal University (2015). (in Chinese)"},{"key":"1_CR23","unstructured":"Xue, J., Davis R.: A simple program whose derivation and proof is also. In: Proceedings of the International Conference on Formal Engineering Methods, ICFEM 1997, pp. 132\u2013139 (1997)"},{"key":"1_CR24","unstructured":"Gries, D., Xue, J.: The Hopcroft-Tarjan planarity algorithm, presentations and improvements. Technical report 88-906, Computer Science Department, Cornell University (1988)"},{"key":"1_CR25","unstructured":"Xie, W.: Implementation of Hopcroft-Tarjan planarity testing algorithm in Apla language. Technical report of Jiangxi Normal University (2009). (in Chinese)"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-69311-6_14","volume-title":"Frontiers in Algorithmics","author":"J Xue","year":"2008","unstructured":"Xue, J., Yang, B., Zuo, Z.: A linear in-situ algorithm for the power of cyclic permutation. In: Preparata, Franco P., Wu, X., Yin, J. (eds.) FAW 2008. LNCS, vol. 5059, pp. 113\u2013123. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-69311-6_14"},{"key":"1_CR27","unstructured":"Yang, B.: Implementation of bank management system in Apla language. Technical report of Jiangxi Normal University (2008). (in Chinese)"},{"key":"1_CR28","unstructured":"Wu, G.: The Application and Research of PAR Platform in Software Outsourcing Services. MS. thesis. Nanchang: Jiangxi Normal University (2013). (in Chinese with English abstract)"},{"key":"1_CR29","unstructured":"Zhu, X.: Research on Implementation of Several New Software Technologies in Apla-Java Generation System. MS. thesis. Nanchang: Jiangxi Normal University (2016). (in Chinese with English abstract)"},{"key":"1_CR30","doi-asserted-by":"publisher","unstructured":"Dijkstra, E.W.: Hierarchical ordering of sequential processes. In: Operating Systems Techniques, Academic Press (1971)","DOI":"10.1007\/978-1-4757-3472-0_5"},{"key":"1_CR31","unstructured":"Try Orc! A example of Dining Philosophers. http:\/\/orc.csres.edu\/tryorc.shtml#tryorc\/small-demos\/philosopher.orc"},{"key":"1_CR32","unstructured":"Rist, R., Terwilliger R.: Object-Oriented Programming in EIFFEL (1993)"},{"key":"1_CR33","unstructured":"ECMA. Eiffel: Analysis, Design and Programming Language (Standard ECMA-367, 2nd Edn.) June 2006"},{"key":"1_CR34","unstructured":"Effielstudio: Eiffel Software Downloads. https:\/\/www.eiffel.org\/downloads"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-57708-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,5]],"date-time":"2020-10-05T23:32:51Z","timestamp":1601940771000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-57708-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319577074","9783319577081"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-57708-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}