Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the (potential) contribution of these formal analysis tec...
We outline a procedure called communicative and material functions analysis that can be used to derive business modeling concepts. It is rooted in the language-action perspective o...
: Along with rapidly changing market requirements for service-oriented business software new challenges for quality management, quality assurance, and testing arise. Customers must...
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, business processes are always evolving in cur...
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing ...