In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Abstract. Negotiation events in industrial procurement involving multiple, highly customisable goods pose serious challenges to buyers when trying to determine the best set of prov...
Business processes that span organizational borders describe the interaction between multiple parties working towards a common objective. They also express business rules that gov...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Many location-based services require rich and expressive query language support for filtering large amounts of information. In prominent location-based services thousands of conti...