This paper introduces Pact, a new model for parallel heuristic programming on MIMD machines. Designed and implemented as an integrated tool environment, Pact allows the user to dev...
Exception handling patterns can raise the abstraction level of processes, facilitating their writing and understanding. In this paper, we identify several useful, general purpose e...
Barbara Staudt Lerner, Stefan Christov, Alexander ...
Abstract. Service-oriented Computing and Service-oriented Architectures aspire to better exploit existing middleware technologies. To this end, a more flexible, platform independen...
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
Abstract. Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available servic...
Anna-Lena Lamprecht, Stefan Naujokat, Bernhard Ste...