Denis Silva da Silveira
ABSTRACT
This paper presents a method for validating business processes with respect to business rules. The method models the process as an UML activity diagram annotated with OCL statements representing the business rules. This model is converted to an oriented graph, called control graph, which is decorated with the business rules. The model validation activity is performed by the animation of a set of scenarios, each one comprising the set of the objects required for the instance execution. Tracking each scenario animation along the control graph allows for the detection of situations that violate the correct process execution. The occurrence of these situations can be avoided by changing the process model or by introducing/altering the associated business rules.
- Bardin, S.; Herrmann, P., Structural Testing of Executables, International Conference on Software Testing, Verification, and Validation, Lillehammer -- Norway, 2008. Google Scholar
Digital Library
- Berg, M.; Verhoef, M.; Vigmans, M., Formal Specification of an Auctioning System Using VDM++, Proceeding of the VDM Workshop at the World Congress on Formal Methods, Toulouse --France, 1999.Google Scholar
- Boaventura Netto P. O., Grafos: Teoria, Modelos, Algoritmos, 4a. Edição, Editora Edgard Blücher, São Paulo, ISBN: 85-212-0391-8, 2006.Google Scholar
- Booch, G.; Rumbaugh, J.; Jacobson, I., The Unified Modeling Language User Guide, Addison-Wesley, 2a Edition, ISBN: 0321267974, 2005. Google ScholarDigital Library
- BRG, Business Rules Group. GUIDE Business Rules Projects Final Report, Version 1.2, 1997.Google Scholar
- Chrissis, M. B.; Konrad, M.; Shrum, S., CMMI -- Guidelines for Process Integration and Product Improvement, Boston: Addison-Wesley, 2004. Google ScholarDigital Library
- Eshuis, H., Semantics and Verification of UML Activity Diagrams for workflow Modelling, PhD Thesis, Department of Computer Science, University of Twente, 2002.Google Scholar
- Gargantini, A., Riccobene, E., ViBBA: A Toolbox for Automatic Model Driven Animation, 16th Conference of Simulation and Visualization -- SIMVIS, Magdeburg -- Germany, 2005.Google Scholar
- Kazmierczak, E.; Winikoff, M.; Dart, P., Verifying model oriented specifications through animation. Pacific Software Engineering Conference, IEEE Computer Society Press, pages 254--261, 1998. Google ScholarDigital Library
- Kleppe, A.; Warmer, J.; Bast W., MDA Explained -- The Model Driven Architecture: Practice and Promise, Boston: Addison-Wesley, 170 p, 2003. Google ScholarDigital Library
- Larman, C, Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3.ed, New York: Prentice-Hall, 2004. Google ScholarDigital Library
- Lu, R.; Sadiq, S., A Survey on Comparative Modelling Approaches, 10th International Conference on Business Information Systems (BIS2007), Poznan, Poland, 2007. Google ScholarDigital Library
- Marshall, C., Enterprise Modeling with UML: Designing Successful Software Through Business Analysis. Addison-Wesley, 2000. Google ScholarDigital Library
- Mens, T.; Gorp, P. V., A Taxonomy of Model Transformation, In: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), 2005.Google Scholar
- Milanović, M.; Gašević, D.; Giurca, A.; Wagner, G; Devedžić, V., Sharing OWL/SWRL and UML/OCL rules, 9th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS): Posters & Demos, Genoa - Italy, 2006.Google Scholar
- Morgan, T. Business Rules and Information Systems: Aligning with Business Goals, Addison-Wesley, ISBN: 0-201-74391-4, 2002.Google Scholar
- OMG, Object Management Group. UML 2.0 OCL Specification, In: http://www.omg.org/cgi-bin/doc? ptc/2003-10-14, Accessed in 01/2007, 2003.Google Scholar
- OMG, Object Management Group. Unified Modeling Language (UML) Superstructure Specification, version 2.0, In: http://www.omg.org/cgi-bin/doc? formal/05-07-04, Accessed in 01/2007, 2005.Google Scholar
- OMG, Object Management Group. Business Process Modeling Notation Specification, In: http://www.bpmn.org/Documents/OMG%20Final%20Adopt ed%20BPMN%201-0%20Spec%2006-02-01.pdf, Accessed in 01/2007, 2006.Google Scholar
- Ross, R. G., Principles of the Business Rule Approach, Addison-Wesley, ISBN: 0201788934, 2003. Google ScholarDigital Library
- Sant'anna, M., Circuitos Transformacionais, Tese de Doutorado, PUC-Rio, Departamento de Informática, 1999.Google Scholar
- Schroeder, M., Verification of Business Processes for a Correspondence Handling Center Using CCS, EUROVAV, pp. 253--264, 1999. Google ScholarDigital Library
- Van Der Aalst, W. M. P., Challenges in Business Process Management: Verification of Business Processes Using Petri Nets, Bulletin of the EATCS, June, 2003.Google Scholar
- Von Halle, B., Business Rules Applied, John Wiley & Sons, Inc., New York, ISBN: 0471412937, 2002.Google Scholar
- Warmer, J., Kleppe, A., The Object Constraint Language: Getting Your Models Ready for MDA, Addison Wesley, 2a Edition, ISBN:0321179366, 2003. Google ScholarDigital Library
- Wodtke, D., Weikum, G., A Formal Foundation for Distributed Workflow Execution Based on State Charts, Proceedings of the 6th International Conference on Database Theory, pp. 230--246, 1997. Google ScholarDigital Library
- Yang, D., Zhang, S., Approach for workflow modeling using π-calculus, Journal of Zhejiang University Science, Nov-Dec, 4(6):643--650, 2003.Google ScholarCross Ref
Index Terms
- Um método de validação da conformidade entre processos e regras de negócio através da animação
Comments