Sciweavers

117 search results - page 4 / 24
» caise 2006
Sort
View
CAISE
2006
Springer
13 years 11 months ago
Modes of Correspondence between Information System and World
symbol systems and the world. In the case of problem frames the symbol systems are abstractions of the problems that an IS will solve rather than sentences, and the world is the pr...
Colin Potts
CAISE
2006
Springer
13 years 11 months ago
Supporting Planned and Ad-Hoc Changes of Business Processes
Flexibility of business processes requires a modeling language that can distinguish between the stable and flexible parts of a business process. Starting from a general model of bu...
Peter Rittgen
CAISE
2006
Springer
13 years 11 months ago
Data-Driven Process Control and Exception Handling in Process Management Systems
Abstract. Business processes are often characterized by high variability and dynamics, which cannot be always captured in contemporary process management systems (PMS). Adaptive PM...
Stefanie Rinderle, Manfred Reichert
CAISE
2006
Springer
13 years 11 months ago
A Formalisation of the Soccer Substitution Rules
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...
Yves Ledru
CAISE
2006
Springer
13 years 11 months ago
Business Process Flexibility: Weick's Organizational Theory to the Rescue
Abstract. For organizations to flourish in a changing environment, their business processes need to be flexible. Designing flexible business processes is a challenge. We use Weick&...
Gil Regev, Alain Wegmann