{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:51:01Z","timestamp":1742943061928,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":50,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819986637"},{"type":"electronic","value":"9789819986644"}],"license":[{"start":{"date-parts":[[2023,12,15]],"date-time":"2023-12-15T00:00:00Z","timestamp":1702598400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,12,15]],"date-time":"2023-12-15T00:00:00Z","timestamp":1702598400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-981-99-8664-4_9","type":"book-chapter","created":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T06:05:13Z","timestamp":1702533913000},"page":"152-170","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Multi-dimensional Abstraction and\u00a0Decomposition for\u00a0Separation of\u00a0Concerns"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9771-3071","authenticated-orcid":false,"given":"Zhiming","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiadong","family":"Teng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9026-2543","authenticated-orcid":false,"given":"Bo","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,12,15]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning Programs to Meanings","author":"JR Abrial","year":"1996","unstructured":"Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)"},{"key":"9_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BFb0053034","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"EP Andersen","year":"1992","unstructured":"Andersen, E.P., Reenskaug, T.: System design by composing structures of interacting objects. In: Madsen, O.L. (ed.) ECOOP 1992. LNCS, vol. 615, pp. 133\u2013152. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/BFb0053034"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-540-48654-1_28","volume-title":"CONCUR \u201994: Concurrency Theory","author":"RJR Back","year":"1994","unstructured":"Back, R.J.R., von Wright, J.: Trace refinement of action systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol. 836, pp. 367\u2013384. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/978-3-540-48654-1_28"},{"key":"9_CR5","volume-title":"Service-Oriented Modeling: Service Analysis, Design, and Architecture","author":"M Bell","year":"2008","unstructured":"Bell, M.: Service-Oriented Modeling: Service Analysis, Design, and Architecture. Wiley, Hoboken (2008)"},{"key":"9_CR6","volume-title":"Object-Oriented Analysis and Design with Applications","author":"G Booch","year":"1994","unstructured":"Booch, G.: Object-Oriented Analysis and Design with Applications. Addison-Wesley, Boston (1994)"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1109\/MC.1987.1663532","volume":"20","author":"FP Brooks","year":"1987","unstructured":"Brooks, F.P.: No silver bullet: essence and accidents of software engineering. IEEE Comput. 20(4), 10\u201319 (1987)","journal-title":"IEEE Comput."},{"issue":"5","key":"9_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1109\/MS.1995.10042","volume":"12","author":"FP Brooks","year":"1995","unstructured":"Brooks, F.P.: The mythical man-month: after 20 years. IEEE Softw. 12(5), 57\u201360 (1995)","journal-title":"IEEE Softw."},{"key":"9_CR9","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, Reading (1988)"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-85289-6_6","volume-title":"The Common Component Modeling Example","author":"Z Chen","year":"2008","unstructured":"Chen, Z., et al.: Modelling with relational calculus of object and component systems - rCOS. In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. LNCS, vol. 5153, pp. 116\u2013145. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-85289-6_6"},{"issue":"4","key":"9_CR11","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1016\/j.scico.2008.08.003","volume":"74","author":"Z Chen","year":"2009","unstructured":"Chen, Z., Liu, Z., Ravn, A.P., Stolz, V., Zhan, N.: Refinement and verification in component-based model driven design. Sci. Comput. Program. 74(4), 168\u2013196 (2009)","journal-title":"Sci. Comput. Program."},{"key":"9_CR12","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b94115","volume-title":"Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5\u20137, 2003, Proceedings","year":"2003","unstructured":"Dong, J.S., Woodcock, J. (eds.): Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5\u20137, 2003, Proceedings. Lecture Notes in Computer Science, vol. 2885. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/b94115"},{"key":"9_CR14","volume-title":"Designing Systems Programs","author":"R Gauthier","year":"1970","unstructured":"Gauthier, R., Pont, S.: Designing Systems Programs. Prentice-Hall, Englewood Cliffs (1970)"},{"issue":"1","key":"9_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"AJ Goguen","year":"1992","unstructured":"Goguen, A.J., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"9_CR16","unstructured":"Haan, J.D.: 8 reasons why model-driven approaches (will) fail, infoQ. https:\/\/www.infoq.com\/articles\/8-reasons-why-MDE-fails\/"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/j.entcs.2006.05.022","volume":"160","author":"J He","year":"2006","unstructured":"He, J., Li, X., Liu, Z.: A theory of reactive components. Electr. Notes Theor. Comput. Sci. 160, 173\u2013195 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"1\u20132","key":"9_CR18","first-page":"109","volume":"365","author":"J He","year":"2006","unstructured":"He, J., Liu, Z., Li, X.: rCOS: a refinement calculus of object systems. Theoret. Comput. Sci. 365(1\u20132), 109\u2013142 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Herold, S., et al.: The common component modeling example. In: Rausch, A., Reussner, R., Mirandola, R., Pl\u00e1\u0161il, F. (eds.) The Common Component Modeling Example. Lecture Notes in Computer Science, chap. 1, , vol. 5153, pp. 16\u201353. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-85289-6_3"},{"issue":"10","key":"9_CR20","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"issue":"8","key":"9_CR21","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"9_CR22","volume-title":"Unifying Theories of Programming","author":"CAR Hoare","year":"1998","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Upper Saddle River (1998)"},{"key":"9_CR23","volume-title":"Systematic Software Development using VDM","author":"CB Jones","year":"1990","unstructured":"Jones, C.B.: Systematic Software Development using VDM. Prentice Hall, Upper Saddle River (1990)"},{"key":"9_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-47884-1_16","volume-title":"Integrated Formal Methods","author":"S Kent","year":"2002","unstructured":"Kent, S.: Model driven engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, pp. 286\u2013298. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-47884-1_16"},{"issue":"3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. 16(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR26","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, Boston (2002)"},{"key":"9_CR27","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process","author":"C Larman","year":"2001","unstructured":"Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process, 2nd edn. Prentice-Hall, Upper Saddle River (2001)","edition":"2"},{"key":"9_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1087","DOI":"10.1007\/3-540-48118-4_8","volume-title":"FM\u201999\u2014Formal Methods","author":"GT Leavens","year":"1999","unstructured":"Leavens, G.T., Baker, A.L.: Enhancing the pre- and postcondition technique for more expressive specifications. In: Wing, J.M., Woodcock, J., Davies, J. (eds.) FM 1999. LNCS, vol. 1709, pp. 1087\u20131106. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48118-4_8"},{"issue":"3","key":"9_CR29","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11334-008-0062-3","volume":"4","author":"D Li","year":"2008","unstructured":"Li, D., Li, X., Liu, J., Liu, Z.: Validation of requirements models by automatic prototyping. J. Innov. Syst. Softw. Eng. 4(3), 241\u2013248 (2008)","journal-title":"J. Innov. Syst. Softw. Eng."},{"key":"9_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-35743-5_7","volume-title":"Formal Aspects of Component Software","author":"D Li","year":"2012","unstructured":"Li, D., Li, X., Liu, Z., Stolz, V.: Interactive transformations from object-oriented models to component-based models. In: Arbab, F., \u00d6lveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 97\u2013114. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35743-5_7"},{"key":"9_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-031-40436-8_3","volume-title":"Theories of Programming and Formal Methods","author":"Z Liu","year":"2023","unstructured":"Liu, Z.: Linking formal methods in software development - a reflection on the development of rCOS. In: Bowen, J.P., Li, Q., Xu, Q. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 14080, pp. 52\u201384. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-40436-8_3"},{"key":"9_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/978-3-540-39893-6_36","volume-title":"Formal Methods and Software Engineering","author":"Z Liu","year":"2003","unstructured":"Liu, Z., Jifeng, H., Li, X., Chen, Y.: A relational model for formal object-oriented requirement analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol. 2885, pp. 641\u2013664. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-540-39893-6_36"},{"issue":"1","key":"9_CR33","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/314602.314605","volume":"21","author":"Z Liu","year":"1999","unstructured":"Liu, Z., Joseph, M.: Specification and verification of fault-tolerance, timing, and scheduling. ACM Trans. Program. Lang. Syst. 21(1), 46\u201389 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Liu, Z., Mencl, V., Ravn, A.P., Yang, L.: Harnessing theories for tool support. In: Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pp. 371\u2013382. IEEE Computer Society (2006)","DOI":"10.1109\/ISoLA.2006.49"},{"key":"9_CR35","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-540-88479-8_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"Z Liu","year":"2008","unstructured":"Liu, Z., Morisset, C., Stolz, V.: A component-based access control monitor. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 339\u2013353. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88479-8_24"},{"issue":"11","key":"9_CR36","doi-asserted-by":"publisher","first-page":"1535","DOI":"10.1631\/FITEE.2000537","volume":"21","author":"Z Liu","year":"2020","unstructured":"Liu, Z., Wang, J.: Human-cyber-physical systems: concepts, challenges, and research opportunities. Frontiers Inf. Technol. Electron. Eng. 21(11), 1535\u20131553 (2020)","journal-title":"Frontiers Inf. Technol. Electron. Eng."},{"key":"9_CR37","doi-asserted-by":"publisher","unstructured":"Long, Q., Liu, Z., Li, X., He, J.: Consistent code generation from UML models. In: 16th Australian Software Engineering Conference (ASWEC 2005), 31 March\u20131 April 2005, Brisbane, Australia, pp. 23\u201330. IEEE Computer Society (2005). https:\/\/doi.org\/10.1109\/ASWEC.2005.17","DOI":"10.1109\/ASWEC.2005.17"},{"key":"9_CR38","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., Upper Saddle River (1989)"},{"key":"9_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10235-3"},{"issue":"12","key":"9_CR40","doi-asserted-by":"publisher","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"key":"9_CR41","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1145\/355602.361309","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: A technique for software module specification with examples. Commun. ACM 15, 330\u2013336 (1972)","journal-title":"Commun. ACM"},{"key":"9_CR42","doi-asserted-by":"crossref","unstructured":"Petri, C.A., Reisig, W.: Petri net. Scholarpedia 3(4) (2008)","DOI":"10.4249\/scholarpedia.6477"},{"key":"9_CR43","volume-title":"Theory and Practice of Concurrency","author":"AW Roscoe","year":"1997","unstructured":"Roscoe, A.W.: Theory and Practice of Concurrency. Prentice-Hall, Upper Saddle River (1997)"},{"key":"9_CR44","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5265-9","volume-title":"The Object-Z Specification Language","author":"G Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/978-1-4615-5265-9"},{"key":"9_CR45","series-title":"International Series in Computer Science","volume-title":"The Z Notation, A Reference Manual","author":"JM Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation, A Reference Manual. International Series in Computer Science, 2nd edn. Prentice Hall, Upper Saddle River (1992)","edition":"2"},{"key":"9_CR46","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)","edition":"2"},{"key":"9_CR47","unstructured":"Tarr, P., Ossher, H., Harrison, W., Sutton, S.M.: N degrees of separation: multi-dimensional separation of concerns. In: Proceedings of the 1999 International Conference on Software Engineering, pp. 107\u2013119. IEEE (1999)"},{"key":"9_CR48","unstructured":"Wang, J., Zhan, N., Feng, X., Feng, Liu, Z.: Overview of formal methods (in Chinese). Ruan Jian Xue Bao\/J. Softw. 30(1), 33\u201361 (2019)"},{"issue":"2","key":"9_CR49","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1109\/TR.2019.2934348","volume":"69","author":"Y Yang","year":"2020","unstructured":"Yang, Y., Li, X., Ke, W., Liu, Z.: Automated prototype generation from formal requirements model. IEEE Trans. Reliab. 69(2), 632\u2013656 (2020)","journal-title":"IEEE Trans. Reliab."},{"issue":"1\u20132","key":"9_CR50","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s00165-007-0067-y","volume":"21","author":"L Zhao","year":"2009","unstructured":"Zhao, L., Liu, X., Liu, Z., Qiu, Z.: Graph transformations for object-oriented refinement. Formal Aspects Comput. 21(1\u20132), 103\u2013131 (2009)","journal-title":"Formal Aspects Comput."}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-99-8664-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,14]],"date-time":"2023-12-14T06:06:52Z","timestamp":1702534012000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-99-8664-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,15]]},"ISBN":["9789819986637","9789819986644"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/978-981-99-8664-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,12,15]]},"assertion":[{"value":"15 December 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Nanjing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 November 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lcs.ios.ac.cn\/setta2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"78","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"24","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}