This paperoperationalizes correctness for Web service compositions. It also proposes a requirementsframework for service-oriented modeling techniques so that correctness can beshown by verification and Web service compositions can be modeled intuitively.

Risk/return management has not only evolved as one of the key success factors for enterprisesespecially in the financial services industry, but is in the times of the financial crisis crucial for thesurvival of a company. It demands powerful and at the same time flexible computational...

The interdependence of technical and financial considerations poses a majorproblem for the development of appropriate decision support systems in businesspractice. In this paper, an application - with strategic importance for outsourcingproviders in information technology - is described...