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$$aRegev, Gil$$g113300
000133638 700__ $$0241922$$aWegmann, Alain$$g112464
000133638 773__ $$jV$$kIIIb$$q45-68$$tInternational Journal of Computer Science & Applications
000133638 8564_ $$uhttp://www.tmrfindia.org/ijcsa/v53b.html$$zURL
000133638 909C0 $$0252193$$pLAMS$$xU10412
000133638 909CO $$ooai:infoscience.tind.io:133638$$pIC$$particle$$qGLOBAL_SET
000133638 937__ $$aLAMS-ARTICLE-2009-001
000133638 973__ $$aEPFL$$rREVIEWED$$sPUBLISHED
000133638 980__ $$aARTICLE