{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T20:28:24Z","timestamp":1792960104406,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,3,22]],"date-time":"2010-03-22T00:00:00Z","timestamp":1269216000000},"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":[[2010,3,22]]},"DOI":"10.1145\/1774088.1774117","type":"proceedings-article","created":{"date-parts":[[2010,4,27]],"date-time":"2010-04-27T12:45:48Z","timestamp":1272372348000},"page":"145-149","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["A method for validating the compliance of business processes to business rules"],"prefix":"10.1145","author":[{"given":"Bruno","family":"de Moura Araujo","sequence":"first","affiliation":[{"name":"Federal University of Rio de Janeiro, Rio de Janeiro, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eber Assis","family":"Schmitz","sequence":"additional","affiliation":[{"name":"Federal University of Rio de Janeiro, Rio de Janeiro, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre Luis","family":"Correa","sequence":"additional","affiliation":[{"name":"Federal University of Rio de Janeiro, Rio de Janeiro, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonio Juarez","family":"Alencar","sequence":"additional","affiliation":[{"name":"PPGI - UFRJ, Rio de Janeiro, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2010,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Uma abordagem para a transforma\u00e7\u00e3o de regras de neg\u00f3cio na arquitetura dirigida por modelos","author":"Cunha C. A. A.","year":"2009","unstructured":"C. A. A. Cunha . Uma abordagem para a transforma\u00e7\u00e3o de regras de neg\u00f3cio na arquitetura dirigida por modelos , 2009 . Dissertation (Master in Informatics). Post-Graduation Program in Informatics, Federal University of Rio de Janeiro . Rio de Janeiro, Brazil. C. A. A. Cunha. Uma abordagem para a transforma\u00e7\u00e3o de regras de neg\u00f3cio na arquitetura dirigida por modelos, 2009. Dissertation (Master in Informatics). Post-Graduation Program in Informatics, Federal University of Rio de Janeiro. Rio de Janeiro, Brazil."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/645369.651278"},{"key":"e_1_3_2_1_3_1","first-page":"2005","article-title":"Validating UML and OCL models in USE by automatic snapshot generation","volume":"4","author":"Gogolla M.","year":"2005","unstructured":"M. Gogolla , F. B\u00fcttner , and M. Richters . Validating UML and OCL models in USE by automatic snapshot generation . Journal on Software and System Modeling , 4 : 2005 , 2005 . M. Gogolla, F. B\u00fcttner, and M. Richters. Validating UML and OCL models in USE by automatic snapshot generation. Journal on Software and System Modeling, 4:2005, 2005.","journal-title":"Journal on Software and System Modeling"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.462.0335"},{"key":"e_1_3_2_1_6_1","first-page":"493","volume-title":"Proccedings of the 23rd International Information Security Conference","volume":"278","author":"Longley D.","year":"2007","unstructured":"D. Longley , M. Branagan , W. J. Caelli , and L. F. Kwok . Feasibility of automated information security compliance auditing . In Proccedings of the 23rd International Information Security Conference , volume 278 , pages 493 -- 507 , Cracow, Poland , Jul 2007 . International Federation for Information Processing (IFIP), Springer. D. Longley, M. Branagan, W. J. Caelli, and L. F. Kwok. Feasibility of automated information security compliance auditing. In Proccedings of the 23rd International Information Security Conference, volume 278, pages 493--507, Cracow, Poland, Jul 2007. International Federation for Information Processing (IFIP), Springer."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759779.1759788"},{"key":"e_1_3_2_1_8_1","first-page":"107","volume-title":"Modelling Business Information Systems","author":"El Kharbili S. S. M.","year":"2008","unstructured":"S. S. M. El Kharbili , A. de Medeiros and W. M. van der Aalst. Business process compliance checking: Current state and future challenges . In Modelling Business Information Systems , pages 107 -- 113 , Saarbr\u00fccken, Germany , Nov 2008 . S. S. M. El Kharbili, A. de Medeiros and W. M. van der Aalst. Business process compliance checking: Current state and future challenges. In Modelling Business Information Systems, pages 107--113, Saarbr\u00fccken, Germany, Nov 2008."},{"key":"e_1_3_2_1_9_1","unstructured":"Object Management Group. OCL 2.0 specification 2003. In: http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2003-10-14.  Object Management Group. OCL 2.0 specification 2003. In: http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2003-10-14."},{"key":"e_1_3_2_1_10_1","volume-title":"Unified modeling language (UML) superstructure specification, version 2.0","author":"Object Management Group","year":"2005","unstructured":"Object Management Group . Unified modeling language (UML) superstructure specification, version 2.0 , 2005 . In : http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04. Object Management Group. Unified modeling language (UML) superstructure specification, version 2.0, 2005. In: http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04."},{"key":"e_1_3_2_1_11_1","unstructured":"Object Management Group. SBVR 1.0 specification 2008. In: http:\/\/www.omg.org\/spec\/SBVR\/1.0\/PDF\/.  Object Management Group. SBVR 1.0 specification 2008. In: http:\/\/www.omg.org\/spec\/SBVR\/1.0\/PDF\/."},{"key":"e_1_3_2_1_12_1","volume-title":"Business Rules and Information Systems: Aligning with Business Goals","author":"Morgan T.","year":"2002","unstructured":"T. Morgan . Business Rules and Information Systems: Aligning with Business Goals . Addison-Wesley , 2002 . ISBN: 0-201-74391-4. T. Morgan. Business Rules and Information Systems: Aligning with Business Goals. Addison-Wesley, 2002. ISBN: 0-201-74391-4."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-3-642-58908-9_13","volume-title":"Workflow Management Systems and Interoperability","author":"Muth P.","year":"1998","unstructured":"P. Muth , D. Wodtke , J. Weissenfels , G. Weikum , and A. Kotz-Dittrich . Workflow Management Systems and Interoperability , chapter Capter 12: Enterprise-wide workflow management based on state and activity charts, pages 281 -- 303 . NATO ASI Series. Springer , Oct 1998 . P. Muth, D. Wodtke, J. Weissenfels, G. Weikum, and A. Kotz-Dittrich. Workflow Management Systems and Interoperability, chapter Capter 12: Enterprise-wide workflow management based on state and activity charts, pages 281--303. NATO ASI Series. Springer, Oct 1998."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646673.699325"},{"key":"e_1_3_2_1_15_1","first-page":"174","article-title":"Challenges in business process management: Verification of business processes using petri nets","volume":"80","author":"van der Aalst W. M. P.","year":"2003","unstructured":"W. M. P. van der Aalst . Challenges in business process management: Verification of business processes using petri nets . Bulletin of the EATCS , 80 : 174 -- 199 , 2003 . European Association for Theoretical Computer Science (EATCS). W. M. P. van der Aalst. Challenges in business process management: Verification of business processes using petri nets. Bulletin of the EATCS, 80:174--199, 2003. European Association for Theoretical Computer Science (EATCS).","journal-title":"Bulletin of the EATCS"},{"key":"e_1_3_2_1_16_1","first-page":"23","volume-title":"Proceedings of 4th MoDeVVa Workshop on Model-Driven Engineering, Verification and Validation","author":"Wei\u00dfleder S.","year":"2007","unstructured":"S. Wei\u00dfleder and B.-H. Schlingloff . Automatic test generation from coupled UML models using input partitions . In Proceedings of 4th MoDeVVa Workshop on Model-Driven Engineering, Verification and Validation , pages 23 -- 32 , Nashville, TN, USA , Oct 2007 . Best student paper award. S. Wei\u00dfleder and B.-H. Schlingloff. Automatic test generation from coupled UML models using input partitions. In Proceedings of 4th MoDeVVa Workshop on Model-Driven Engineering, Verification and Validation, pages 23--32, Nashville, TN, USA, Oct 2007. Best student paper award."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1631\/jzus.2003.0643"}],"event":{"name":"SAC'10: The 2010 ACM Symposium on Applied Computing","location":"Sierre Switzerland","acronym":"SAC'10","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 2010 ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774117","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1774088.1774117","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:28Z","timestamp":1750246768000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774117"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,22]]},"references-count":17,"alternative-id":["10.1145\/1774088.1774117","10.1145\/1774088"],"URL":"https:\/\/doi.org\/10.1145\/1774088.1774117","relation":{},"subject":[],"published":{"date-parts":[[2010,3,22]]},"assertion":[{"value":"2010-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}