Abstract
There are different model types to model business processes, like ARIS models, BPMN or UML activity diagrams. These models are well elaborated. Moreover, almost all commercial systems or web-based systems are driven by their dynamic behavior which needs to be described precisely by the business process models. The challenge is the validation of these business process models against behavioral dynamic rules. However, the question is what is to be checked in detail and how this is represented in the models and how the results of the checks are displayed.
In the paper we present a graphical representation supporting the checking business process models. A graphical specification of business rules and regulations is presented which allows to display both the business process models and the rules in one graphical editor. Both models are transformed into a formal language which may be processed by a verification tool – a model checker in our case. The graphical representation is realized with Eclipse which allows to integrate different other verification systems and to extend the current implementation.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anders, E.: Modellierung und Validierung von Prozessmodellen auf Basis variabler Modellierungsnotationen und Validierungsmethoden als Erweiterung für Eclipse. Diploma Thesis, Christian-Albrechts-University Kiel, Germany (2010)
Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification – Model-Checking Techniques and Tools. Springer, Berlin (2001)
Breitling, M.: Business Consulting, Service Packages & Benefits. Technical report, Intershop Customer Services, Jena, Germany (2002)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 3rd edn. The MIT Press, Cambridge (2001)
Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Păsăreanu, C.S., Robby, Zheng, H.: Bandera: extracting finite-state models from Java source code. In: ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering, pp. 439–448. ACM, New York (2000)
Corbett, J.C., Dwyer, M.B., Hatcliff, J., Robby: Expressing Checkable Properties of Dynamic Systems: The Bandera Specification Language. International Journal on Software Tools for Technology Transfer (STTT) 4, 34–56 (2002)
De Backer, M., Snoeck, M.: Business Process Verification: a Petri Net Approach. Technical report, Catholic University of Leuven, Belgium (2008)
DuVarney, D.C., Purushothaman, I.S.: C Wolf - A Toolset for Extracting Models from C Programs. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 260–275. Springer, Heidelberg (2002)
Escalona Cuaresma, M.J., Koch, N.: Requirements Engineering for Web Applications A Comparative Study. Journal of Web Engineering 2, 192–212 (2004)
Feja, S., Fötsch, D.: Model Checking with Graphical Validation Rules. In: 15th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2008), Belfast, NI, GB, pp. 117–125. IEEE Computer Society, Los Alamitos (2008)
Förster, A., Engels, G., Schattkowsky, T., Van Der Straeten, R.: Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), pp. 197–208 (2007)
Fötsch, D., Pulvermüller, E.: A Concept and Implementation of Higher-level XML Transformation Languages. Knowledge-Based Systems Journal 22, 186–194 (2009)
Fötsch, D., Pulvermüller, E., Rossak, W.: Modeling and Verifying Workflow-based Regulations. In: Proceedings of the Workshop on Regulations Modelling and their Validation & Verification (REMO2V), In Conjunction with the 18th Conference on Advanced Information System Engineering - Trusted Information Systems (CAiSE 2006). Namur University Press (2006)
Goldsby, H., Cheng, B.H.C., Konrad, S., Kamdoum, S.: Enabling a Roundtrip Engineering Process for the Modeling and Analysis of Embedded Systems. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 707–721. Springer, Heidelberg (2006)
Hatcliff, J., Dwyer, M.B.: Using the Bandera Tool Set to Model-Check Properties of Concurrent Java Software. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 39–58. Springer, Heidelberg (2001)
Konrad, S., Goldsby, H., Lopez, K., Cheng, B.H.C.: Visualizing Requirements in UML Models. In: REV 2006: Proceedings of the 1st International Workshop on Requirements Engineering Visualization, Washington, DC, USA, vol. 1. IEEE Computer Society, Los Alamitos (2006)
Parry, P.W., Özcan, M.B.: The Application of Visualisation to Requirements Engineering (1998)
Pulvermüller, E.: Reducing the Gap between Verification Models and Software Development Models. In: Proceedings of the 8th International Conference on New Software Methodologies, Tools, and Techniques (SoMeT 2009), pp. 297–313. IOS Press, Amsterdam (2009)
Pulvermüller, E., Feja, S., Speck, A.: Developer-friendly Verification of Process-based Systems. Knowledge Based Systems. Knowledge-Based Systems Journal 23 (to appear 2010)
Runte, W.: Modelling and Solving Configuration Problems on Business Processes Using a Multi-Level Constraint Satisfaction Approach. In: The Young Researchers Workshop on Modeling and Management of Business Processes (YRW-MBP 2009). GI LNI, vol. 147, pp. 237–238 (2007)
Scheer, A.-W.: ARIS - Modellierungsmethoden, Metamodelle, Awendungen. Springer, Berlin (1998)
Völter, M., Stahl, T.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons, Chichester (June 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
Feja, S., Speck, A., Witt, S., Schulz, M. (2010). Checkable Graphical Business Process Representation. In: Catania, B., Ivanović, M., Thalheim, B. (eds) Advances in Databases and Information Systems. ADBIS 2010. Lecture Notes in Computer Science, vol 6295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15576-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-15576-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15575-8
Online ISBN: 978-3-642-15576-5
eBook Packages: Computer ScienceComputer Science (R0)