000133638 001__ 133638
000133638 005__ 20190316234457.0
000133638 037__ $$aARTICLE
000133638 245__ $$aUsing Declarative Specifications in Business Process Design
000133638 269__ $$a2008
000133638 260__ $$c2008
000133638 336__ $$aJournal Articles
000133638 520__ $$aBusiness process modeling techniques, such as BPMN, encourage the early specification of the exact order in which the activities of the process will be executed. However, a business process may be exposed to different environments and subjected to many conditions in which a sequence cannot be identified at design time. We present declarative business process specifications that can be used to align optional process customizations, as well as process redesign, with the business strategy of an organization. These specifications complement the traditional (imperative) business process model by specifying the process independently from a particular environment.
000133638 6531_ $$aAlloy
000133638 6531_ $$aFormal verification
000133638 6531_ $$aBusiness process modeling
000133638 6531_ $$aRefinement.
000133638 700__ $$aRychkova, Irina
000133638 700__ $$0243384$$g113300$$aRegev, Gil
000133638 700__ $$0241922$$g112464$$aWegmann, Alain
000133638 773__ $$jV$$tInternational Journal of Computer Science & Applications$$kIIIb$$q45-68
000133638 8564_ $$uhttp://www.tmrfindia.org/ijcsa/v53b.html$$zURL
000133638 909C0 $$xU10412$$0252193$$pLAMS
000133638 909CO $$qGLOBAL_SET$$pIC$$ooai:infoscience.tind.io:133638$$particle
000133638 937__ $$aLAMS-ARTICLE-2009-001
000133638 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000133638 980__ $$aARTICLE