{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:35Z","timestamp":1740099095588,"version":"3.37.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319951706"},{"type":"electronic","value":"9783319951713"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-95171-3_39","type":"book-chapter","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T15:49:47Z","timestamp":1530632987000},"page":"499-510","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Grammar-Algebraic Approach to Analyze Workflows"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Afanasyev","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4363-4420","authenticated-orcid":false,"given":"Nikolay","family":"Voit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,4]]},"reference":[{"key":"39_CR1","unstructured":"Aguilar, J.C.P., Hasebe, K., Mazzara, M., Kato, K.: Model Checking of BPMN Models for Reconfigurable Workflows. arXiv preprint arXiv:1607.00478 (2016)"},{"key":"39_CR2","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1016\/j.ergon.2007.01.007","volume":"37","author":"B Sherehiy","year":"2007","unstructured":"Sherehiy, B., Karwowski, W., Layer, J.K.: A review of enterprise agility: concepts, frameworks, and attributes. Int. J. Ind. Ergon. 37, 446\u2013460 (2007)","journal-title":"Int. J. Ind. Ergon."},{"key":"39_CR3","unstructured":"Highsmith, J., Orr, K., Cockburn, A.: Extreme programming. In: E-Business Application Delivery, pp. 4\u201317 (2000)"},{"key":"39_CR4","unstructured":"A Global Swiss Company Offering Advanced Intelligent Application Software for Multiple Business sectors. http:\/\/whitestein.com\/ . Accessed 14 Mar 2018"},{"issue":"4","key":"39_CR5","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1007\/s10257-014-0256-1","volume":"14","author":"I Bider","year":"2014","unstructured":"Bider, I., Jalali, A.: Agile business process development: why, how and when applying Nonaka\u2019s theory of knowledge transformation to business process development. IseB 14(4), 693\u2013731 (2014). https:\/\/doi.org\/10.1007\/s10257-014-0256-1","journal-title":"IseB"},{"key":"39_CR6","unstructured":"Andersson, T., Andersson-Ceder, A., Bider, I.: State flow as a way of analyzing business processes-case studies. Logistics Inf. Manag. 15(1), 34\u201345 (2012). http:\/\/www.ibissoft.com\/publications\/Cases.pdf . Accessed 14 Mar 2018"},{"key":"39_CR7","unstructured":"YAWL Foundation: YAWL. http:\/\/www.yawlfoundation.org\/ . Accessed 14 Mar 2018"},{"key":"39_CR8","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-319-11370-8_11","volume-title":"Perspectives in Business Informatics Research","author":"I Bider","year":"2014","unstructured":"Bider, I.: Analysis of agile software development from the knowledge transformation perspective. In: Johansson, B., Andersson, B., Holmberg, N. (eds.) BIR 2014. LNBIP, vol. 194, pp. 143\u2013157. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11370-8_11"},{"key":"39_CR9","unstructured":"IbisSoft: iPB Reference Manual. http:\/\/docs.ibissoft.se\/node\/3 . Accessed 14 Mar 2018"},{"key":"39_CR10","doi-asserted-by":"publisher","unstructured":"Afanasyev, A.N., Voit, N.N., Kirillov, S.Y.: Development of RYT-grammar for analysis and control dynamic workflows. In: 2017 International Conference on Computing Networking and Informatics (ICCNI 2017), pp. 1\u20134 (2017). https:\/\/doi.org\/10.1109\/iccni.2017.8123797 . http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?tp=&arnumber=8123797&isnumber=8123766 . Accessed 15 Mar 2017","DOI":"10.1109\/iccni.2017.8123797"},{"key":"39_CR11","doi-asserted-by":"publisher","unstructured":"Voit, N.N.: Development of timed RT-grammars for analysis of business process at manufacturing and in cyber-physical systems. In: 2017 International Conference on Computing Networking and Informatics (ICCNI 2017), pp. 1\u20135 (2017). https:\/\/doi.org\/10.1109\/iccni.2017.8123798 . http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?tp=&arnumber=8123798&isnumber=812376 . Accessed 15 Mar 2017","DOI":"10.1109\/iccni.2017.8123798"},{"key":"39_CR12","unstructured":"Orchestration and Workflow. https:\/\/www.cloudenablers.com\/blog\/orchestration-and-workflow\/ . Accessed 15 Mar 2017"},{"key":"39_CR13","unstructured":"ISO: LOTOS \u2013 A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. Technical Report 8807, ISO 1989"},{"key":"39_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-642-14458-5_7","volume-title":"Web Services and Formal Methods","author":"N Lohmann","year":"2010","unstructured":"Lohmann, N., Wolf, K.: Realizability is controllability. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 110\u2013127. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14458-5_7"},{"key":"39_CR15","doi-asserted-by":"crossref","unstructured":"Poizat, P., Sala\u00fcn, G.: Checking the realizability of BPMN 2.0 choreographies. In: SAC 2012, pp. 1927\u20131934 (2012)","DOI":"10.1145\/2245276.2232095"},{"key":"39_CR16","unstructured":"Orchestration and Workflow. https:\/\/www.cloudenablers.com\/blog\/orchestration-and-workflow\/ . Accessed 29 Dec 2017"},{"issue":"1","key":"39_CR17","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MIS.2003.1179197","volume":"18","author":"S. Staab","year":"2003","unstructured":"Van der Aalst, W.M.P.: Don\u2019t go with the flow: web services composition standards exposed. IEEE Intell. Syst. 18(1), 72\u201376 (2003). http:\/\/www.martinfowler.workflowpatterns.com\/documentation\/documents\/ieeewebflow.pdf . Accessed 29 Dec 2017","journal-title":"IEEE Intelligent Systems"},{"key":"39_CR18","unstructured":"Marca, D.A., McGowan, C.L.: SADT: Structured Analysis and Design Technique. McGraw-Hill, Inc., New York (1987). http:\/\/dl.acm.org\/citation.cfm?id=31837 . Accessed 29 Mar 2017"},{"key":"39_CR19","unstructured":"TP026B, Rev. Rational Unified Process. https:\/\/www.ibm.com\/developerworks\/rational\/library\/content\/03July\/1000\/1251\/1251_bestpractices_TP026B.pdf . Accessed 29 Dec 2017"},{"key":"39_CR20","doi-asserted-by":"publisher","unstructured":"Afanasyev, A.N., Voit, N.N., Gainullin, R.F.: Diagrammatic models processing in designing the complex automated systems. In: 10th IEEE International Conference on Application of Information and Communication Technologies (AICT 2016), pp. 441\u2013445 (2016). https:\/\/doi.org\/10.1109\/icaict.2016.7991737","DOI":"10.1109\/icaict.2016.7991737"},{"key":"39_CR21","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/978-3-319-33816-3_39","volume-title":"Proceedings of the First International Scientific Conference \u201cIntelligent Information Technologies for Industry\u201d (IITI\u201916)","author":"A Afanasyev","year":"2016","unstructured":"Afanasyev, A., Voit, N.: Intelligent agent system to analysis manufacturing process models. In: Abraham, A., Kovalev, S., Tarassov, V., Sn\u00e1\u0161el, V. (eds.) Proceedings of the First International Scientific Conference \u201cIntelligent Information Technologies for Industry\u201d (IITI\u201916). AISC, vol. 451, pp. 395\u2013403. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33816-3_39"},{"key":"39_CR22","doi-asserted-by":"publisher","unstructured":"Afanasyev, A.N., Voit, N.N., Voevodin, E.Yu., Gainullin, R.F.: Control of UML diagrams in designing automated systems software. In: 9th IEEE International Conference on Application of Information and Communication Technologies, AICT-2015, pp. 285\u2013288 (2015). https:\/\/doi.org\/10.1109\/icaict.2015.7338564","DOI":"10.1109\/icaict.2015.7338564"},{"key":"39_CR23","doi-asserted-by":"publisher","unstructured":"Afanasyev, A., Voit, N.: Multi-agent system to analyse manufacturing process models. In: International Conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science, FLINS 2016, France, pp. 444\u2013449 (2016). https:\/\/doi.org\/10.1142\/9789813146976_0072","DOI":"10.1142\/9789813146976_0072"},{"key":"39_CR24","doi-asserted-by":"publisher","unstructured":"Afanasyev, A., Voit, N., Gainullin, R.: The analysis of diagrammatic models of workflows in design of the complex automated systems. In: International Conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science, FLINS 2016, France, pp. 509\u2013514 (2016). https:\/\/doi.org\/10.1007\/978-3-319-33609-1_20","DOI":"10.1007\/978-3-319-33609-1_20"},{"key":"39_CR25","doi-asserted-by":"crossref","unstructured":"Heitmeyer, C.L., Lynch, N.A.: The generalized railroad crossing: a case study in formal verification of real-time systems. In: IEEE RTSS, pp. 120\u2013131 (1994)","DOI":"10.1109\/REAL.1994.342724"},{"key":"39_CR26","unstructured":"Karpov, Yu.G.: Model Checking. Verifikaciya parallel\u2019nyh i raspredelennyh programmnyh system. 560\u00a0s (2010) (in Russian)"},{"key":"39_CR27","doi-asserted-by":"crossref","unstructured":"Lee, E.A.: Cyber-physical systems: design challenges. In: ISORC (2008)","DOI":"10.1109\/ISORC.2008.25"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95171-3_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T05:14:53Z","timestamp":1571548493000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95171-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319951706","9783319951713"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95171-3_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}