Abstract
Business processes are obliged to follow numerous constraints, such as compliance regulations, service level agreements, security regulations, and budget constraints. To be able to understand relations between different constraint types and their impact on the business, a common constraint specification framework is required. This work presents a framework that provides visual support for analysis of the dependencies between the different constraints a business process has to adhere to by mapping logical constraints to the spatial restrictions. This enables a business process designer to gain insight into how different constraints influence the process as a whole.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
Effinger, P., Spielmann, J.: Lifting business process diagrams to 2.5 dimensions. Society of Photo-Optical Instrumentation Engineers Conference Series (2010)
Ferrari, B.: Global and north america supply chains 2007 top 10 predictions. Tech. Rep. LOOKING AHEAD MI204900, IDC (2007)
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)
Giblin, C., Liu, A.Y., Müller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (realm). In: JURIX, pp. 37–48 (2005)
Governatori, G., Milosevic, Z., Sadiq, S.W.: Compliance checking between business processes and business contracts. In: EDOC, pp. 221–232 (2006)
Jablonski, S., Götz, M.: Perspective oriented business process visualization. In: Business Process Management Workshops, pp. 144–155 (2007)
Leymann, F., Roller, D.: Production Workflow – Concepts and Techniques. Prentice Hall PTR, Englewood Cliffs (2000)
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)
Monakova, G.: et al.: Verifying Business Rules Using an SMT Solver for BPEL Processes. In: BPSC (2009)
Norton, D., Blechar, M., Jones, T.: Magic quadrant for business process analysis tools. Tech. Rep. RAS Core Research Note G00174515, Gartner (2010)
Object Management Group: Business process modelling notation (BPMN)
Rinderle, S., Bobrik, R., Reichert, M., Bauer, T.: Business process visualization - use cases, challenges, solutions. In: ICEIS, vol. (3), pp. 204–211 (2006)
SAP: Sap solution brief, sap netweaver business process management. Tech. rep., SAP (2009)
Schönhage, B., van Ballegooij, A., Eliëns, A.: 3d gadgets for business process visualization - a case study. In: Web3D, pp. 131–138 (2000)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Monakova, G., Leymann, F. (2010). Workflow ART. In: Meersman, R., Dillon, T., Herrero, P. (eds) On the Move to Meaningful Internet Systems: OTM 2010. OTM 2010. Lecture Notes in Computer Science, vol 6426. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16934-2_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-16934-2_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16933-5
Online ISBN: 978-3-642-16934-2
eBook Packages: Computer ScienceComputer Science (R0)