{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:41Z","timestamp":1750308641212,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319590592"},{"type":"electronic","value":"9783319590608"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59060-8_53","type":"book-chapter","created":{"date-parts":[[2017,5,23]],"date-time":"2017-05-23T08:42:30Z","timestamp":1495528950000},"page":"589-598","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Supporting BPMN Process Models with UML Sequence Diagrams for Representing Time Issues and Testing Models"],"prefix":"10.1007","author":[{"given":"Anna","family":"Suchenia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Kluza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krystian","family":"Jobczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piotr","family":"Wi\u015bniewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Micha\u0142","family":"Wypych","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoni","family":"Lig\u0119za","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,24]]},"reference":[{"key":"53_CR1","unstructured":"OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. Technical report formal\/2011-01-03, Object Management Group, January 2011"},{"key":"53_CR2","unstructured":"OMG: Unified Modeling Language version 2.1.2 infrastructure specification. Technical report formal\/2007-11-04, Object Management Group. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2007-11-04.pdf"},{"issue":"11","key":"53_CR3","first-page":"42","volume":"13","author":"A Mroczek","year":"2013","unstructured":"Mroczek, A.: Testing object-oriented systems by using a random sequence of UML diagrams. Int. J. Comput. Sci. Netw. Secur. (IJCSNS) 13(11), 42 (2013)","journal-title":"Int. J. Comput. Sci. Netw. Secur. (IJCSNS)"},{"issue":"1","key":"53_CR4","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.csi.2011.06.002","volume":"34","author":"M Chinosi","year":"2012","unstructured":"Chinosi, M., Trombetta, A.: BPMN: an introduction to the standard. Comput. Stand. Interfaces 34(1), 124\u2013134 (2012)","journal-title":"Comput. Stand. Interfaces"},{"issue":"15","key":"53_CR5","doi-asserted-by":"publisher","first-page":"1015","DOI":"10.1016\/S0950-5849(03)00129-0","volume":"45","author":"A Lindsay","year":"2003","unstructured":"Lindsay, A., Dawns, D., Lunn, K.: Business processes - attempts to find a definition. Inf. Softw. Technol. 45(15), 1015\u20131019 (2003). Elsevier","journal-title":"Inf. Softw. Technol."},{"key":"53_CR6","doi-asserted-by":"crossref","unstructured":"Geiger, M., Harrer, S., Lenhard, J., Wirtz, G.: BPMN 2.0: the state of support and implementation. Future Gener. Comput. Syst. (2017)","DOI":"10.1016\/j.future.2017.01.006"},{"key":"53_CR7","doi-asserted-by":"crossref","unstructured":"Kluza, K., Jobczyk, K., Wi\u015bniewski, P., Lig\u0119za, A.: Overview of time issues with temporal logics for business process models. In: 2016 Federated Conference on Computer Science and Information Systems (FedCSIS), pp. 1115\u20131123. IEEE (2016)","DOI":"10.15439\/2016F328"},{"key":"53_CR8","unstructured":"Kluza, K., Kaczor, K.: Overview of BPMN model equivalences: towards normalization of BPMN diagrams. In: Canadas, J., Nalepa, G.J., Baumeister, J. (eds.) 8th Workshop on Knowledge Engineering and Software Engineering (KESE 2012) at the Biennial European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, 28 August 2012, pp. 38\u201345 (2012)"},{"issue":"2","key":"53_CR9","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/s00766-012-0162-3","volume":"19","author":"A Lanz","year":"2012","unstructured":"Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requirements Eng. 19(2), 113\u2013141 (2012)","journal-title":"Requirements Eng."},{"key":"53_CR10","doi-asserted-by":"crossref","unstructured":"Gagne, D., Trudel, A.: Time-BPMN. In: 2009 IEEE Conference on Commerce and Enterprise Computing, pp. 361\u2013367, July 2009","DOI":"10.1109\/CEC.2009.71"},{"key":"53_CR11","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: A survey on time-aware business process modeling. In: International Conference on Enterprise Information Systems (ICEIS), 10 p., July 2013"},{"issue":"1","key":"53_CR12","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s11761-014-0170-x","volume":"9","author":"S Cheikhrouhou","year":"2015","unstructured":"Cheikhrouhou, S., Kallel, S., Guermouche, N., Jmaiel, M.: The temporal perspective in business process modeling: a survey and research challenges. SOCA 9(1), 75\u201385 (2015)","journal-title":"SOCA"},{"key":"53_CR13","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-13051-9_9","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"A Lanz","year":"2010","unstructured":"Lanz, A., Weber, B., Reichert, M.: Workflow time patterns for process-aware information systems. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) BPMDS\/EMMSAD 2010. LNBIP, vol. 50, pp. 94\u2013107. Springer, Heidelberg (2010). doi:10.1007\/978-3-642-13051-9_9"},{"key":"53_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-31072-0_14","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"I Barba","year":"2012","unstructured":"Barba, I., Lanz, A., Weber, B., Reichert, M., Valle, C.: Optimized time management for declarative workflows. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Wrycza, S. (eds.) BPMDS\/EMMSAD 2012. LNBIP, vol. 113, pp. 195\u2013210. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-31072-0_14"},{"key":"53_CR15","doi-asserted-by":"crossref","unstructured":"Xie, J., Tang, Y., He, Q., Tang, N.: Research of temporal workflow process and resource modeling. In: Proceedings of the 9th International Conference on Computer Supported Cooperative Work in Design, vol. 1, pp. 530\u2013534. IEEE (2005)","DOI":"10.1109\/CSCWD.2005.194228"},{"key":"53_CR16","volume-title":"Guide to the Unified Process featuring UML, Java and Design Patterns","author":"J Hunt","year":"2003","unstructured":"Hunt, J.: Guide to the Unified Process featuring UML, Java and Design Patterns. Springer, London (2003)"},{"issue":"6","key":"53_CR17","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1109\/TC.1976.1674669","volume":"25","author":"R David","year":"1976","unstructured":"David, R., Blanchet, G.: About random fault detection of combinational networks. IEEE Trans. Comput. 25(6), 659\u2013664 (1976)","journal-title":"IEEE Trans. Comput."},{"key":"53_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-319-07176-3_29","volume-title":"Artificial Intelligence and Soft Computing","author":"E Dudek-Dyduch","year":"2014","unstructured":"Dudek-Dyduch, E., Kucharska, E., Dutkiewicz, L., R\u0105czka, K.: ALMM solver - a tool for optimization problems. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2014. LNCS, vol. 8468, pp. 328\u2013338. Springer, Cham (2014). doi:10.1007\/978-3-319-07176-3_29"},{"key":"53_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-319-19369-4_45","volume-title":"Artificial Intelligence and Soft Computing","author":"K R\u0105czka","year":"2015","unstructured":"R\u0105czka, K., Dudek-Dyduch, E., Kucharska, E., Dutkiewicz, L.: ALMM solver: the idea and the architecture. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2015. LNCS, vol. 9120, pp. 504\u2013514. Springer, Cham (2015). doi:10.1007\/978-3-319-19369-4_45"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59060-8_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:15:57Z","timestamp":1750274157000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59060-8_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319590592","9783319590608"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59060-8_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"24 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICAISC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Artificial Intelligence and Soft Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zakopane","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","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":"11 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icaisc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icaisc.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}