作者: Manfred Reichert , Barbara Weber
DOI: 10.1007/978-3-642-30409-5_12
关键词: Distributed computing 、 Focus (computing) 、 Business process 、 Process modeling 、 Constraint (information theory) 、 Computer science 、 Order (exchange) 、 Process (engineering)
摘要: This chapter introduces constraint-based approaches to process modeling and execution which enable loosely specified processes. While prespecified models define how things have be done (i.e., in what order under conditions activities shall executed), focus on should by describing the that may performed constraints prohibiting undesired behavior. In this we address modeling, verification, of models. Moreover, discuss these can adapted evolved over time. We further present techniques for assisting end-users during execution. Finally, ones are systematically compared, ways integrate both discussed.