Workflow ART

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6426 LNCS, Issue PART 1, 2010, Pages 376-393

  Monakova, Ganna ^a   Leymann, Frank ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

Constraint classification; Work flow modelling; Workflow analysis; Workflow constraints; Workflow design; Workflow dimensions

Indexed keywords

CONSTRAINT CLASSIFICATION; WORK-FLOWS; WORKFLOW ANALYSIS; WORKFLOW CONSTRAINTS; WORKFLOW DESIGN; WORKFLOW DIMENSIONS; WORKFLOW DESIGNS; WORKFLOW MODELLING;

DESIGN; INTERNET; ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

MANAGEMENT; BUDGET CONTROL;

EID: 78650125348     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16934-2_26     Document Type: Conference Paper

References (18)

1. van der Aalst, W.M.P., Pesic, M.: Decserflow: Towards a truly declarative service flow language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1-23. Springer, Heidelberg (2006)
2. 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-87 (2008)
3. Bobrik, R., Bauer, T., Reichert, M.: Proviado - personalized and configurable visualizations of business processes. In: Bauknecht, K., Pröll, B., Werthner, H. (eds.) EC-Web 2006. LNCS, vol. 4082, pp. 61-71. Springer, Heidelberg (2006) (Pubitemid 44577466)
4. Effinger, P., Spielmann, J.: Lifting business process diagrams to 2.5 dimensions. Society of Photo-Optical Instrumentation Engineers Conference Series (2010)
5. Ferrari, B.: Global and north america supply chains 2007 top 10 predictions. Tech. Rep. LOOKING AHEAD MI204900, IDC (2007)
6. Förster, A., Engels, G., Schattkowsky, T., Straeten, R.V.D.: Verification of business process quality constraints based on visual process patterns. In: TASE (2007)
7. Giblin, C., Liu, A.Y., Müller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (realm). In: JURIX, pp. 37-48 (2005)
8. Governatori, G., Milosevic, Z., Sadiq, S.W.: Compliance checking between business processes and business contracts. In: EDOC, pp. 221-232 (2006)
9. Jablonski, S., Götz, M.: Perspective oriented business process visualization. In: Business Process Management Workshops, pp. 144-155 (2007)
10. Leymann, F., Roller, D.: Production Workflow - Concepts and Techniques. Prentice Hall PTR, Englewood Cliffs (2000)
11. 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)
12. Monakova, G.: et al.: Verifying Business Rules Using an SMT Solver for BPEL Processes. In: BPSC (2009)
13. Norton, D., Blechar, M., Jones, T.: Magic quadrant for business process analysis tools. Tech. Rep. RAS Core Research Note G00174515, Gartner (2010)
14. Object Management Group: Business process modelling notation (BPMN)
15. Rinderle, S., Bobrik, R., Reichert, M., Bauer, T.: Business process visualization - use cases, challenges, solutions. In: ICEIS, vol. (3), pp. 204-211 (2006)
16. SAP: Sap solution brief, sap netweaver business process management. Tech. rep., SAP (2009)
17. Schönhage, B., van Ballegooij, A., Eliëns, A.: 3d gadgets for business process visualization - a case study. In: Web3D, pp. 131-138 (2000)
18. 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. 4255, pp. 156-168. Springer, Heidelberg (2006)