{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:51:18Z","timestamp":1743072678844,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319078809"},{"type":"electronic","value":"9783319078816"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07881-6_24","type":"book-chapter","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T19:14:33Z","timestamp":1401909273000},"page":"347-363","source":"Crossref","is-referenced-by-count":8,"title":["Formalization of fUML: An Application to Process Verification"],"prefix":"10.1007","author":[{"given":"Yoann","family":"Laurent","sequence":"first","affiliation":[]},{"given":"Reda","family":"Bendraou","sequence":"additional","affiliation":[]},{"given":"Souheib","family":"Baarir","sequence":"additional","affiliation":[]},{"given":"Marie-Pierre","family":"Gervais","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-00899-3_12","volume-title":"Transactions on Petri Nets and Other Models of Concurrency II","author":"J. Mendling","year":"2009","unstructured":"Mendling, J.: Empirical studies in process model verification. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol.\u00a05460, pp. 208\u2013224. Springer, Heidelberg (2009)"},{"issue":"1","key":"24_CR2","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1016\/j.datak.2007.06.019","volume":"64","author":"J. Mendling","year":"2008","unstructured":"Mendling, J., Verbeek, H., van Dongen, B.F., van der Aalst, W.M., Neumann, G.: Detection and prediction of errors in epcs of the sap reference model. Data & Knowledge Engineering\u00a064(1), 312\u2013329 (2008)","journal-title":"Data & Knowledge Engineering"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11557432_3","volume-title":"Model Driven Engineering Languages and Systems","author":"R. Bendraou","year":"2005","unstructured":"Bendraou, R., Gervais, M.-P., Blanc, X.: UML4SPM: A UML2.0-based metamodel for software process modelling. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 17\u201338. Springer, Heidelberg (2005)"},{"issue":"5","key":"24_CR4","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1109\/TSE.2009.85","volume":"36","author":"R. Bendraou","year":"2010","unstructured":"Bendraou, R., J\u00e9z\u00e9quel, J., Gervais, M., Blanc, X.: A comparison of six uml-based languages for software process modeling. IEEE Transactions on Software Engineering\u00a036(5), 662\u2013675 (2010)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR5","unstructured":"Russell, N., van der Aalst, W.M., Ter Hofstede, A.H., Wohed, P.: On the suitability of uml 2.0 activity diagrams for business process modelling In: Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling, vol. 53"},{"issue":"1","key":"24_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M. Aalst van Der","year":"2003","unstructured":"van Der Aalst, W.M., Ter Hofstede, A.H., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"24_CR7","unstructured":"Dong, Y., ShenSheng, Z.: Using \u03c0-calculus to formalize uml activity diagram for business process modeling. In: ECBS, pp. 47\u201354. IEEE (2003)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Eshuis, R.: Symbolic model checking of uml activity diagrams. TOSEM (2006)","DOI":"10.1145\/1125808.1125809"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Guelfi, N., Mammar, A.: A formal semantics of timed activity diagrams and its promela translation. In: APSEC. IEEE (2005)","DOI":"10.1109\/APSEC.2005.7"},{"key":"24_CR10","unstructured":"OMG: Uml version 2.4.1 (2011), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/"},{"key":"24_CR11","unstructured":"OMG: Fuml version 1.1 (2013), \n                    \n                      http:\/\/www.omg.org\/spec\/FUML\/"},{"issue":"3","key":"24_CR12","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"W. Aalst van der","year":"2011","unstructured":"van der Aalst, W., Van Hee, K., ter Hofstede, A., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects of Computing\u00a023(3), 333\u2013363 (2011)","journal-title":"Formal Aspects of Computing"},{"key":"24_CR13","unstructured":"Jackson, D.: Software Abstractions: logic, language and analysis. MIT Press (2011)"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"24_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-02144-2_34","volume-title":"Advanced Information Systems Engineering","author":"N. Tr\u010dka","year":"2009","unstructured":"Tr\u010dka, N., van der Aalst, W.M.P., Sidorova, N.: Data-flow anti-patterns: Discovering data-flow errors in workflows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 425\u2013439. Springer, Heidelberg (2009)"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Jung, H.T., Joo, S.H.: Transformation of an activity model into a colored petri net model. In: TISC, pp. 32\u201337. IEEE (2010)","DOI":"10.1109\/TISC.2010.5714602"},{"key":"24_CR17","unstructured":"Motogna, S., Cr Ciun, F., Lazar, I.: P\u00e2rv: Formal definition of fuml in k-framework. Studia Universitatis Babes-Bolyai, Informatica 58(3) (2013)"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1007\/978-3-642-16901-4_25","volume-title":"Formal Methods and Software Engineering","author":"I. Abdelhalim","year":"2010","unstructured":"Abdelhalim, I., Sharp, J., Schneider, S., Treharne, H.: Formal verification of tokeneer behaviours modelled in fUML using CSP. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol.\u00a06447, pp. 371\u2013387. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07881-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,31]],"date-time":"2019-07-31T20:08:42Z","timestamp":1564603722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07881-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319078809","9783319078816"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07881-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}