000129323 001__ 129323
000129323 005__ 20180913054931.0
000129323 037__ $$aCONF
000129323 245__ $$aHigh-level design and analysis of business processes the advantages of declarative specifications
000129323 269__ $$a2008
000129323 260__ $$c2008
000129323 336__ $$aConference Papers
000129323 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.
000129323 6531_ $$aBusiness process
000129323 6531_ $$abusiness reengineering
000129323 6531_ $$adeclarative specifications
000129323 6531_ $$aAlloy.
000129323 700__ $$aRychkova, Irina
000129323 700__ $$0243384$$g113300$$aRegev, Gil
000129323 700__ $$aWegmann, Alain$$g112464$$0241922
000129323 7112_ $$dJune 3-6, 2008$$cMarrakech, Morocco$$aSecond International Conference on Research Challenges in Information Science
000129323 909C0 $$xU10412$$0252193$$pLAMS
000129323 909CO $$pconf$$pIC$$ooai:infoscience.tind.io:129323
000129323 917Z8 $$x112464
000129323 937__ $$aLAMS-CONF-2008-019
000129323 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000129323 980__ $$aCONF