Learn More
The quality of business processes can be checked by verifying their compliance with specific quality constraints. These constraints represent a set of required temporal and logical relationships between different steps of business processes. Quality constraints are usually formulated as informal texts, which makes them difficult to be verified, when(More)
For upcoming Cyber Physical Systems with a high need of adaptation to changing environments an appropriate programming approach is needed. In this paper we argue that such systems have to be highly adaptive and self-evolving. The general vision and approach is pointed out. Furthermore specific approaches solving important aspects of such a programming(More)
  • 1