{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T05:32:20Z","timestamp":1740720740119,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169335"},{"type":"electronic","value":"9783642169342"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16934-2_26","type":"book-chapter","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T14:15:39Z","timestamp":1288966539000},"page":"376-393","source":"Crossref","is-referenced-by-count":2,"title":["Workflow ART"],"prefix":"10.1007","author":[{"given":"Ganna","family":"Monakova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Leymann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"26_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: Decserflow: Towards a truly declarative service flow language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"26_CR2","doi-asserted-by":"crossref","unstructured":"Betz, S., Eichhorn, D., Hickl, S., Klink, S., Koschmider, A., Li, Y., Oberweis, A., Trunko, R.: 3d representation of business process models. In: MobIS, pp. 73\u201387 (2008)","DOI":"10.1109\/COMPSAC.2009.20"},{"key":"26_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/11823865_7","volume-title":"E-Commerce and Web Technologies","author":"R. Bobrik","year":"2006","unstructured":"Bobrik, R., Bauer, T., Reichert, M.: Proviado - personalized and configurable visualizations of business processes. In: Bauknecht, K., Pr\u00f6ll, B., Werthner, H. (eds.) EC-Web 2006. LNCS, vol.\u00a04082, pp. 61\u201371. Springer, Heidelberg (2006)"},{"key":"26_CR4","doi-asserted-by":"crossref","unstructured":"Effinger, P., Spielmann, J.: Lifting business process diagrams to 2.5 dimensions. Society of Photo-Optical Instrumentation Engineers Conference Series (2010)","DOI":"10.1117\/12.840237"},{"key":"26_CR5","unstructured":"Ferrari, B.: Global and north america supply chains 2007 top 10 predictions. Tech. Rep. LOOKING AHEAD MI204900, IDC (2007)"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"F\u00f6rster, A., Engels, G., Schattkowsky, T., Straeten, R.V.D.: Verification of business process quality constraints based on visual process patterns. In: TASE (2007)","DOI":"10.1109\/TASE.2007.56"},{"key":"26_CR7","unstructured":"Giblin, C., Liu, A.Y., M\u00fcller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (realm). In: JURIX, pp. 37\u201348 (2005)"},{"key":"26_CR8","doi-asserted-by":"crossref","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.W.: Compliance checking between business processes and business contracts. In: EDOC, pp. 221\u2013232 (2006)","DOI":"10.1109\/EDOC.2006.22"},{"key":"26_CR9","doi-asserted-by":"crossref","unstructured":"Jablonski, S., G\u00f6tz, M.: Perspective oriented business process visualization. In: Business Process Management Workshops, pp. 144\u2013155 (2007)","DOI":"10.1007\/978-3-540-78238-4_16"},{"key":"26_CR10","volume-title":"Production Workflow \u2013 Concepts and Techniques","author":"F. Leymann","year":"2000","unstructured":"Leymann, F., Roller, D.: Production Workflow \u2013 Concepts and Techniques. Prentice Hall PTR, Englewood Cliffs (2000)"},{"key":"26_CR11","unstructured":"Mendling, J., Recker, J.: Towards systematic usage of labels and icons in business process models. In: 13th International Workshop on Exploring Modeling Methods for Systems Analysis and Design (2008)"},{"key":"26_CR12","unstructured":"Monakova, G.: et\u00a0al.: Verifying Business Rules Using an SMT Solver for BPEL Processes. In: BPSC (2009)"},{"key":"26_CR13","unstructured":"Norton, D., Blechar, M., Jones, T.: Magic quadrant for business process analysis tools. Tech. Rep. RAS Core Research Note G00174515, Gartner (2010)"},{"key":"26_CR14","unstructured":"Object Management Group: Business process modelling notation (BPMN)"},{"key":"26_CR15","doi-asserted-by":"crossref","unstructured":"Rinderle, S., Bobrik, R., Reichert, M., Bauer, T.: Business process visualization - use cases, challenges, solutions. In: ICEIS, vol.\u00a0(3), pp. 204\u2013211 (2006)","DOI":"10.5220\/0002452402040211"},{"key":"26_CR16","unstructured":"SAP: Sap solution brief, sap netweaver business process management. Tech. rep., SAP (2009)"},{"key":"26_CR17","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nhage, B., van Ballegooij, A., Eli\u00ebns, A.: 3d gadgets for business process visualization - a case study. In: Web3D, pp. 131\u2013138 (2000)","DOI":"10.1145\/330160.330238"},{"key":"26_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11912873_18","volume-title":"Web Information Systems \u2013 WISE 2006","author":"J. Yu","year":"2006","unstructured":"Yu, J., Manh, T.P., Han, J., Jin, Y., Han, Y., Wang, J.: Pattern based property specification and verification for service composition. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol.\u00a04255, pp. 156\u2013168. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16934-2_26","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,27]],"date-time":"2025-02-27T16:28:56Z","timestamp":1740673736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16934-2_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169335","9783642169342"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16934-2_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}