{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:23:04Z","timestamp":1743045784502,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030774738"},{"type":"electronic","value":"9783030774745"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-77474-5_3","type":"book-chapter","created":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T04:04:50Z","timestamp":1622693090000},"page":"34-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modeling and Verification of Microservice-Based Cyber-Physical System"],"prefix":"10.1007","author":[{"given":"Jingzi","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongyan","family":"Mao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ningkang","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,4]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Rajkumar, R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: the next computing revolution. In: Design Automation Conference. IEEE (2010)","DOI":"10.1145\/1837274.1837461"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Sha, L., Gopalakrishnan, S., Liu, X., Wang, Q.: Cyber-physical systems: a new frontier. In: 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), Taichung. IEEE (2008)","DOI":"10.1109\/SUTC.2008.85"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Lee, E.: Cyber physical systems: design challenges. In: IEEE Symposium on Object Oriented Real-time Distributed Computing. IEEE Computer Society (2008)","DOI":"10.1109\/ISORC.2008.25"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-319-55542-3_5","volume-title":"Web Service Implementation and Composition Techniques","author":"H-y Paik","year":"2017","unstructured":"Paik, H.-y., Lemos, A.L., Barukh, M.C., Benatallah, B., Natarajan, A.: Web service composition: overview. In: Paik, H. (ed.) Web Service Implementation and Composition Techniques, pp. 149\u2013158. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-55542-3_5"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Hasselbring, W., Steinacker, G.: Microservice Architectures for Scalability, Agility and Reliability in E-Commerce, pp. 243\u2013246 (2017)","DOI":"10.1109\/ICSAW.2017.11"},{"key":"3_CR6","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International in Computer Science, Boston (1985)"},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"SD Brookes","year":"1984","unstructured":"Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. J. ACM 31(3), 560\u2013599 (1984)","journal-title":"J. ACM"},{"key":"3_CR8","unstructured":"PAT: Process Analysis Toolkit. http:\/\/pat.comp.nus.edu.sg\/"},{"key":"3_CR9","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-540-88479-8_22","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"J Sun","year":"2008","unstructured":"Sun, J., Liu, Y., Dong, J.S.: Model checking CSP revisited: introducing a process analysis toolkit. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 307\u2013322. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-88479-8_22"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Lee, J., Bagheri, B., Kao, H.A.: A cyber-physical systems architecture for Industry 4.0-based manufacturing systems.\u00a0Manuf. Lett. 3, 18\u201323 (2015)","DOI":"10.1016\/j.mfglet.2014.12.001"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Masin, M., et al.: Cross-layer design of reconfigurable cyber-physical systems.\u00a0In: 2017 Design, Automation and Test in Europe Conference and Exhibition (DATE).\u00a0IEEE (2017)","DOI":"10.23919\/DATE.2017.7927088"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Hong, Y., et al.: A novel multi-agent model-free control for state-of-charge balancing between distributed battery energy storage systems. IEEE Trans. Emerg. Top. Comput. Intell. 99, 1\u201310 (2020)","DOI":"10.1109\/TETCI.2020.2978434"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Barik, R.K., Dubey, H., Mankodiya, K.: SoA-Fog: secure service-oriented edge computing architecture for smart health big data analytics. In: 2017 IEEE Global Conference on Signal and Information Processing (GlobalSIP). IEEE (2018)","DOI":"10.1109\/GlobalSIP.2017.8308688"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Batchkova, I., Ivanova, T.: Model-driven development of agent-based cyber-physical systems. IFAC-Papers OnLine 52(25), 258\u2013263 (2019)","DOI":"10.1016\/j.ifacol.2019.12.492"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Hu, Y., Zhou, X.: CPS-Agent oriented construction and implementation for cyber physical systems. IEEE Access 1 (2018)","DOI":"10.1109\/ACCESS.2018.2873751"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"He, X., et al.: A framework for developing cyber physical systems. In: The 29th International Conference on Software Engineering and Knowledge Engineering\u00a0(2017)","DOI":"10.18293\/SEKE2017-095"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Cicirelli, F., et al.: Model continuity in cyber-physical systems: a control-centered methodology based on agents. Simul. Model. Pract. Theory Int. J. Feder. Eur. Simul. Soc. 83, 93 (2018)","DOI":"10.1016\/j.simpat.2017.12.008"},{"key":"3_CR18","unstructured":"Feljan, A.V., et al.: SOA-PE: a service-oriented architecture for planning and execution in cyber-physical systems. In: International Conference on Smart Sensors and Systems. IEEE (2017)"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Mohalik, S.K., et al.: Adaptive service-oriented architectures for cyber physical systems. In: 2017 IEEE Symposium on Service-Oriented System Engineering (SOSE). IEEE (2017)","DOI":"10.1109\/SOSE.2017.10"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Bigheti, J.A., Fernandes, M.M., Godoy, E.D.P.: Control as a service: a microservice approach to Industry 4.0. In: IEEE International Workshop on Metrology for Industry 4.0 and Internet of Things\u00a0National Service of Industrial Training (Senai), Len\u00e7\u00f3is Paulista, S\u00e3o Paulo State University (Unesp) (2019)","DOI":"10.1109\/METROI4.2019.8792918"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Pop, E., Gifu, D.: A cyber-physical systems oriented platform using web services. In: 2019 22nd International Conference on Control Systems and Computer Science (CSCS) (2019)","DOI":"10.1109\/CSCS.2019.00110"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Nakagawa, H., et al.: A model transformation approach to constructing agent-oriented design models for CPS\/IoT systems. In: SAC 2020: The 35th ACM\/SIGAPP Symposium on Applied Computing. ACM (2020)","DOI":"10.1145\/3341105.3374033"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-77474-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,3]],"date-time":"2021-06-03T04:05:50Z","timestamp":1622693150000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-77474-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030774738","9783030774745"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-77474-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"4 June 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SOFL+MSVL","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Structured Object-Oriented Formal Language and Method","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Singapore","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sofl2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/formal-analysis.com\/icfem\/2020\/sofl_msvl\/index.html","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":"24","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":"13","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":"54% - 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":"2","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":"3","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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic this event was held virtually.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}