The  main  source  of  changing  requirements  of  the  dynamic  business   environment  is  response  to  changes  in  regulations  and  contracts  towards  which   businesses  are  obligated  to  comply.  At  the  same  time,  many  organizations  have   their   business   processes   specified   independently   of   their   business   obligations   (which  include  adherence  to  contracts  laws  and  regulations).  Thus,  the  problem   of  mapping  business  changes  into  computational  systems  becomes  much  more   complicated.  In  this  paper  we  address  the  problem  by  providing  an  automated   transformation   of   business   rules   into   a   formal   language   capable   of   directly   mapping  onto  executable  specifications.  The  model  transformation  is  consistent   with  MDA/MOF/QVT  concepts  using  ATL  to  perform  the  mapping.  Business   rules  ...