000121487 001__ 121487
000121487 005__ 20190316234245.0
000121487 037__ $$aCONF
000121487 245__ $$aHigh-Level Design and Analysis of Business Processes. The Advantages of Declarative Specifications
000121487 269__ $$a2008
000121487 260__ $$c2008
000121487 336__ $$aConference Papers
000121487 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 the organization. These specifications complement the traditional (imperative) business process model by specifying the process independently from a particular environment
000121487 6531_ $$aAlloy
000121487 6531_ $$aformal verification
000121487 6531_ $$aBusiness Process Modeling
000121487 6531_ $$arefinement
000121487 700__ $$aRychkova, I
000121487 700__ $$aRegev, G
000121487 700__ $$g112464$$aWegmann, A$$0241922
000121487 7112_ $$d3-6 june, 2008$$cMarrakech, Morocco$$aThe Second IEEE International Conference on Research Challenges in Information Science (RCIS)
000121487 773__ $$tThe Second IEEE International Conference on Research Challenges in Information Science (RCIS)
000121487 8564_ $$uhttp://www.farcampus.com/rcis/index.php$$zURL
000121487 8564_ $$uhttps://infoscience.epfl.ch/record/121487/files/rychkova_RCISfinal.pdf$$zn/a$$s419533
000121487 909C0 $$xU10412$$0252193$$pLAMS
000121487 909CO $$qGLOBAL_SET$$pconf$$ooai:infoscience.tind.io:121487$$pIC
000121487 917Z8 $$x112464
000121487 937__ $$aLAMS-CONF-2008-014
000121487 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000121487 980__ $$aCONF