Um método de validação da conformidade entre processos e regras de negócio através da animação
Authors: 
Denis Silva da Silveira, Paulo O. Boaventura Netto, Eber Assis SchmitzAuthors Info & Claims
Denis Silva da Silveira, Paulo O. Boaventura Netto, Eber Assis SchmitzAuthors Info & ClaimsPages 279 - 286
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.
References
[1]
Bardin, S.; Herrmann, P., Structural Testing of Executables, International Conference on Software Testing, Verification, and Validation, Lillehammer -- Norway, 2008.
[2]
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.
[3]
Boaventura Netto P. O., Grafos: Teoria, Modelos, Algoritmos, 4a. Edição, Editora Edgard Blücher, São Paulo, ISBN: 85-212-0391-8, 2006.
[4]
Booch, G.; Rumbaugh, J.; Jacobson, I., The Unified Modeling Language User Guide, Addison-Wesley, 2a Edition, ISBN: 0321267974, 2005.
[5]
BRG, Business Rules Group. GUIDE Business Rules Projects Final Report, Version 1.2, 1997.
[6]
Chrissis, M. B.; Konrad, M.; Shrum, S., CMMI -- Guidelines for Process Integration and Product Improvement, Boston: Addison-Wesley, 2004.
[7]
Eshuis, H., Semantics and Verification of UML Activity Diagrams for workflow Modelling, PhD Thesis, Department of Computer Science, University of Twente, 2002.
[8]
Gargantini, A., Riccobene, E., ViBBA: A Toolbox for Automatic Model Driven Animation, 16th Conference of Simulation and Visualization -- SIMVIS, Magdeburg -- Germany, 2005.
[9]
Kazmierczak, E.; Winikoff, M.; Dart, P., Verifying model oriented specifications through animation. Pacific Software Engineering Conference, IEEE Computer Society Press, pages 254--261, 1998.
[10]
Kleppe, A.; Warmer, J.; Bast W., MDA Explained -- The Model Driven Architecture: Practice and Promise, Boston: Addison-Wesley, 170 p, 2003.
[11]
Larman, C, Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3.ed, New York: Prentice-Hall, 2004.
[12]
Lu, R.; Sadiq, S., A Survey on Comparative Modelling Approaches, 10th International Conference on Business Information Systems (BIS2007), Poznan, Poland, 2007.
[13]
Marshall, C., Enterprise Modeling with UML: Designing Successful Software Through Business Analysis. Addison-Wesley, 2000.
[14]
Mens, T.; Gorp, P. V., A Taxonomy of Model Transformation, In: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), 2005.
[15]
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.
[16]
Morgan, T. Business Rules and Information Systems: Aligning with Business Goals, Addison-Wesley, ISBN: 0-201-74391-4, 2002.
[17]
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.
[18]
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.
[19]
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.
[20]
Ross, R. G., Principles of the Business Rule Approach, Addison-Wesley, ISBN: 0201788934, 2003.
[21]
Sant'anna, M., Circuitos Transformacionais, Tese de Doutorado, PUC-Rio, Departamento de Informática, 1999.
[22]
Schroeder, M., Verification of Business Processes for a Correspondence Handling Center Using CCS, EUROVAV, pp. 253--264, 1999.
[23]
Van Der Aalst, W. M. P., Challenges in Business Process Management: Verification of Business Processes Using Petri Nets, Bulletin of the EATCS, June, 2003.
[24]
Von Halle, B., Business Rules Applied, John Wiley & Sons, Inc., New York, ISBN: 0471412937, 2002.
[25]
Warmer, J., Kleppe, A., The Object Constraint Language: Getting Your Models Ready for MDA, Addison Wesley, 2a Edition, ISBN:0321179366, 2003.
[26]
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.
[27]
Yang, D., Zhang, S., Approach for workflow modeling using π-calculus, Journal of Zhejiang University Science, Nov-Dec, 4(6):643--650, 2003.
Index Terms
- Um método de validação da conformidade entre processos e regras de negócio através da animação
Comments
Information & Contributors
Information
Published In
October 2008
420 pages
ISBN:9788576691990
DOI:10.1145/1809980
Copyright © 2008 2008 Brazilian Computer Society.
Sponsors
- SBC: Brazilian Computer Society
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 26 October 2008
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
WebMedia08
Sponsor:
- SBC
WebMedia08: 14th Brazilian Symposium on Multimedia and Web Systems
October 26 - 29, 2008
Espírito Santo, Vila Velha, Brazil
Acceptance Rates
Overall Acceptance Rate 270 of 873 submissions, 31%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 75Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 06 Jan 2025
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in