{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T15:00:29Z","timestamp":1773932429808,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319917634","type":"print"},{"value":"9783319917641","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-91764-1_6","type":"book-chapter","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T09:45:50Z","timestamp":1529055950000},"page":"67-79","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Verification of the Consistency of Time-Aware Cyber-Physical Processes"],"prefix":"10.1007","author":[{"given":"Imen","family":"Graja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slim","family":"Kallel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nawal","family":"Guermouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed Hadj","family":"Kacem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,16]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Huang, J., Bastani, F.B., Yen, I.L., Zhang, W.: A framework for efficient service composition in cyber-physical systems. In: International Symposium on Service Oriented System Engineering, SOSE 2010, pp. 291\u2013298 (2010)","DOI":"10.1109\/SOSE.2010.46"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Wang, P., Xiang, Y., Zhang, S.H.: Cyber-physical system components composition analysis and formal verification based on service-oriented architecture. In: International Conference on e-Business Engineering, ICEBE 2012, pp. 327\u2013332. IEEE (2012)","DOI":"10.1109\/ICEBE.2012.60"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1007\/978-3-642-38027-3_74","volume-title":"Grid and Pervasive Computing","author":"Kaiyu Wan","year":"2013","unstructured":"Wan, K., Alagar, V.: A resource-centric architecture for service-oriented cyber physical system. In: Park, J.J.J.H., Arabnia, H.R., Kim, C., Shi, W., Gil, J.-M. (eds.) GPC 2013. LNCS, vol. 7861, pp. 686\u2013693. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-38027-3_74"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Lohmann, D., Schroder-Preikschat, W., Spinczyk, O.: Functional and non-functional properties in a family of embedded operating systems. In: International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 2005, pp. 413\u2013420 (2005)","DOI":"10.1109\/WORDS.2005.37"},{"key":"6_CR5","unstructured":"Meyer, S., Sperner, K., Magerkurth, C., Debortoli, S., Thoma, M.: Internet of Things architecture IoT-a project deliverable D2.2 concepts for modelling IoT-aware processes (2012). http:\/\/www.meet-iot.eu\/deliverables-IOTA\/D2_2.pdf"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bocciarelli, P., D\u2019Ambrogio, A., Giglio, A., Paglia, E.: A BPMN extension for modeling cyber-physical-production-systems in the context of industry 4.0. In: International Conference on Networking, Sensing and Control, ICNSC 2017. IEEE (2017)","DOI":"10.1109\/ICNSC.2017.8000159"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Graja, I., Kallel, S., Guermouche, N., H. Kacem, A.: BPMN4CPS: a BPMN extension for modeling cyber-physical systems. In: IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2016, pp. 152\u2013157 (2016)","DOI":"10.1109\/WETICE.2016.41"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Graja, I., Kallel, S., Guermouche, N., Kacem, A.H.: Modeling and verification of temporal properties in cyber-physical systems. In: IEEE Consumer Communications & Networking Conference, CCNC 2017 (2017)","DOI":"10.1109\/CCNC.2017.7983127"},{"issue":"1","key":"6_CR9","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0306-4379(00)00008-9","volume":"25","author":"WM van der Aalst","year":"2000","unstructured":"van der Aalst, W.M., ter Hofstede, A.H.: Verification of workflow task structures: a petri-net-baset approach. Inf. Syst. 25(1), 43\u201369 (2000)","journal-title":"Inf. Syst."},{"issue":"2","key":"6_CR10","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1109\/TASE.2013.2253552","volume":"11","author":"Y Du","year":"2014","unstructured":"Du, Y., Tan, W., Zhou, M.: Timed compatibility analysis of web service composition: a modular approach based on petri nets. IEEE Trans. Autom. Sci. Eng. 11(2), 594\u2013606 (2014)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Han, R., Liu, Y., Wen, L., Wang, J.: Probability timing constraint WF-nets and their application to timing schedulability analysis of workflow management systems. In: World Congress on Computer Science and Information Engineering, CSIE 2009 (2009)","DOI":"10.1109\/CSIE.2009.196"},{"issue":"2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1109\/TASE.2013.2253552","volume":"11","author":"Y Du","year":"2013","unstructured":"Du, Y., Tan, W., Zhou, M.: Timed compatibility analysis of web service composition: a modular approach based on petri nets. IEEE Trans. Autom. Sci. Eng. 11(2), 594\u2013606 (2013)","journal-title":"IEEE Trans. Autom. Sci. Eng."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Huang, J., Bastani, F., Yen, I.L., Jeng, J.J.: Toward a smart cyber-physical space: a context-sensitive resource-explicit service model. In: Computer, Software and Applications Conference, COMPSAC 2009, pp. 122\u2013127. IEEE, Seattle (2009)","DOI":"10.1109\/COMPSAC.2009.125"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Zhu, W., Zhou, G., Yen, I.L., Bastani, F.: A PT-SOA model for CPS\/IoT services. In: International Conference on Web Services, ICWS 2015, New York, pp. 647\u2013654. IEEE, June 2015","DOI":"10.1109\/ICWS.2015.91"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Dong, J., Huang, J., Zhang, Y., Yen, I.L., Bastani, F.: Service life cycle tools and technologies: methods, trends and advances. In: Abstract Service for Cyber Physical Service Composition. Information Science Reference, pp. 303\u2013322 (2012)","DOI":"10.4018\/978-1-61350-159-7.ch014"},{"issue":"2","key":"6_CR16","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/s10270-016-0551-z","volume":"17","author":"R Seiger","year":"2016","unstructured":"Seiger, R., Huber, S., Schlegel, T.: Toward an execution system for self-healing workflows in cyber-physical systems. Softw. Syst. Model. 17(2), 551\u2013572 (2016)","journal-title":"Softw. Syst. Model."},{"key":"6_CR17","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-319-19237-6_17","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"R Seiger","year":"2015","unstructured":"Seiger, R., Huber, S., Schlegel, T.: PROtEUS: an integrated system for process execution in cyber-physical systems. In: Gaaloul, K., Schmidt, R., Nurcan, S., Guerreiro, S., Ma, Q. (eds.) CAISE 2015. LNBIP, vol. 214, pp. 265\u2013280. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19237-6_17"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Marrella, A., Mecella, M., Halapuu, P., Sardina, S.: Automated process adaptation in cyber-physical domains with the smartPM system. In: IEEE International Conference on Service-Oriented Computing and Applications, SOCA 2015, pp. 59\u201364, October 2015","DOI":"10.1109\/SOCA.2015.18"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Li, L., Jin, Z., Li, G., Zheng, L., Wei, Q.: Modeling and analyzing the reliability and cost of service composition in the IoT: a probabilistic approach. In: International Conference on Web Services, ICWS 2012, Honolulu, pp. 584\u2013591 (2012)","DOI":"10.1109\/ICWS.2012.25"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Arney, D., Pajic, M., Goldman, J.M., Lee, I., Mangharam, R., Sokolsky, O.: Toward patient safety in closed-loop medical device systems. In: International Conference on Cyber-Physical Systems, ICCPS 2010, New York, pp. 139\u2013148. ACM (2010)","DOI":"10.1145\/1795194.1795214"},{"issue":"3","key":"6_CR21","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1109\/TPDS.2013.50","volume":"25","author":"T Li","year":"2014","unstructured":"Li, T., Tan, F., Wang, Q., Bu, L., Cao, J.N., Liu, X.: From offline toward real time: a hybrid systems model checking and CPS codesign approach for medical device plug-and-play collaborations. IEEE Trans. Parallel Distrib. Syst. (TSMCA) 25(3), 642\u2013652 (2014)","journal-title":"IEEE Trans. Parallel Distrib. Syst. (TSMCA)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Banerjee, A., Gupta, S.K.S.: Spatio-temporal hybrid automata for safe cyber-physical systems: a medical case study. In: International Conference on Cyber-Physical Systems, ICCPS 2013, New York, pp. 642\u2013652. ACM (2013)","DOI":"10.1145\/2502524.2502535"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Li, J., Fan, Y., Zhou, M.: Timing constraint workflow nets for workflow analysis. IEEE Trans. Syst. Man Cybern. Part A Syst. Hum. 33(2), 179\u2013193 (2003)","DOI":"10.1109\/TSMCA.2003.811771"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Liu, X., Wang, D., Yuan, D., Wang, F., Yang, Y.: Throughput based temporal verification for monitoring large batch of parallel processes. In: International Conference on Software and System Process, ICSSP 2014, New York. ACM (2014)","DOI":"10.1145\/2600821.2600834"},{"key":"6_CR25","unstructured":"Krishna, S.N., Trivedi, A.: Hybrid automata for formal modeling and verification of cyber-physical systems. J. Indian Inst. Sci. 93(3) (2015)"},{"issue":"1","key":"6_CR26","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10845-008-0203-4","volume":"21","author":"R Bart\u00e1k","year":"2010","unstructured":"Bart\u00e1k, R., Salido, M.A., Rossi, F.: Constraint satisfaction techniques in planning and scheduling. J. Intell. Manuf. 21(1), 5\u201315 (2010)","journal-title":"J. Intell. Manuf."},{"issue":"2","key":"6_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/IJWSR.2015040101","volume":"12","author":"I Guidara","year":"2015","unstructured":"Guidara, I., Guermouche, N., Chaari, T., Jmaiel, M., Tazi, S.: Time-dependent QoS aware best service combination selection. Int. J. Web Serv. Res. 12(2), 1\u201325 (2015)","journal-title":"Int. J. Web Serv. Res."},{"key":"6_CR28","unstructured":"Prud\u2019homme, C., Fages, J.G., Lorca, X.: Choco Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S. (2016)"},{"key":"6_CR29","unstructured":"Graja, I., Kallel, S., Guermouche, N., Kacem, A.H.: Towards the verification of cyber-physical processes based on time and physical properties. Int. J. Bus. Syst. Res. (2017)"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Graja, I., Mechim, A., Kallel, S., Guermouche, N., Kacem, A.H.: Demonstrating BPMN4CPS: modeling and verification of cyber-physical systems. In: IEEE Consumer Communications & Networking Conference, CCNC 2017 (2017)","DOI":"10.1109\/CCNC.2017.7983181"},{"issue":"4","key":"6_CR31","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/52.391832","volume":"12","author":"B. Kitchenham","year":"1995","unstructured":"Kitchenham, B., Pickard, L., Pfleeger, S.L.: Case studies for method and tool evaluation (1995)","journal-title":"IEEE Software"},{"key":"6_CR32","unstructured":"Sacha, K.: Software engineering: evolution and emerging technologies. In: Evaluation of Software Quality. IOS Press (2005)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2017 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91764-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:19:41Z","timestamp":1751689181000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91764-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319917634","9783319917641"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91764-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"16 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malaga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoc.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}