{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:43Z","timestamp":1750307623423,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,26]],"date-time":"2008-10-26T00:00:00Z","timestamp":1224979200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,10,26]]},"DOI":"10.1145\/1809980.1810051","type":"proceedings-article","created":{"date-parts":[[2010,6,2]],"date-time":"2010-06-02T19:40:27Z","timestamp":1275507627000},"page":"279-286","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Um m\u00e9todo de valida\u00e7\u00e3o da conformidade entre processos e regras de neg\u00f3cio atrav\u00e9s da anima\u00e7\u00e3o"],"prefix":"10.1145","author":[{"given":"Denis Silva","family":"da Silveira","sequence":"first","affiliation":[{"name":"COPPE\/UFRJ, Rio de Janeiro"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo O. Boaventura","family":"Netto","sequence":"additional","affiliation":[{"name":"COPPE\/UFRJ, Rio de Janeiro"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eber Assis","family":"Schmitz","sequence":"additional","affiliation":[{"name":"Instituto de Matem\u00e1tica, NCE\/UFRJ, Rio de Janeiro"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.8"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceeding of the VDM Workshop at the World Congress on Formal Methods, Toulouse --France","author":"Berg M.","year":"1999","unstructured":"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 . 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."},{"key":"e_1_3_2_1_3_1","first-page":"0391","article-title":"Teoria, Modelos, Algoritmos, 4a. Edi\u00e7\u00e3o, Editora Edgard Bl\u00fccher, S\u00e3o Paulo","volume":"85","author":"Boaventura Netto P. O.","year":"2006","unstructured":"Boaventura Netto P. O. , Grafos : Teoria, Modelos, Algoritmos, 4a. Edi\u00e7\u00e3o, Editora Edgard Bl\u00fccher, S\u00e3o Paulo , ISBN : 85-212 - 0391 - 0398 , 2006 . Boaventura Netto P. O., Grafos: Teoria, Modelos, Algoritmos, 4a. Edi\u00e7\u00e3o, Editora Edgard Bl\u00fccher, S\u00e3o Paulo, ISBN: 85-212-0391-8, 2006.","journal-title":"ISBN"},{"key":"e_1_3_2_1_4_1","volume-title":"The Unified Modeling Language User Guide","author":"Booch G.","year":"2005","unstructured":"Booch , G. ; Rumbaugh , J. ; Jacobson , I. , The Unified Modeling Language User Guide , Addison-Wesley , 2a Edition, ISBN: 0321267974, 2005 . Booch, G.; Rumbaugh, J.; Jacobson, I., The Unified Modeling Language User Guide, Addison-Wesley, 2a Edition, ISBN: 0321267974, 2005."},{"key":"e_1_3_2_1_5_1","volume-title":"Version 1.2","author":"BRG","year":"1997","unstructured":"BRG , Business Rules Group. GUIDE Business Rules Projects Final Report , Version 1.2 , 1997 . BRG, Business Rules Group. GUIDE Business Rules Projects Final Report, Version 1.2, 1997."},{"key":"e_1_3_2_1_6_1","volume-title":"CMMI -- Guidelines for Process Integration and Product Improvement","author":"Chrissis M. B.","year":"2004","unstructured":"Chrissis , M. B. ; Konrad , M. ; Shrum , S. , CMMI -- Guidelines for Process Integration and Product Improvement , Boston : Addison-Wesley , 2004 . Chrissis, M. B.; Konrad, M.; Shrum, S., CMMI -- Guidelines for Process Integration and Product Improvement, Boston: Addison-Wesley, 2004."},{"key":"e_1_3_2_1_8_1","volume-title":"16th Conference of Simulation and Visualization -- SIMVIS, Magdeburg -- Germany","author":"Gargantini A.","year":"2005","unstructured":"Gargantini , A. , Riccobene , E. , Vi BBA : A Toolbox for Automatic Model Driven Animation , 16th Conference of Simulation and Visualization -- SIMVIS, Magdeburg -- Germany , 2005 . Gargantini, A., Riccobene, E., ViBBA: A Toolbox for Automatic Model Driven Animation, 16th Conference of Simulation and Visualization -- SIMVIS, Magdeburg -- Germany, 2005."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/521008.785643"},{"key":"e_1_3_2_1_10_1","volume-title":"MDA Explained -- The Model Driven Architecture: Practice and Promise","author":"Kleppe A.","year":"2003","unstructured":"Kleppe , A. ; Warmer , J. ; Bast W. , MDA Explained -- The Model Driven Architecture: Practice and Promise , Boston : Addison-Wesley , 170 p, 2003 . Kleppe, A.; Warmer, J.; Bast W., MDA Explained -- The Model Driven Architecture: Practice and Promise, Boston: Addison-Wesley, 170 p, 2003."},{"key":"e_1_3_2_1_11_1","volume-title":"Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3.ed","author":"Larman C","year":"2004","unstructured":"Larman , C , Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3.ed , New York : Prentice-Hall , 2004 . Larman, C, Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3.ed, New York: Prentice-Hall, 2004."},{"key":"e_1_3_2_1_12_1","volume-title":"10th International Conference on Business Information Systems (BIS2007)","author":"Lu R.","year":"2007","unstructured":"Lu , R. ; Sadiq , S., A Survey on Comparative Modelling Approaches , 10th International Conference on Business Information Systems (BIS2007) , Poznan, Poland , 2007 . Lu, R.; Sadiq, S., A Survey on Comparative Modelling Approaches, 10th International Conference on Business Information Systems (BIS2007), Poznan, Poland, 2007."},{"key":"e_1_3_2_1_13_1","volume-title":"Enterprise Modeling with UML: Designing Successful Software Through Business Analysis","author":"Marshall C.","year":"2000","unstructured":"Marshall , C. , Enterprise Modeling with UML: Designing Successful Software Through Business Analysis . Addison-Wesley , 2000 . Marshall, C., Enterprise Modeling with UML: Designing Successful Software Through Business Analysis. Addison-Wesley, 2000."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the International Workshop on Graph and Model Transformation (GraMoT)","author":"Mens T.","year":"2005","unstructured":"Mens , T. ; Gorp , P. V., A Taxonomy of Model Transformation , In: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT) , 2005 . Mens, T.; Gorp, P. V., A Taxonomy of Model Transformation, In: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), 2005."},{"key":"e_1_3_2_1_15_1","volume-title":"9th ACM\/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS): Posters & Demos, Genoa - Italy","author":"Milanovi\u0107 M.","year":"2006","unstructured":"Milanovi\u0107 , M. ; Ga\u0161evi\u0107 , D. ; Giurca , A. ; Wagner , G; Deved\u017ei\u0107, 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 . Milanovi\u0107, M.; Ga\u0161evi\u0107, D.; Giurca, A.; Wagner, G; Deved\u017ei\u0107, 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."},{"key":"e_1_3_2_1_16_1","volume-title":"Business Rules and Information Systems: Aligning with Business Goals","author":"Morgan T.","year":"2002","unstructured":"Morgan , T. Business Rules and Information Systems: Aligning with Business Goals , Addison-Wesley , ISBN : 0-201-74391-4, 2002 . Morgan, T. Business Rules and Information Systems: Aligning with Business Goals, Addison-Wesley, ISBN: 0-201-74391-4, 2002."},{"key":"e_1_3_2_1_17_1","volume-title":"In: http:\/\/www.omg.org\/cgi-bin\/doc? ptc\/2003-10-14, Accessed in 01\/2007","author":"OMG","year":"2003","unstructured":"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 . 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."},{"key":"e_1_3_2_1_18_1","volume-title":"In: http:\/\/www.omg.org\/cgi-bin\/doc? formal\/05-07-04, Accessed in 01\/2007","author":"OMG","year":"2005","unstructured":"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 . 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."},{"key":"e_1_3_2_1_19_1","volume-title":"In: http:\/\/www.bpmn.org\/Documents\/OMG%20Final%20Adopt ed%20BPMN%201-0%20Spec%2006-02-01.pdf, Accessed in 01\/2007","author":"OMG","year":"2006","unstructured":"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 . 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."},{"key":"e_1_3_2_1_20_1","volume-title":"Principles of the Business Rule Approach","author":"Ross R. G.","year":"2017","unstructured":"Ross , R. G. , Principles of the Business Rule Approach , Addison-Wesley , ISBN : 0 2017 88934, 2003. Ross, R. G., Principles of the Business Rule Approach, Addison-Wesley, ISBN: 0201788934, 2003."},{"key":"e_1_3_2_1_21_1","unstructured":"Sant'anna M. Circuitos Transformacionais Tese de Doutorado PUC-Rio Departamento de Inform\u00e1tica 1999.  Sant'anna M. Circuitos Transformacionais Tese de Doutorado PUC-Rio Departamento de Inform\u00e1tica 1999."},{"key":"e_1_3_2_1_22_1","first-page":"253","article-title":"Processes for a Correspondence Handling Center Using CCS","author":"Schroeder M.","year":"1999","unstructured":"Schroeder , M. , Verification of Business Processes for a Correspondence Handling Center Using CCS , EUROVAV , pp. 253 -- 264 , 1999 . Schroeder, M., Verification of Business Processes for a Correspondence Handling Center Using CCS, EUROVAV, pp. 253--264, 1999.","journal-title":"EUROVAV"},{"key":"e_1_3_2_1_23_1","volume-title":"Bulletin of the EATCS","author":"Van Der Aalst W. M. P.","year":"2003","unstructured":"Van Der Aalst , W. M. P. , Challenges in Business Process Management : Verification of Business Processes Using Petri Nets , Bulletin of the EATCS , June , 2003 . Van Der Aalst, W. M. P., Challenges in Business Process Management: Verification of Business Processes Using Petri Nets, Bulletin of the EATCS, June, 2003."},{"key":"e_1_3_2_1_24_1","volume-title":"Business Rules Applied","author":"Von Halle B.","year":"2002","unstructured":"Von Halle , B. , Business Rules Applied , John Wiley & amp; Sons, Inc., New York, ISBN: 0471412937, 2002 . Von Halle, B., Business Rules Applied, John Wiley & Sons, Inc., New York, ISBN: 0471412937, 2002."},{"key":"e_1_3_2_1_25_1","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"Warmer J.","year":"2003","unstructured":"Warmer , J. , Kleppe , A. , The Object Constraint Language: Getting Your Models Ready for MDA , Addison Wesley , 2a Edition, ISBN:0321179366, 2003 . Warmer, J., Kleppe, A., The Object Constraint Language: Getting Your Models Ready for MDA, Addison Wesley, 2a Edition, ISBN:0321179366, 2003."},{"key":"e_1_3_2_1_26_1","first-page":"230","volume-title":"Proceedings of the 6th International Conference on Database Theory","author":"Wodtke D.","year":"1997","unstructured":"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 . 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."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1631\/jzus.2003.0643"}],"event":{"name":"WebMedia08: 14th Brazilian Symposium on Multimedia and Web Systems","sponsor":["SBC Brazilian Computer Society","SIGWEB ACM Special Interest Group on Hypertext, Hypermedia, and Web","SIGMM ACM Special Interest Group on Multimedia"],"location":"Vila Velha Esp\u00edrito Santo Brazil","acronym":"WebMedia08"},"container-title":["Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1809980.1810051","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1809980.1810051","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:52Z","timestamp":1750250752000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1809980.1810051"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10,26]]},"references-count":26,"alternative-id":["10.1145\/1809980.1810051","10.1145\/1809980"],"URL":"https:\/\/doi.org\/10.1145\/1809980.1810051","relation":{},"subject":[],"published":{"date-parts":[[2008,10,26]]},"assertion":[{"value":"2008-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}